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

More information about the l4-hackers mailing list