Anna Lyons 306453e347 style: set min-conditional-indent to 0 ... Given we use braces all the time conditional indents do not make code cleaner.		2019-03-19 14:05:44 +11:00
..
bootinfo_types.h
constants.h
debug.h	style: set min-conditional-indent to 0	2019-03-19 14:05:44 +11:00
errors.h
failures.h	SELFOUR-413: refactor libsel4 fault API	2016-11-25 12:29:07 +11:00
faults.h	style: consistently align pointer with name	2019-03-19 14:04:54 +11:00
macros.h	Link libsel4's macros.h into the kernel	2016-09-21 13:57:44 +10:00
objecttype.h
shared_types.h
syscall.h	style: consistently attach return type	2019-03-19 14:05:36 +11:00
syscall.xml
syscall.xsd
types.h	style: consistently attach return type	2019-03-19 14:05:36 +11:00