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 } build "core init drivers/timer server/vfs server/fs_log app/log_core" create_boot_directory install_config { <} [log_service] { name="log.log"/> } build_boot_image "core init timer ld.lib.so vfs fs_log log_core" append qemu_args " -nographic " if { [get_cmd_switch --autopilot] } { run_genode_until {.*\[init -> vfs] \[.*\n} 20 } else { run_genode_until forever }