[okl4-developer] help on usage of trace buffer on Iguana

[Nelson Tam]

Hi Lei,

On 28/02/2008, at 17:24, Lei Sun wrote:

> I just started to work on some topic on L4 pistachio together with  
> Iguana.
> What I want to do is kind of system runtime logging stuff or post
> processing.
>
> I wonder someone could offer some help on the configuration trace  
> buffer
> server on IA32?

The trace server allows other OKL4 programs to access the kernel  
tracebuffer.  Unfortunately the code, as it stands, is obsolete and  
stale.  It's not going to work for the time being.

There are other ways to access the kernel tracebuffer.  For example,  
when you build OKL4, add "enter_kdb=yes" to the command line  
arguments.  When you enter KDB, hit 'r' to get into the tracepoints  
menu, then 'E' to enable tracepoints, then 'c' to configure the  
tracepoints you're interested in [1].  The tracebuffer will then be  
piped to the console output.

I hope this is enough to get you going.  If you need further  
assistance, please ask :)

Nelson.

[1] You can also press 'C' to batch-configure all tracepoints.  After  
you're done, hit 'ESC' to get back to the main KDB menu, then 'g' to  
resume execution.