seL4/include/kernel
Anna Lyons 8586b7f2b8 boot: refactor allocation of rootserver objects
Prior to this change, the boot process would dynamically allocate
memory for root server objects based on the order of initialisation.
Allocation was a best-fit algorithm.

This change preallocates all memory for root server objects to an
aligned untyped just after the user image. By allocating the objects in
order of size, allocation is greatly simplified and the ability to
reproduce the allocation offline based on the kernel and user image
sizes is increased.
2019-06-20 14:11:50 +10:00
..
boot.h boot: refactor allocation of rootserver objects 2019-06-20 14:11:50 +10:00
cspace.h unsigned int -> word_t 2015-12-10 10:45:21 +11:00
faulthandler.h SELFOUR-413: refactor libsel4 fault API 2016-11-25 12:29:07 +11:00
stack.h Fix trivial comment typos. 2018-03-27 10:51:26 +11:00
thread.h SELFOUR-1198: correct restart PC 2019-05-31 14:45:47 +10:00
traps.h SMP: move lock.h to architecture-independent include/smp 2017-01-16 15:21:50 +11:00
vspace.h SELFOUR-518: User-level log buffer 2016-08-15 15:06:38 +10:00