Un fabricant de micro-ordinateur dans le genre du Raspberry Pi. Ils ont une large gamme.
(merci à sta pour le lien)
EDIT: Et du coup, il existe aussi une distrib dédiée rétro-gaming pour ces cartes:
http://www.retrorangepi.org/
EDIT: D'autres carte dans le genre:
https://www.hardkernel.com/shop/odroid-c2/
https://www.olimex.com/Products/OLinuXino/A20/A20-OLinuXino-LIME/open-source-hardware