29 Mar
2005
29 Mar
'05
12:23 a.m.
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@os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~adam/