Re: Question about memory management in L4 Fiasco O.C + L4re
Adam Lackorzynski <[email protected]>
| Newsgroups | gmane.comp.micro-kernel.l4.devel |
|---|---|
| Message-ID | <[email protected]> |
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 [email protected]
Lackorzynski http://os.inf.tu-dresden.de/~adam/