seL4/libsel4/include/api
Julia Vassiliki 90b5159800 debug: add get thread affinity syscall
This is useful for sel4test et al for testing that a certain
PD has been succesfully migrated between cores, or that it
is running on a particular core.

Signed-off-by: Julia Vassiliki <julia.vassiliki@unsw.edu.au>
2026-06-22 18:06:26 +10:00
..
syscall.xml debug: add get thread affinity syscall 2026-06-22 18:06:26 +10:00
syscall.xsd xml: remove condition attribute 2022-03-22 18:33:38 +11:00