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/dynamic_rom \ [depot_user]/src/report_rom \ [depot_user]/src/nitpicker \ [depot_user]/src/libc \ [depot_user]/src/libpng \ [depot_user]/src/zlib install_config { } build { app/menu_view } build_boot_image [build_artifacts] run_genode_until forever