Boot Fiasco at ARM on QEMU

[Christian Helmuth]

Cheers,

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
Fiasco:

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

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

http://www.genode-labs.com/ · http://genode.org/