Adam Lackorzynski adam at os.inf.tu-dresden.de
Thu Jun 2 00:09:21 CEST 2005


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 at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/

More information about the l4-hackers mailing list