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

[Geoffrey Lee]

On Mon, Nov 24, 2008 at 06:59:39PM +0100, Hugues Balp wrote:
> 
>                 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
> 


Hugues - 

> 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.


OKL4 has diverged from KA significantly and in general it is not
safe to rely on information relating to the original KA kernel
to also apply to OKL4.  The header file that you are refering
to is the kernel-private tracebuffer.h file.  This references
C++ classes because the kernel is written in C++.

The user-side tracebuffer.h is located in 
arch/<architecture>/libs/l4/include/tracebuffer.h.  One exists
for IA-32 but the equivalent does not exist for ARM.

	-gl



> 
> 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.
> 
> 
> 
> 
> 
> 
> 
> 
> _______________________________________________
> Developer mailing list
> Developer at okl4.org
> https://lists.okl4.org/mailman/listinfo/developer
> 

--