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

[Adam Lackorzynski]

Hi,

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