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 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 [email protected] Lackorzynski http://os.inf.tu-dresden.de/~adam/