Adrian Danis ae0937a053 Add unverified_compile_assert ... This version of compile_assert is not expanded during verification builds and can be used in cases where you would like an assertion that contains syntax that is not supported by the C parser		2017-05-04 11:13:31 +10:00
..
32/mode	SELFOUR-413: refactor libsel4 fault API	2016-11-25 12:29:07 +11:00
64/mode	SELFOUR-413: refactor libsel4 fault API	2016-11-25 12:29:07 +11:00
api	Add debug_printUserState	2017-04-05 16:54:50 +10:00
arch	x86: Remove trailing semicolons in asm statements	2017-05-04 11:13:31 +10:00
benchmark	s/DEBUG/CONFIG_DEBUG_BUILD/	2017-04-06 10:43:24 +10:00
fastpath	x64: Rearrange cnode_cap structure to improve fastpath speed	2017-01-10 16:57:57 +11:00
kernel	Move isRunnable from thread.c to thread.h	2017-04-26 09:36:43 +10:00
machine	SELFOUR-836: Hardware debug API functions should take tcb_t and not arch_tcb_t	2017-04-03 14:14:00 +10:00
model	Move arch independent functions to generic files and HAVE_FPU config	2017-02-27 12:52:18 +11:00
object	trivial: remove unused 'bound' field from ntfn	2017-04-11 13:59:54 +10:00
plat	Check for configuration variables being 'defined' instead of 'true'	2017-05-03 10:35:44 +10:00
smp	smp: fix bugs when stalling remote core	2017-03-30 09:46:43 +11:00
api.h	Release snapshot	2014-07-18 05:03:59 +10:00
assert.h	Add unverified_compile_assert	2017-05-04 11:13:31 +10:00
basic_types.h	Rename uint32_t -> word_t in any relevant places	2015-12-10 10:45:20 +11:00
bootinfo.h	SELFOUR-114: remove bootinfo.h duplication	2016-03-01 17:25:22 +11:00
compound_types.h	unsigned int -> word_t	2015-12-10 10:45:21 +11:00
config.h	SELFOUR-444: Preemptible zeroing for retype.	2016-11-01 17:05:36 +11:00
machine.h	SELFOUR-607: inline remaining irq path functions	2016-08-09 16:18:34 +10:00
Makefile	SELFOUR-413: refactor libsel4 fault API	2016-11-25 12:29:07 +11:00
object.h	SELFOUR-317: rename async endpoint to notification object, and other	2015-11-09 17:18:43 +11:00
stdarg.h	Release snapshot	2014-07-18 05:03:59 +10:00
stdint.h	conversion: fixed unnecessary word_t change	2015-12-10 10:45:22 +11:00
string.h	Correct separation of printing and debug builds	2016-05-17 15:10:08 +10:00
types.h	ia32: added the option to disable prefetchers	2015-04-15 14:38:55 +10:00
util.h	Provide spec for CTZL	2017-02-22 17:22:17 +11:00