source [genode_dir]/tool/run/log.inc proc run_log { wait_for_re timeout_value } { global linux_spawn_id global output_spawn_id set output_spawn_id $linux_spawn_id wait_for_output $wait_for_re $timeout_value $linux_spawn_id return true }