# # Build # if {![have_spec linux]} { puts "Runs on Linux only" exit 0 } set build_components { core init drivers/timer drivers/framebuffer/sdl server/dynamic_rom server/report_rom server/nitpicker app/decorator } build $build_components create_boot_directory # # Generate config # append config { } install_config $config # # Boot modules # # generic modules set boot_modules { core init timer dynamic_rom report_rom fb_sdl nitpicker decorator } build_boot_image $boot_modules run_genode_until forever