diff --git a/repos/os/run/input.run b/repos/os/run/input.run
index 412030489c..26ea47b8d7 100644
--- a/repos/os/run/input.run
+++ b/repos/os/run/input.run
@@ -6,7 +6,6 @@ assert_spec x86
set build_components {
core init
- drivers/input
drivers/timer
test/input
}
@@ -14,6 +13,9 @@ set build_components {
source ${genode_dir}/repos/base/run/platform_drv.inc
append_platform_drv_build_components
+lappend_if [have_spec ps2] build_components drivers/input/spec/ps2
+lappend_if [have_spec sdl] build_components drivers/framebuffer/spec/sdl
+
build $build_components
create_boot_directory
@@ -48,8 +50,11 @@ append config {
-
+ }
+append_platform_drv_config
+
+append_if [have_spec ps2] config {
@@ -63,20 +68,31 @@ append config {
+ }
+append_if [have_spec sdl] config {
+
+
+
+
+
+
+
+
+
+ }
+
+append config {
-
-
-
-
-
+
+
+
+
}
-append_platform_drv_config
-
append config {
}
@@ -90,13 +106,15 @@ install_config $config
set boot_modules {
core init
timer
- ps2_drv
test-input
}
# platform-specific modules
append_platform_drv_boot_modules
+lappend_if [have_spec ps2] boot_modules ps2_drv
+lappend_if [have_spec sdl] boot_modules fb_sdl
+
build_boot_image $boot_modules
append qemu_args " -m 256 "