create_boot_directory import_from_depot genodelabs/src/[base_src] \ genodelabs/pkg/[drivers_interactive_pkg] \ genodelabs/src/init \ genodelabs/src/dynamic_rom \ genodelabs/src/report_rom \ genodelabs/src/nitpicker \ genodelabs/src/libc \ genodelabs/src/libpng \ genodelabs/src/zlib install_config { } build { app/menu_view } build_boot_image { menu_view menu_view_styles.tar } run_genode_until forever