[Fwd: Re: Inspect L4Linux Memory]
Adam Lackorzynski
adam at os.inf.tu-dresden.de
Thu Sep 15 14:17:46 CEST 2005
Hi Julian,
On Tue Sep 13, 2005 at 14:51:43 -0400, Julian Grizzard wrote:
> I like option two better: sharing the dataspace that provides L4Linux
> with memory. After studying docs under l4/pkg/dm_phys/doc/dm_phys/html,
> seems like first I need to make an l4dm_share call from the L4Linux
> server. Then, I should be able make an l4dm_map call from the isolated
> L4 task. Does this sound like the right general approach?
l4dm_share is ok but better take l4rm_attach instead of l4dm_map. Sounds
ok otherwise.
Adam
--
Adam adam at os.inf.tu-dresden.de
Lackorzynski http://os.inf.tu-dresden.de/~adam/
More information about the l4-hackers
mailing list