I resume this thread because it's very interesting: the TvOut library is awesome, good job! 
Just a question: to solve the problem related to the frame buffer due to the limited memory, could it be possible, for example, use an external memory?
I would like to know if I could use a RAM and read the data to generate the video signal from there.