create_boot_directory import_from_depot genodelabs/src/[base_src] \ genodelabs/pkg/[drivers_interactive_pkg] \ genodelabs/pkg/terminal \ genodelabs/src/init \ genodelabs/src/libc \ genodelabs/src/noux \ genodelabs/src/posix \ genodelabs/src/ncurses \ genodelabs/src/vim install_config { } build_boot_image { } run_genode_until forever