| .. |
|
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
|
add FDT extended bootinfo type
|
2019-05-01 12:18:52 +10:00 |
|
constants.h
|
libsel4: add seL4_CapRightsBits
|
2018-12-12 14:20:37 +11: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
|
style: consistently attach return type
|
2019-03-19 14:05:36 +11:00 |
|
macros.h
|
Fix trivial comment typos.
|
2018-03-27 10:51:26 +11:00 |
|
messages.h
|
libsel4: fix licenses
|
2017-06-22 15:27:29 +10:00 |
|
objecttype.h
|
style: set code width to 120
|
2019-03-19 14:05:44 +11: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
|
style: consistently align pointer with name
|
2019-03-19 14:04:54 +11:00 |
|
types.h
|
libsel4: Make guard and badge definitions mode specific
|
2017-10-27 12:15:09 +11:00 |
