genodelabs/genode — pull request #425 by skalk (2012-10-22 09:11:43+00:00)
Title: 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.