Indan Zupancic 27a52ddd4c Runtime Domain Schedules ...

Implementation of RFC-20.

Signed-off-by: Indan Zupancic <indan@nul.nu>

2026-03-24 15:03:39 +11:00

..

arch_include

libsel4: fix attribute type for x86 EPT invocation

2026-01-09 16:52:09 +11:00

include

Runtime Domain Schedules

2026-03-24 15:03:39 +11:00

mode_include

replacing all ifndef with pargma once

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

sel4_arch_include

Fix TCB size for SMP + benchmark config

2025-11-24 17:03:56 +10:00

sel4_plat_include

Fix style

2025-12-10 09:05:02 +11:00

src

libsel4: make thread-local ipc buffer optional

2026-02-25 11:46:23 +00:00

tools

libsel4: fix attribute type for x86 EPT invocation

2026-01-09 16:52:09 +11:00

CMakeLists.txt

libsel4: make thread-local ipc buffer optional

2026-02-25 11:46:23 +00:00