Re: Question about memory management in L4 Fiasco O.C + L4re
Adam Lackorzynski <[email protected]>
| Newsgroups | gmane.comp.micro-kernel.l4.devel |
|---|---|
| Message-ID | <[email protected]> |
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 [email protected] Lackorzynski http://os.inf.tu-dresden.de/~adam/