if {[have_spec linux]} { puts "\n Run script is not supported on this platform. \n"; exit 0 } if {[get_cmd_switch --autopilot] && ![have_include "power_on/qemu"]} { puts "\n Run script is not supported on this platform. \n"; exit 0 } proc log_service { } { if { [get_cmd_switch --autopilot] } { return log } return ram } if {[have_spec nova]} { proc kernel_output { } { return "novga logmem" } # differs because \n is missing, since kernel serial is off proc run_boot_string { } { return "Hypervisor reports "} } build "core init timer server/vfs server/fs_log app/log_core" create_boot_directory append config { <} [log_service] { name="log.log"/> } append_if [have_spec nova] config { } append config { } install_config $config build_boot_image "core init timer ld.lib.so vfs fs_log log_core vfs.lib.so" append qemu_args " -nographic " if { [get_cmd_switch --autopilot] } { run_genode_until {.*\[init -> vfs] \[.*\n} 20 } else { run_genode_until forever }