Pour l'instant (jan 2020) il n'y a pas de distribution toute faite avec Retropie ou un équivalent que je connaisse pour le raspberry pi 4.
Le principe est d'installer raspbian lite et ensuite retropie à la main. Je ne comprends pas pourquoi ils font pas ça directement et clonent une carte SD vu que le résultat est sensiblement le même, peut-être que qqchose m'échappe...
Mais ça fonctionne nickel donc ?