Some notes concerning the Raspberry Pi port:

It was a rather painful process to convert old immediate mode stuff made for a lot
faster CPU/GPU, but if you do things right - pretty much everything using VBOs -
Raspi can actually output quite a lot of stuff in a frame. Sound output still causes
some headaches since it conflicts with the rendering so heavily.

I use my Raspi with a video monitor running a 50 Hz PAL mode, which yields as much
time for drawing stuff as possible. Everything else is a plus, so don't expect too
much with high resolutions TFTs. Bigger framebuffers require more memory as well,
and that leaves less for the needed VBOs. 1280x720 fb resolution should work at
least (the graphics themselves aren't rendered at that resolution).

When facing crackling sound and slowdowns, the first thing to try is -nofsaa, which
turns off the 4xFSAA. The resolution can be changed with -res xres yres. And very
importantly: update the operating system! Some recent updates improved the sound
driver and let you overclock the chip as well. 

- Marq
