Imagelibrary/seL4
1
0
Fork 1
mirror of https://github.com/seL4/seL4.git synced 2026-04-09 08:49:54 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
548a81a057afa8ac7ebcab37eae0e4b77f312e9a
seL4/include
History
Axel Heider 548a81a057 riscv: support qemu-riscv-virt platform 
Signed-off-by: Axel Heider <axel.heider@hensoldt.net>
2022-11-13 11:53:54 +11:00
..
32/mode
replacing all ifndef with pargma once
2020-03-23 11:04:46 +11:00
64/mode
replacing all ifndef with pargma once
2020-03-23 11:04:46 +11:00
api
print value for unknown entry reason
2022-03-16 16:00:42 +11:00
arch
aarch32: fix define check
2022-11-11 13:52:25 +11:00
benchmark
benchmark: config opt. name to enable log buffer
2022-03-31 08:56:06 +11:00
drivers
riscv: support qemu-riscv-virt platform
2022-11-13 11:53:54 +11:00
fastpath
replacing all ifndef with pargma once
2020-03-23 11:04:46 +11:00
kernel
boot: remove unused return values
2022-10-30 19:54:02 +11:00
machine
debug: restructure kernel console handling
2021-05-14 13:13:36 +10:00
model
mcs: Create ksIdleSC global variable
2022-01-04 19:00:24 +11:00
object
mcs: remove unused tcbReply field from tcb struct
2022-09-13 13:21:20 +02:00
plat
pc99: use ackInterrupt()
2021-10-01 15:18:51 +10:00
smp
create helper function handle_SysDebugSendIPI()
2022-01-10 11:58:30 +11:00
api.h
replacing all ifndef with pargma once
2020-03-23 11:04:46 +11:00
assert.h
trivial: fix typos
2022-02-27 13:10:34 +11:00
basic_types.h
unify libsel4 type definitions
2021-12-06 16:48:01 +11:00
bootinfo.h
boot: use helper variable to simplify code
2021-09-06 09:22:04 +10:00
compound_types.h
trivial: remove superfluous empty lines
2021-09-27 23:09:09 +10:00
config.h
libsel4: Fix name for AARCH64_VSPACE_S2_START_L1
2021-09-06 08:08:54 +10:00
hardware.h
remove unused define KERNEL_ELF_PADDR_TOP
2021-11-17 11:29:36 +11:00
linker.h
replacing all ifndef with pargma once
2020-03-23 11:04:46 +11:00
machine.h
re-use existing functions to avoid redundancy
2022-09-15 11:25:04 +02:00
object.h
trivial: remove duplicate headers
2022-02-05 15:30:25 +11:00
stdarg.h
trivial: remove superfluous empty lines
2021-09-27 23:09:09 +10:00
stdint.h
print 64-bit integers on 32-bits systems fully
2021-11-26 06:01:11 +01:00
string.h
trivial: remove superfluous empty lines
2021-09-27 23:09:09 +10:00
types.h
trivial: remove superfluous empty lines
2021-09-27 23:09:09 +10:00
util.h
make macro ARRAY_SIZE() handle corner cases
2022-03-10 18:16:00 +11:00