assert_spec linux set build_components { core init timer drivers/nic server/tcp_terminal test/terminal_echo lib/vfs/lxip test/vfs_lxip } build $build_components create_boot_directory append config { } install_config $config append boot_modules { core init timer linux_nic_drv ld.lib.so libc.lib.so vfs.lib.so libc_pipe.lib.so posix.lib.so libm.lib.so vfs_lxip.lib.so lxip.lib.so tcp_terminal test-terminal_echo test-vfs_lxip } build_boot_image $boot_modules run_genode_until forever # vi: set ft=tcl :