Tracking IPC calls

[Adam Lackorzynski]

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
for?



Adam
-- 
Adam                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/