Boot Fiasco at ARM on QEMU
christian.helmuth at genode-labs.com
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.
http://www.genode-labs.com/ · http://genode.org/
More information about the l4-hackers