create_boot_directory import_from_depot [depot_user]/src/[base_src] \ [depot_user]/pkg/[drivers_interactive_pkg] \ [depot_user]/pkg/fonts_fs \ [depot_user]/src/init \ [depot_user]/src/report_rom \ [depot_user]/src/dynamic_rom \ [depot_user]/src/nitpicker \ [depot_user]/src/libc \ [depot_user]/src/libpng \ [depot_user]/src/zlib build { server/record_play_mixer server/record_rom app/waveform_player app/rom_osci } proc play_period_ms { } { if {[have_spec linux]} { return 80 } return 5 } proc record_period_ms { } { if {[have_spec linux]} { return 40 } return 5 } proc jitter_ms { } { if {[have_spec linux]} { return 20 } return 2 } install_config { } build_boot_image [build_artifacts] append qemu_args " -nographic " run_genode_until forever