Adrian Danis 82c997aebe Expose string functions in all builds ... These are useful beyond just debug and printing builds		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: use one definition of page bits	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: remove dev_pregs	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
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
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	Expose string functions in all builds	2018-04-18 10:10:14 +10:00
types.h
util.h	Remove strcmp	2018-04-18 10:10:14 +10:00