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

Adam Lackorzynski adam at
Fri Jul 31 23:52:35 CEST 2015


On Fri Jul 31, 2015 at 17:03:48 +0200, Mahdi Aichouch wrote:
> Is it possible to know where a UTCB memory area is allocated in the
> physical memory space of a thread.
> If the answer is yes, could you please suggest a way to do it.

Getting the physical address of the UTCBs is not possible.

Adam                 adam at

More information about the l4-hackers mailing list