| .. |
|
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-10-17 09:53:58 +11:00 |
|
cap_rights.h
|
Replace #pragma once with include guards
|
2016-10-21 12:05:02 +11:00 |
|
constants.h
|
SELFOUR-499: X86, ARM: Add userspace invocations for hardware debugging
|
2016-10-10 13:53:21 +11:00 |
|
debug_assert.h
|
Streamline libsel4 and remove its libc dependencies.
|
2015-07-09 18:03:46 -07:00 |
|
deprecated.h
|
libsel4: Generate libsel4 definitions from the current ARCH as well as the SEL4_ARCH
|
2016-01-08 10:16:30 +11:00 |
|
errors.h
|
libsel4: add seL4_NumErrors to enum seL4_Error
|
2016-06-07 11:06:57 +10:00 |
|
macros.h
|
libsel4: Make FORCE_LONG_ENUM actually force a long instead of an int
|
2016-01-12 10:58:09 +11:00 |
|
messages.h
|
libsel4: Generate libsel4 definitions from the current ARCH as well as the SEL4_ARCH
|
2016-01-08 10:16:30 +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
|
Syscalls docs in manual generated by doxygen
|
2016-09-16 10:09:36 +10:00 |
|
shared_types.h
|
SELFOUR-114: make IPC buffer definition accessible to the kernel
|
2016-01-11 11:16:24 +11:00 |
|
shared_types_32.bf
|
SELFOUR-276: Add MCP field to threads.
|
2016-10-05 11:11:19 +11:00 |
|
shared_types_64.bf
|
x64/libsel4: Add x64 libsel4 implementation
|
2016-10-12 12:22:32 +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
|
arm/libsel4: Update VCPU fault definitions
|
2016-10-12 16:10:39 +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 |
