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

Adam Lackorzynski adam at
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

More information about the l4-hackers mailing list