Yanyan Shen df440f4f18 armv8/hyp: Read/write MDCR_EL2 for debug control		2018-04-25 00:20:49 +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	armv8/hyp: Read/write MDCR_EL2 for debug control	2018-04-25 00:20:49 +10:00
benchmark	Fix trivial comment typos.	2018-03-27 10:51:26 +11:00
fastpath
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	Refactor logic for cap revocability in cteInsert into new function with arch case	2018-04-24 14:04:46 +10:00
plat	riscv: fix licenses	2018-04-18 10:52:02 +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	Type wrapper for a word_t that may alias	2018-04-24 14:04:46 +10:00
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 strlen	2018-04-18 10:10:14 +10:00