| .. |
|
32/mode
|
mcs: timeout exceptions
|
2019-08-22 11:22:38 +10:00 |
|
64/mode
|
mcs: timeout exceptions
|
2019-08-22 11:22:38 +10:00 |
|
api
|
mcs: add periodic scheduling
|
2019-08-22 11:22:35 +10:00 |
|
arch
|
ARM: Add support to flush L1 caches
|
2020-02-11 11:23:04 +11:00 |
|
benchmark
|
benchmark: remove unused function
|
2019-06-14 14:11:09 +10:00 |
|
drivers
|
Document internal machine/interrupt.h interface
|
2020-02-05 13:56:48 +11:00 |
|
fastpath
|
mcs: scheduling context donation over ipc
|
2019-08-22 11:22:37 +10:00 |
|
kernel
|
trivial: remove duplicate macro definition
|
2019-11-19 16:37:51 +11:00 |
|
machine
|
arm,SMP: Refactor irq_t structure for smp
|
2020-02-05 13:56:48 +11:00 |
|
model
|
Revert "Cache FPU enable state on all platforms"
|
2019-12-19 17:18:35 +11:00 |
|
object
|
arm,SMP: Refactor irq_t structure for smp
|
2020-02-05 13:56:48 +11:00 |
|
plat
|
Document internal machine/interrupt.h interface
|
2020-02-05 13:56:48 +11:00 |
|
smp
|
arm,SMP: Refactor irq_t structure for smp
|
2020-02-05 13:56:48 +11:00 |
|
api.h
|
|
|
|
assert.h
|
style: consistently align pointer with name
|
2019-03-19 14:04:54 +11:00 |
|
basic_types.h
|
Type wrapper for a word_t that may alias
|
2018-04-24 14:04:46 +10:00 |
|
bootinfo.h
|
Remove symlinked libsel4 files from include dir
|
2019-03-21 12:44:57 +11:00 |
|
compound_types.h
|
|
|
|
config.h
|
mcs: allow kernel WCET estimate to be scaled
|
2019-08-22 11:22:39 +10:00 |
|
linker.h
|
x64: SKIM window to mitigate Meltdown (CVE-2017-5754) on x86-64
|
2018-01-17 16:38:52 +11:00 |
|
machine.h
|
style: consistently attach return type
|
2019-03-19 14:05:36 +11:00 |
|
object.h
|
|
|
|
stdarg.h
|
|
|
|
stdint.h
|
Add stdint MAX definitions
|
2017-11-17 14:49:27 +11:00 |
|
string.h
|
Expose string functions in all builds
|
2018-04-18 10:10:14 +10:00 |
|
types.h
|
|
|
|
util.h
|
mcs: verification spec for clzll
|
2019-08-22 11:22:37 +10:00 |
c06df578f2