Edward Pierzchalski 335b4497aa Make padding word-size independent ... An unfortunate hack that lets us specify padding within one `sizeof(seL4_Word)`-sized chunk of a struct, indpendently of the size of a word.		2019-12-19 15:50:40 +11:00
..
assert.h	style: consistently align pointer with name	2019-03-19 14:04:54 +11:00
benchmark_tracepoints_types.h	libsel4: fix licenses	2017-06-22 15:27:29 +10:00
benchmark_track_types.h	Benchmark: specify on which core IRQ was delivered	2019-05-20 10:01:40 +10:00
benchmark_utilisation_types.h	benchmark: support reading out idle cpu time on remote cpu	2017-09-04 12:50:42 +02:00
bootinfo.h	style: set code width to 120	2019-03-19 14:05:44 +11:00
bootinfo_types.h	Make padding word-size independent	2019-12-19 15:50:40 +11:00
constants.h	libsel4: Expose mcs constants to non-C files	2019-08-22 13:32:11 +10:00
debug_assert.h	libsel4: fix licenses	2017-06-22 15:27:29 +10:00
deprecated.h	style: set code width to 120	2019-03-19 14:05:44 +11:00
errors.h	libsel4: fix licenses	2017-06-22 15:27:29 +10:00
faults.h	mcs: timeout exceptions	2019-08-22 11:22:38 +10:00
functions.h	Remove platform IPC buffer register.	2019-07-01 10:46:46 +10:00
macros.h	mcs: scheduling context donation over ipc	2019-08-22 11:22:37 +10:00
messages.h	libsel4: fix licenses	2017-06-22 15:27:29 +10:00
objecttype.h	mcs: scheduling context donation over ipc	2019-08-22 11:22:37 +10:00
sel4.h	libsel4: fix licenses	2017-06-22 15:27:29 +10:00
shared_types.h	style: correct parenthesis padding	2019-03-19 14:02:59 +11:00
simple_types.h	libsel4: fix licenses	2017-06-22 15:27:29 +10:00
syscalls.h	mcs: scheduling context donation over ipc	2019-08-22 11:22:37 +10:00
syscalls_master.h	mcs: scheduling context donation over ipc	2019-08-22 11:22:37 +10:00
syscalls_mcs.h	mcs: scheduling context donation over ipc	2019-08-22 11:22:37 +10:00
types.h	Use autoconf definition for RetypeMaxObjects def	2019-12-02 17:42:13 +11:00