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

[Adam Lackorzynski]

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