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

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