Adrian Danis 5340bb790f Correct constant type in userError		2016-11-22 17:22:50 +11:00
..
bootinfo_types.h	SELFOUR-114: remove bootinfo.h duplication	2016-03-01 17:25:22 +11:00
constants.h	SELFOUR-244: symlink duplicated files from libsel4 into kernel rather than duplicating them, remove sanity target as a result	2016-01-05 08:33:39 +11:00
debug.h	Remove circular include between debug and benchmark_track	2016-10-20 15:45:06 +11:00
errors.h	SELFOUR-244: symlink duplicated files from libsel4 into kernel rather than duplicating them, remove sanity target as a result	2016-01-05 08:33:39 +11:00
failures.h	unsigned int -> word_t	2015-12-10 10:45:21 +11:00
faults.h	Release snapshot	2014-07-18 05:03:59 +10:00
macros.h	Link libsel4's macros.h into the kernel	2016-09-21 13:57:44 +10:00
Makefile	libsel4: Provide a layer of indirection around types.bf and shared_types.bf to allow for 64-bit variants	2016-01-21 13:31:54 +11:00
objecttype.h	SELFOUR-244: symlink duplicated files from libsel4 into kernel rather than duplicating them, remove sanity target as a result	2016-01-05 08:33:39 +11:00
shared_types.h	SELFOUR-114: make IPC buffer definition accessible to the kernel	2016-01-11 11:16:24 +11:00
syscall.h	SELFOUR-632: implement cores non-architecture dependent structres	2016-10-10 16:33:48 +11:00
syscall.xml	SELFOUR-244: symlink duplicated files from libsel4 into kernel rather than duplicating them, remove sanity target as a result	2016-01-05 08:33:39 +11:00
syscall.xsd	SELFOUR-244: symlink duplicated files from libsel4 into kernel rather than duplicating them, remove sanity target as a result	2016-01-05 08:33:39 +11:00
types.bf	x64: extend message_info_t to 64-bit	2016-10-12 12:22:32 +11:00
types.h	Correct constant type in userError	2016-11-22 17:22:50 +11:00