diff --git a/repos/os/run/fb_bench.run b/repos/os/run/fb_bench.run index 4725fee601..bc287ba774 100644 --- a/repos/os/run/fb_bench.run +++ b/repos/os/run/fb_bench.run @@ -10,6 +10,8 @@ set build_components { core init test/fb_bench drivers/framebuffer drivers/timer source ${genode_dir}/repos/base/run/platform_drv.inc append_platform_drv_build_components +lappend_if [have_spec gpio] build_components drivers/gpio + build $build_components create_boot_directory @@ -40,6 +42,13 @@ append config { } +append_if [have_spec gpio] config { + + + + + } + append_if [have_spec sdl] config { @@ -75,6 +84,7 @@ append_platform_drv_boot_modules lappend_if [have_spec sdl] boot_modules fb_sdl lappend_if [have_spec framebuffer] boot_modules fb_drv +lappend_if [have_spec gpio] boot_modules gpio_drv build_boot_image $boot_modules