Imagelibrary/seL4
1
0
Fork 1
mirror of https://github.com/seL4/seL4.git synced 2026-04-09 16:59:55 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
3ae685ab1cb1b702756e792e18a5bbaffad2b0fb
seL4/include
History
Axel Heider d14c53974c user proper field from thread context structure 
The thread context structure layout is explicitly designed to have the
register context first, as this simplifies saving the user context on
entry in assembly code. On the exit path there is no need to hard-code
this assumption, stick to the semantics and leave details to the
compiler.

Signed-off-by: Axel Heider <axel.heider@hensoldt.net>
2023-01-13 10:22:28 +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
user proper field from thread context structure
2023-01-13 10:22:28 +11:00
benchmark
benchmark: config opt. name to enable log buffer
2022-03-31 08:56:06 +11:00
drivers
risc-v/plic: support rv32 targets
2022-12-03 08:21:29 +11:00
fastpath
Implemented signal fastpath on AARCH64 (#793)
2023-01-10 10:15:39 +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
Implemented signal fastpath on AARCH64 (#793)
2023-01-10 10:15:39 +11: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