Gerwin Klein ecbeacb3ab constants.h: explain seL4_CoreSchedContextBytes ...

The "excluding extra refills" was confusing. seL4_CoreSchedContextBytes
is the size of sched_context_t + minimum refills, excluding any extra
refills.

We'd write it that way, but sched_context_t is not in scope in this
file.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>

2023-03-06 21:54:08 +11:00

..

arch_include

cleanup deprecated.h header files

2022-10-04 10:48:50 +11:00

include

constants.h: explain seL4_CoreSchedContextBytes

2023-03-06 21:54:08 +11:00

mode_include

replacing all ifndef with pargma once

2020-03-23 11:04:46 +11:00

sel4_arch_include

libsel4: update seL4_NBWait attributes

2023-01-17 09:08:07 +11:00

sel4_plat_include

Add Quartz64 support

2022-11-21 16:43:20 +11:00

src

Enabled IPC debug features under new config

2020-04-06 14:21:46 +10:00

tools

python: use '#paragma once' include guard

2022-03-23 17:28:07 +11:00

CMakeLists.txt

libsel4: expose .pbf files

2023-03-01 09:42:58 +11:00