seL4/include/kernel
Japheth Lim e42700a444 ARM boot: MAX_NUM_FREEMEM_REG++ for new allocator
Previously, the boot allocator would do dynamic calculations to
minimise fragmentation, then throw away the smallest regions.
With the new boot allocator, we can reasonably predict that
fragmentation will create at most one extra region, so this commit
adds one freemem slot for ARM.
2019-06-20 14:11:50 +10:00
..
boot.h ARM boot: MAX_NUM_FREEMEM_REG++ for new allocator 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