assert_spec linux build { core init timer lib/ld driver/framebuffer server/report_rom server/dynamic_rom server/nitpicker app/pointer test/pointer test/nitpicker } create_boot_directory install_config { } build_boot_image [build_artifacts] run_genode_until forever # vi: set ft=tcl :