--- a/include/SDL_config.h.minimal	Wed Mar 08 06:21:04 2006 +0000
+++ b/include/SDL_config.h.minimal	Wed Mar 08 08:30:17 2006 +0000
@@ -51,6 +51,28 @@
 typedef unsigned int uint32_t;
 typedef unsigned int size_t;
 typedef unsigned long uintptr_t;
-#endif
+
+/* Enable the disk audio driver (src/audio/disk/\*.c) */
+#define SDL_AUDIO_DRIVER_DISK	1
+
+/* Enable the stub cdrom driver (src/cdrom/dummy/\*.c) */
+#define SDL_CDROM_DISABLED	1
+
+/* Enable the stub joystick driver (src/joystick/dummy/\*.c) */
+#define SDL_JOYSTICK_DISABLED	1
+
+/* Enable the stub shared object loader (src/loadso/dummy/\*.c) */
+#define SDL_LOADSO_DISABLED	1
+
+/* Enable the stub thread support (src/thread/generic/\*.c) */
+#define SDL_THREADS_DISABLED	1
+
+/* Enable the stub timer support (src/timer/dummy/\*.c) */
+#define SDL_TIMERS_DISABLED	1
+
+/* Enable the dummy video driver (src/video/dummy/\*.c) */
+#define SDL_VIDEO_DRIVER_DUMMY	1
+
+#endif /* platform config */
 
 #endif /* _SDL_config_h */