Tracking IPC calls

Adam Lackorzynski adam at
Tue Mar 29 00:23:35 CEST 2005

On Mon Mar 28, 2005 at 16:48:02 -0500, Julian Grizzard wrote:
> We are working with the Fiasco kernel on x86 arch.  We are trying to
> track IPC messages between processes and maintain a buffer of them in
> a data structure inside the kernel, maybe buffer to a deticated user
> space server later.  Any pointers as to the best place to add our
> hooks?  We've been playing around with
> l4/kernel/fiasco/src/kern/shared/idt.cpp.  Not sure if we are on the
> right track or not?  Any suggestions?

jdb can log IPC messages into the trace buffer. Enable them with
'I*IR+', look at the trace buffer with 'T'. Is that what you are looking

Adam                 adam at

More information about the l4-hackers mailing list