Citation
EDIT: Il y a pas un soft 15khz pour le pi?
Pas à ma connaissance, et je me demande si le hard est capable de sortir une resolution et fréquence aussi "exotique" sur le HDMI, et si le convertisseur du cable hdmi vers vga (qui ne coute pas trés cher) accepterait ce signal.
C'est malhereux mais cette absence de RVB rends le raspi quasi inutilisable en arcade.
Sinon, il existe une autre carte du même genre, la cubieboard, un peu plus chère mais plus puissante et avec une bien meilleure connectique, dont du vga et du sata. Si la partie graphique peut cracher du 15khz (rêvons un peu, de la résolution native) ça serait l'outil de rêve pour l'arcade
http://docs.cubieboard.org/products/start#hardware_specs