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 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                 [email protected]
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.