Ha hdmi portos készülékre kéne és a retro cuccnak rgb kimenete van, akkor arra van valami raspberry pi zero alapú megoldás is, amikor a pi végez átalakítás és paraméterezhető is. Nem linux hanem valami spéci hw közeli rendszer fut a zeron.
Nem tudom ez-e az az eset,
https://www.youtube.com/watch?v=8lnaI7TY0qQ
https://www.youtube.com/watch?v=e8brkYFoO9I
mert lehet ez analóg rgb-ből csinál hdmi-t, mintha arra emlékeznék, hogy digitális rgb-ből is lenne valami megoldás pi zeroval.