Cross Reference: /seL4-test-master/kernel/manual/tools/libsel4_tools/syscall_stub

Cross Reference: syscall_stub_gen.py

xref: /seL4-test-master/kernel/manual/tools/libsel4_tools/syscall_stub_gen.py