Boot Fiasco at ARM on QEMU

Christian Helmuth christian.helmuth at
Tue Oct 21 15:22:58 CEST 2008


On Tue, Oct 21, 2008 at 08:52:20PM +0800, Tsai, Tung-Chieh wrote:
> How to enable IPC logging ?

There are two ways to enable IPC logging (into trace buffer) under

1) Start Fiasco with "-wait" and enter "I*" into the jdb prompt.
2) Activate trace buffer logging on the commmand line with

In both cases ensure that you enable the debugging features during
Fiasco configuration. In the kernel debugger you can browse the
trace buffer by entering "T" at the prompt.

Another useful jdb feature is "IR+", which logs IPC results into the
trace buffer. Have a look at the jdb manual or hit "h" at the debugger
prompt for more features.

Have fun
Christian Helmuth
Genode Labs ·

More information about the l4-hackers mailing list