hi there ; first of all congrats / kudos for the awesome demo !
Having myself being interested in embedded electronics, the stm32f4discovery and homebrew consoles, this thread has really got me hooked !
Bravo for your work, I'm sure it will spark some enthusiasm.
I proceeded to buy a discovery and built a crappy R2R ladder dac (8bits) on a protoboard, and tried to run your sample VGA.
First step, the untold pain of having a build tool chain environment on a recent linux box (finally gotten to work through summon-arm-toolchain - but a patched version since original one cannot work with modern autotools. Gotten a blinkled code to compile, uploaded it with texane stlink (eternal praise for that tool to texane), undesrtanding / fighting with gdb etc etc : it worked !!! )
Then after fighting with the demos / STM4VGA multilib (the joy of using leds for debugging) : it worked ! After I found the culprit : the Terrible.specs (indeed!) LD flags. Once those lines removed :

YAY ! (not without blasting my ears out using earphones with no volume setting ...

)
So if others want to build their own toolchain on linux ubuntu 12.04 64bits :
- Stlink/texane for uploading to the STMf4 Discovery
- summon-arm-toolchain (patched for recent autolib :
http://github.com/agschult/summon-arm-toolchain) - or use standard one and don't build openOCD, since we use stlinkv2 from texane
(rework makefiles to call arm-none-eabi-gcc / gdb was needed)
- profit !
OK, so my next steps : building a less crap 12 bits R2R DAC (not a real R/2R like I did since it would use too many resistors(with only R and 2R resitors - 16 resistors for a 8 bit dac, using 1% resistors, ...) ) , displaying a 640*480 / 12 bits still picture from flash (is it possible to generate the timings ?) and ... code new super mario bros

makapuf (who really needs a second monitor or a least a cheap kvm switch now ..)