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 a...@os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~adam/ _______________________________________________ l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers