43 lines
1.0 KiB
Plaintext
43 lines
1.0 KiB
Plaintext
assert_spec okl4_x86
|
|
|
|
build "core init"
|
|
|
|
create_boot_directory
|
|
|
|
install_config "[exec cat [genode_dir]/os/config/priority]"
|
|
|
|
build_boot_image "core init"
|
|
|
|
append qemu_args "-nographic -m 256"
|
|
|
|
# run genode until the init->init.2 process gives us a life sign
|
|
run_genode_until "init.2.*abort called.*\n" 100
|
|
|
|
puts "dumping priorities using the kernel debugger..."
|
|
|
|
# send escape key to break into the kernel debugger, wait for prompt
|
|
send "\x1b"
|
|
expect "> "
|
|
|
|
# send commend for dumping the scheduling queue
|
|
send "q"
|
|
expect "idle : idle_thread"
|
|
|
|
set output $expect_out(buffer)
|
|
|
|
#
|
|
# The 'output' variable contains the kernel-debugger output since
|
|
# the last prompt until the current expect string. But we care
|
|
# only for the lines with the actual scheduler queues. Each
|
|
# line of interest starts with a '[' character.
|
|
#
|
|
grep_output {^\[}
|
|
|
|
compare_output_to {
|
|
[128]: (roottask) (activati) (pager) (ioport) (init) (init) (init.1) (init.1) (init.2) (init.11) (init.12)
|
|
[112]: (init.11)
|
|
[ 96]: (init.12) (init.121) {init.121}
|
|
[ 64]: (init.2)
|
|
}
|
|
|