SDL for gcLinux
(http://gc-linux.cvs.sourceforge.net/viewvc/gc-linux/libsdl)