|
api
|
prefer macro CURRENT_CPU_INDEX()
|
2021-08-17 18:19:37 +10:00 |
|
arch
|
arm,gic: GICv3 only supports max 16 list registers
|
2021-09-03 10:23:06 +10:00 |
|
kernel
|
boot: remove ndks_boot.slot_pos_max
|
2021-09-02 08:44:24 +10:00 |
|
model
|
define macro SEL4_WORD_CONST()
|
2021-08-17 18:19:37 +10:00 |
|
plat
|
risc-v: remove obsolete file
|
2021-07-05 09:17:33 +10:00 |
|
assert.h
|
ensure assert() macro is an atom
|
2021-08-19 08:28:27 +10:00 |
|
basic_types.h
|
define macro SEL4_WORD_CONST()
|
2021-08-17 18:19:37 +10:00 |
|
bootinfo.h
|
boot: use helper variable to simplify code
|
2021-09-06 09:22:04 +10:00 |
|
hardware.h
|
boot: make linker definitions generic
|
2021-07-01 11:30:19 +10:00 |
|
machine.h
|
use const qualifier
|
2021-07-01 10:48:47 +10:00 |
|
stdint.h
|
support PRIu64 and SEL4_PRIu_word in kernel
|
2021-05-14 13:34:38 +10:00 |
|
util.h
|
trivial: improve style for code and comments
|
2021-08-31 10:53:31 +10:00 |