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

[Lei Sun]

Hi:

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?
I have checked the source code in the iguana/trace/src/trace_server.c
 
   /* look for tracebuffer object */
   if (L4_MemoryDescType(mdesc) == L4_TracebufferMemoryType) {
   }
   if(!found)
      return 0;

/I wonder whether there is sth wrong with my build config settings?

Thank a lot


-- 
Best regards

Lei Sun<sunlei at dcl.info.waseda.ac.jp>