set build_components { test/sdl } set app_config { } set boot_modules { test-sdl libc.lib.so vfs.lib.so libm.lib.so sdl.lib.so } source ${genode_dir}/repos/world/run/nitpicker_app.inc