Hallo Egbert,

einer der bekanntesten Mini-PCs mit ARM-Prozessor, der mit Linux läuft, ist wohl dieser hier:

https://de.wikipedia.org/wiki/Raspberry_Pi

Gruß
Baxter