2 Jun
2005
2 Jun
'05
12:09 a.m.
Hi,
On Wed Jun 01, 2005 at 16:08:57 -0400, Andrew Davenport wrote:
I am trying to make a simple IPC logger in L4 (by modifying the kernel). I want to eventually log src, dest, and contents of the message. Where would be most effective place in the l4 kernel to do this, and how should I go about getting the message contents -- eg registers, flex pages or strings ?
The kernel debugger has a trace buffer that can log IPCs in various degrees. Look for keywords like Tb_entry_ipc or in the file thread-log.cpp to find a possible way of doing this.
Adam
--
Adam adam@os.inf.tu-dresden.de
Lackorzynski http://os.inf.tu-dresden.de/~adam/