create_boot_directory import_from_depot genodelabs/src/[base_src] \ genodelabs/pkg/[drivers_interactive_pkg] \ genodelabs/src/init \ genodelabs/src/libc \ genodelabs/src/noux \ genodelabs/src/terminal \ genodelabs/src/posix \ genodelabs/src/ncurses \ genodelabs/src/vim \ genodelabs/src/bash \ genodelabs/src/coreutils \ genodelabs/src/ram_fs # write default vimrc file set vimrc_fd [open [run_dir]/genode/vimrc w] puts $vimrc_fd { set noloadplugins set hls set nocompatible set laststatus=2 set noswapfile set viminfo=} close $vimrc_fd install_config { Hello world ?! Hello world !! } build_boot_image { } run_genode_until forever