Inspect L4Linux Memory

[Julian Grizzard]

Hi all,

I am running L4Linux 2.6 on Fiasco using L4Env.  I would like to build
an isolated L4 task that can inspect the contents of the L4Linux task
state.  Any pointers on the best way to do this?  Conceivably, I could
map the contents of the L4Linux task into my isolated L4 task to read
the memory, but I'm not sure the best way to do this.

Thanks!

-Julian