Adrian Danis 7836f76cf9 Extend bootinfo to support potentially arbitrary additional structures ... This provides a future proof interface for extending the bootinfo region with additional kinds of optional architecture and platform specific information. The basic idea is to report the size of a region directly following the bootinfo frame, which is made up of a series of 'chunks'. Each chunk has an identifier (describing what it is) and a length, allowing unknown chunks to be skipped in favor of examining the remaining of the chunks.		2017-02-16 14:34:52 +11:00
..
assert.h	Streamline libsel4 and remove its libc dependencies.	2015-07-09 18:03:46 -07:00
benchmark_tracepoints_types.h	Benchmark: Share trace point log structure with the user	2016-08-26 11:13:05 +10:00
benchmark_track_types.h	Fix benchmark_debug_syscall_start	2016-10-20 15:07:49 +11:00
benchmark_utilisation_types.h	SELFOUR-448 Benchmark: Track thread's CPU utilisation time	2016-06-24 12:43:09 +10:00
bootinfo.h	SELFOUR-114: remove bootinfo.h duplication	2016-03-01 17:25:22 +11:00
bootinfo_types.h	Extend bootinfo to support potentially arbitrary additional structures	2017-02-16 14:34:52 +11:00
constants.h	SELFOUR-413: refactor libsel4 fault API	2016-11-25 12:29:07 +11:00
debug_assert.h	Streamline libsel4 and remove its libc dependencies.	2015-07-09 18:03:46 -07:00
deprecated.h	SELFOUR-567: use seL4_CapRights_t from libsel4	2016-11-25 12:29:07 +11:00
errors.h	libsel4: add seL4_NumErrors to enum seL4_Error	2016-06-07 11:06:57 +10:00
faults.h	Add missing case to seL4_getFault	2017-02-08 17:16:06 +11:00
macros.h	Explicitly pack bootinfo data structures	2017-02-15 14:27:31 +11:00
messages.h	SELFOUR-413: refactor libsel4 fault API	2016-11-25 12:29:07 +11:00
objecttype.h	libsel4: use seL4_Word for object types and update the sanity script to match word_t to seL4_Word	2015-12-10 16:08:39 +11:00
sel4.h	SELFOUR-413: refactor libsel4 fault API	2016-11-25 12:29:07 +11:00
shared_types.h	libsel4: Add remaining combinations of cap rights	2016-11-30 10:36:31 +11:00
shared_types_32.bf	SELFOUR-567: use seL4_CapRights_t from libsel4	2016-11-25 12:29:07 +11:00
shared_types_64.bf	SELFOUR-567: use seL4_CapRights_t from libsel4	2016-11-25 12:29:07 +11:00
simple_types.h	libsel4: Generate libsel4 definitions from the current ARCH as well as the SEL4_ARCH	2016-01-08 10:16:30 +11:00
syscalls.h	libsel4: Optional public symbols for external interfaces	2016-12-06 18:08:39 +11:00
types.h	SELFOUR-567: use seL4_CapRights_t from libsel4	2016-11-25 12:29:07 +11:00
types_32.bf	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
types_64.bf	x64/libsel4: Add x64 libsel4 implementation	2016-10-12 12:22:32 +11:00