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