Anna Lyons db3e18b7e4 SELFOUR-1491: error if set trigger not supported ... So far this is only implemented for the GIC, which most of our platforms use. Error if this invocation is made on another platform, and guard calls to the trigger function if it is not supported.		2018-09-19 12:17:52 +10:00
..
32/mode	Kbuild: Removed Kbuild	2018-08-10 10:38:53 +10:00
64/mode	Kbuild: Removed Kbuild	2018-08-10 10:38:53 +10:00
api	Kbuild: Removed Kbuild	2018-08-10 10:38:53 +10:00
arch	SELFOUR-1491: error if set trigger not supported	2018-09-19 12:17:52 +10:00
benchmark	Kbuild: Removed Kbuild	2018-08-10 10:38:53 +10: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	Refactor logic for cap revocability in cteInsert into new function with arch case	2018-04-24 14:04:46 +10:00
plat	zynqmp: add Ultra96 platform	2018-09-14 16:16:23 +02: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
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	trivial: move MS_IN_S to utils.h	2018-09-18 10:05:26 +10:00