Hi,
Yes, it does work with raspberrypi.
There are some people working on better SDL2 support for raspberrypi in this issue:
http://bugzilla.libsdl.org/show_bug.cgi?id=2005That should let you use Directfb, rather than needing X11. At some point there should be support for using the dedicated video scaling hardware, which is the fast path for 2D graphics on the raspberrypi. Whereas the OpenGL ES is the slower hardware when doing just 2D graphics on the pi.
cheers,