# # Build # # for ldso debugging: # assert_spec linux set build_components { core init drivers/timer drivers/framebuffer/sdl server/report_rom server/dynamic_rom server/nitpicker app/vbox_pointer test/vbox_pointer test/nitpicker } build $build_components create_boot_directory # # Generate config # set config { } install_config $config # # Boot modules # # generic modules set boot_modules { init timer fb_sdl report_rom dynamic_rom nitpicker vbox_pointer arrow.shape cross.shape smiley.shape test-vbox_pointer testnit } # "lsort -unique" removes duplicates but core must be first build_boot_image "core [lsort -unique $boot_modules]" run_genode_until forever # vi: set ft=tcl :