Julia Vassiliki dbc3da9d97 libsel4: add new seL4_UserVSpaceTop constant ... This is a consistent, inclusive-top value that is conveying similar information to that of seL4_UserTop. We are adding this so as to not break existing userspace, but it will make it easier for userspace to deal with other platforms. Signed-off-by: Julia Vassiliki <julia.vassiliki@unsw.edu.au>		2026-07-01 10:57:37 +10:00
..
arch_include	debug: add get thread affinity syscall	2026-06-22 18:06:26 +10:00
include	debug: add get thread affinity syscall	2026-06-22 18:06:26 +10:00
mode_include	replacing all ifndef with pargma once	2020-03-23 11:04:46 +11:00
sel4_arch_include	libsel4: add new seL4_UserVSpaceTop constant	2026-07-01 10:57:37 +10:00
sel4_plat_include	libsel4: add new seL4_UserVSpaceTop constant	2026-07-01 10:57:37 +10:00
src	libsel4: make thread-local ipc buffer optional	2026-02-25 11:46:23 +00:00
tools	tools: Support multiple methods with the same id	2026-06-23 17:17:39 +01:00
CMakeLists.txt	libsel4: make thread-local ipc buffer optional	2026-02-25 11:46:23 +00:00