ehmry/genode
ehmry
/
genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

L4Linux: debug messages into file instead of pipe 

Print Fiasco.OC kernel debugger messages into a file instead of a pipe
in the default l4linux run-script. Thereby rarely triggered issues by the
nightly running buildbot can be analyzed after the test failed.
This commit is contained in:
Stefan Kalkowski 2012-10-22 11:07:39 +02:00 committed by Christian Helmuth
parent 502976dec1
commit d54304ddfc
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
ports-foc/run/l4linux.run
View File

@ -132,7 +132,7 @@ build_boot_image [join $boot_modules " "]
# Qemu
#
append qemu_args " -m 128 -nographic "
append qemu_args " -serial unix:/tmp/qemu-pipe,server,nowait "
append qemu_args " -serial file:kdb.log "
append qemu_args " -serial mon:stdio "
append_if [have_spec x86] qemu_args " -smp 2,cores=2 "
append_if [have_spec x86] qemu_args " -net nic,model=e1000 -net user "
@ -153,4 +153,4 @@ expect {
}
puts "Test succeeded"
exec rm bin/initrd.gz
exec rm bin/initrd.gz kdb.log