The only drawback of the PI is to not provide VGA output. The only way to get 15kHz out of it is to use a R2R network on the GPIO pins. The RGB/S signal is then CPU driven.
Not necessary ! A HDMI to VGA converter that has a digital to analog converter is enough. Search for one on amazon and check carefully the comments as some cables do not embark a converter. My pal on Neo-Arcadia runs his RPI in 240p using this adapter. However, this is a fixed resolution but he said it already looks pretty good on his cab.
Just the cable and a resolution adjustment and you're good for the 15khz. Port of GM would only bring the pixel perfect.
