Question about memory management in L4 Fiasco O.C + L4re

Adam Lackorzynski adam at os.inf.tu-dresden.de
Wed Dec 16 01:11:42 CET 2015


Hi,

On Mon Dec 14, 2015 at 16:47:11 +0100, Mahdi Aichouch wrote:
> Is it possible to combine the flags such as "pinned_segs" and "eager_map"
> of the loader to create fixed memory region for the text and data segments
> of an L4 task. As for example :
> 
> L4.default_loader:start( { { ldr_flags = L4.Ldr_flags.eager_map,
> L4.Ldr_flags.pinned_segs }, log = { "hello1", "green" } }, "rom/hello");

Yes, use + to combine them.
 
> What I am trying to do is to find a way to know where each segment (text,
> data, heap and stack) of an L4 task is loaded into physical memory, that
> is, for each segment I need to determine its start and end addresses in
> physical memory.



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