Topic: SDL and TV out

Hello everyone. I just got my Hacker board up and running following the instructions on the wiki and can now play the little flash intro movie out to a TV set, and can build stuff with the falconwing tool chain. Now onto the more advanced stuff...

Are there prebuilt SDL libraries available or do I have to build them on the Chumby?

I wrote a little C/SDL program which I can run on my PC which I'd like to port to Chumby. Is there a tutorial or an example program which demonstrates how to initialise the TV out?

For SDL libraries which rely on floating point math, how well does the Chumby cope? Are there any tips or tricks for getting the best performance? I would like to implement SDL_gfx for scaling and rotation functions.

Thanks!