mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-19 05:37:54 +00:00
30 lines
550 B
Plaintext
30 lines
550 B
Plaintext
|
|
source [genode_dir]/tool/run/log.inc
|
|
source [genode_dir]/tool/run/spike.inc
|
|
|
|
|
|
proc run_log { wait_for_re timeout_value } {
|
|
global spike_spawn_id
|
|
global output_spawn_id
|
|
|
|
set timeout 210
|
|
set kernel_msg [run_boot_string]
|
|
set output_spawn_id $spike_spawn_id
|
|
|
|
expect {
|
|
-i $output_spawn_id $kernel_msg { }
|
|
eof {
|
|
puts stderr "Aborting, received EOF"
|
|
return false
|
|
}
|
|
timeout {
|
|
puts stderr "Boot process timed out"
|
|
close
|
|
return false
|
|
}
|
|
}
|
|
|
|
wait_for_output $wait_for_re $timeout_value $spike_spawn_id
|
|
return true
|
|
}
|