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 Nov 20, 2015 at 16:00:58 +0100, Mahdi Aichouch wrote: > The UTCB is allocated as a physical memory page, which is a 4KB if a small > page is used, right? The default is 4k, yes. > Do you think that it is possible to allocated a 16KB or 32KB UTCB area, and > to align their physical start address on 16KB or 32KB? Yes, possible. Look at the l4_task_add_ku_mem function in l4sys. Adam -- Adam [email protected] Lackorzynski http://os.inf.tu-dresden.de/~adam/