Inspect L4Linux Memory

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