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