IPCs

[Andrew Davenport]

Hello,

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 ?

Thanks,
Andrew

--
Andrew Winter Davenport
Georgia Institute of Technology
College of Computing
www.prism.gatech.edu/~gtg259m