assert_spec linux # # Build # build { core init drivers/timer drivers/nic test/lwip/http_srv } create_boot_directory # # Generate config # set config { } install_config $config # # Boot modules # set boot_modules { core init timer linux_nic_drv ld.lib.so libc.lib.so libm.lib.so lwip.lib.so test-lwip_httpsrv } build_boot_image $boot_modules # # Execute test case # run_genode_until forever # vi: set ft=tcl :