yifei@zhan.science 19a520a22b Respect count in TCB_Write/ReadRegisters via loop ... Previously TCB_WriteRegisters/ReadRegisters ignored the count parameter and unconditionally copied the entire seL4_UserContext, this leads to unnecessary overhead for VMM operations. This addresses issue #1085 Signed-off-by: Yifei Zhan <yifei@zhan.science>		2026-04-11 13:58:22 +01: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	Respect count in TCB_Write/ReadRegisters via loop	2026-04-11 13:58:22 +01:00
CMakeLists.txt	libsel4: make thread-local ipc buffer optional	2026-02-25 11:46:23 +00:00