| .. |
|
assert.h
|
replacing all ifndef with pargma once
|
2020-03-23 11:04:46 +11:00 |
|
benchmark_tracepoints_types.h
|
libsel4: remove HAVE_AUTOCONF
|
2021-04-01 10:33:41 +10:00 |
|
benchmark_track_types.h
|
libsel4: remove HAVE_AUTOCONF
|
2021-04-01 10:33:41 +10:00 |
|
benchmark_utilisation_types.h
|
libsel4: remove HAVE_AUTOCONF
|
2021-04-01 10:33:41 +10:00 |
|
bootinfo.h
|
replacing all ifndef with pargma once
|
2020-03-23 11:04:46 +11:00 |
|
bootinfo_types.h
|
libsel4: remove HAVE_AUTOCONF
|
2021-04-01 10:33:41 +10:00 |
|
config.h
|
Remove HAVE_AUTOCONF guard in sel4/config.h
|
2021-03-08 14:39:27 +11:00 |
|
constants.h
|
trivial: Extend !__ASSEMBLER__ preprocessor flag
|
2021-06-02 12:46:01 +10:00 |
|
debug_assert.h
|
replacing all ifndef with pargma once
|
2020-03-23 11:04:46 +11:00 |
|
deprecated.h
|
replacing all ifndef with pargma once
|
2020-03-23 11:04:46 +11:00 |
|
errors.h
|
replacing all ifndef with pargma once
|
2020-03-23 11:04:46 +11:00 |
|
faults.h
|
Convert license tags to SPDX identifiers
|
2020-03-09 13:21:49 +08:00 |
|
functions.h
|
libsel4: Remove weak def of __sel4_ipc_buffer
|
2020-12-08 09:56:49 +11:00 |
|
macros.h
|
macros: avoid compiler warning for helper type
|
2021-07-01 10:48:47 +10:00 |
|
messages.h
|
Convert license tags to SPDX identifiers
|
2020-03-09 13:21:49 +08:00 |
|
objecttype.h
|
replacing all ifndef with pargma once
|
2020-03-23 11:04:46 +11:00 |
|
sel4.h
|
mcs: Add sporadic flag to SchedControl_Configure
|
2021-04-14 15:24:40 +10:00 |
|
shared_types.h
|
Do not generate data symbols for enums
|
2020-08-26 12:48:00 +10:00 |
|
simple_types.h
|
allow specific printf() formatting for seL4_Word
|
2021-04-21 14:55:50 +10:00 |
|
syscalls.h
|
trivial: Use correct configuration for TLS base
|
2020-10-12 15:21:43 +11:00 |
|
syscalls_master.h
|
replacing all ifndef with pargma once
|
2020-03-23 11:04:46 +11:00 |
|
syscalls_mcs.h
|
replacing all ifndef with pargma once
|
2020-03-23 11:04:46 +11:00 |
|
types.h
|
libsel4: unify seL4 type definitions
|
2021-04-06 16:15:01 +10:00 |
|
virtual_client.h
|
mcs: Add sporadic flag to SchedControl_Configure
|
2021-04-14 15:24:40 +10:00 |
4138e7e595