Kalle announced on the Genode Operating System Framework mailing list that work was started on the porting on libSDL.
It seems that nice progress was made (the video subsystem and keyboard and mouse events are working).

Announcement