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 Mon Oct 26, 2015 at 10:24:57 +0100, Mahdi Aichouch wrote: > I have a question about the UTCB area. > If I understand correctly, the UTCB is physical memory page that is > allocated in the kernel physical memory space, then mapped into the user > and kernel virtual memory space, right? All memory is physical in the end. UTCBs are allocated by the kernel (on behalf of programs) and are accessible by the kernel and in the user's virtual memory, i.e.: yes. Adam -- Adam [email protected] Lackorzynski http://os.inf.tu-dresden.de/~adam/