--- contrib/SDL-1.2.13/src/video/SDL_video.c	2007-12-31 05:48:14.000000000 +0100
+++ contrib/SDL-1.2.13/src/video/SDL_video.c	2010-04-15 20:57:54.000000000 +0200
@@ -28,8 +28,8 @@
 #include "SDL_blit.h"
 #include "SDL_pixels_c.h"
 #include "SDL_cursor_c.h"
-#include "../events/SDL_sysevents.h"
-#include "../events/SDL_events_c.h"
+#include "SDL_sysevents.h"
+#include "SDL_events_c.h"
 
 /* Available video drivers */
 static VideoBootStrap *bootstrap[] = {
@@ -120,6 +120,9 @@
 #if SDL_VIDEO_DRIVER_AALIB
 	&AALIB_bootstrap,
 #endif
+#if SDL_VIDEO_DRIVER_GENODE_FB
+	&Genode_fb_bootstrap,
+#endif
 #if SDL_VIDEO_DRIVER_DUMMY
 	&DUMMY_bootstrap,
 #endif
--- contrib/SDL-1.2.13/src/video/SDL_sysvideo.h	2007-12-31 05:48:14.000000000 +0100
+++ contrib/SDL-1.2.13/src/video/SDL_sysvideo.h	2010-04-15 20:57:54.000000000 +0200
@@ -404,6 +404,9 @@
 #if SDL_VIDEO_DRIVER_AALIB
 extern VideoBootStrap AALIB_bootstrap;
 #endif
+#if SDL_VIDEO_DRIVER_GENODE_FB
+extern VideoBootStrap Genode_fb_bootstrap;
+#endif
 #if SDL_VIDEO_DRIVER_DUMMY
 extern VideoBootStrap DUMMY_bootstrap;
 #endif
