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

[Adam Lackorzynski]

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