Adrian Danis a2a6be95ca Define more freemem regions on all architectures except ARM ... 2 freemem regions is far to prohibitive on platforms that have fragmented initial memory. Ultimately ARM should be changed to also have more than 2, but is being deferred for now as it will result in trivial verification breakage.		2018-04-18 10:10:14 +10:00
..
32/mode	Add stdint MAX definitions	2017-11-17 14:49:27 +11:00
64/mode	Add stdint MAX definitions	2017-11-17 14:49:27 +11:00
api	SELFOUR-1016: Require auth cap to set prio/mcp	2018-02-26 11:24:22 +11:00
arch	riscv: remove unused function prototype	2018-04-18 10:10:14 +10:00
benchmark	Fix trivial comment typos.	2018-03-27 10:51:26 +11:00
fastpath	x64: Rearrange cnode_cap structure to improve fastpath speed	2017-01-10 16:57:57 +11:00
kernel	Define more freemem regions on all architectures except ARM	2018-04-18 10:10:14 +10:00
machine	Inline resetTimer for all platforms	2017-11-28 10:21:46 +11:00
model	Move PAD_TO_NEXT_CACHE_LN to util.h	2018-01-09 10:10:16 +11:00
object	Fix trivial comment typos.	2018-03-27 10:51:26 +11:00
plat	riscv: Redesign kernel window	2018-04-18 10:10:14 +10:00
smp	ARM/SMP: Re-implement atomic exchange taking sel4 IPI into account	2017-11-23 14:35:54 +11:00
api.h
assert.h	Add unverified_compile_assert	2017-05-04 11:13:31 +10:00
basic_types.h
bootinfo.h	SELFOUR-114: remove bootinfo.h duplication	2016-03-01 17:25:22 +11:00
compound_types.h
config.h	SMP: Introduce ENABLE_SMP_SUPPORT	2017-06-29 16:23:39 +10:00
linker.h	x64: SKIM window to mitigate Meltdown (CVE-2017-5754) on x86-64	2018-01-17 16:38:52 +11:00
machine.h	SELFOUR-607: inline remaining irq path functions	2016-08-09 16:18:34 +10:00
Makefile	Add stdint MAX definitions	2017-11-17 14:49:27 +11:00
object.h
stdarg.h
stdint.h	Add stdint MAX definitions	2017-11-17 14:49:27 +11:00
string.h	Correct separation of printing and debug builds	2016-05-17 15:10:08 +10:00
types.h
util.h	riscv: move STRINGIFY et al to util.h	2018-04-18 10:10:14 +10:00