[okl4-developer] [okl4-developper] How to include user-generated records to the OKL4 trace buffer ?

[Hugues Balp]

                Dear all,

I wonder how the user can include some records in the OKL4 trace buffer 
for debugging puproses.

This kind of feature is present in release 0.4 of L4Ka by the definition 
for example of the |L4_TBUF_RECORD_EVENT| macro

as presented in URL  
http://firmerground.net/archives/2004-06-19_00104_l4kapistachio.shtml.

This feature seems not to be supported by the OKL4 SDK whatever the 
architecture is used.

Moreover the notion of trace buffer is referenced only by the OKL4 
Microkernel Reference Manual but

not by the OKL4 Library Reference Manual.

In addition when looking at the definition of the macro  
|L4_TBUF_RECORD_EVENT| in file "tracebuffer.h",

the class trace_entry_t is used, so I wonder if  the Pistachio trace 
buffer is available only for C++ user code

 and not for C code....

So I would appreciate any suggestion to enable the use of the OKL4 trace 
buffer for C user code.

    Thanks for your help,

                Hugues Balp.