Question about memory management in L4 Fiasco O.C + L4re
adam at os.inf.tu-dresden.de
Fri Jul 24 00:42:52 CEST 2015
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 at os.inf.tu-dresden.de
More information about the l4-hackers