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

Adam Lackorzynski adam at os.inf.tu-dresden.de
Fri Jul 24 00:42:52 CEST 2015


Hi,

On Thu Jul 23, 2015 at 17:32:47 +0200, Mahdi Aichouch wrote:
> I would like to know if Fiasco.OC kernel accesses memory partition
> allocated to an L4Linux guest?
> And for what reasons it has to do it?

You mean accessing as in looking/touching the data therein?
No, it doesn't do that.




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