portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/libsel4/include/sel4
History
Stephen Sherratt 0197d63b6a Replace bools with ints in shared_types header 
The motivation for this change is the fact that the types of `true` and
`false` are different between userland and the kernel. This was forcing
code including shared_types.h to first include the appropriate header
defining `true` and `false`. This change prevents this need.
2016-11-28 14:05:23 +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 libsel4: Reorder bootinfo struct 2016-11-14 08:58:18 +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 SELFOUR-413: refactor libsel4 fault API 2016-11-25 12:29:07 +11:00
macros.h SELFOUR-413: refactor libsel4 fault API 2016-11-25 12:29:07 +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 Replace bools with ints in shared_types header 2016-11-28 14:05:23 +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 Syscalls docs in manual generated by doxygen 2016-09-16 10:09:36 +10: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