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

[Adam Lackorzynski]

Hi,

On Fri Jul 24, 2015 at 09:12:27 +0200, Mahdi Aichouch wrote:
> What I mean by accessing memory partition is: does Fiasco.OC accesses memory
> reserved for L4Linux when handling system-call issued by L4Linux guest for
> example
> or any other operation.

Fiasco never accesses any user memory, so no, it doesn't.



Adam
-- 
Adam                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/