Question about memory management in L4 Fiasco O.C + L4re
adam at os.inf.tu-dresden.de
Mon Nov 2 00:20:23 CET 2015
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 at os.inf.tu-dresden.de
More information about the l4-hackers