-
Christopher Haster authored
This just means consumers don't need to patch the generated sel4_client.h. I'm sorry to whoever wrote syscall_stub_gen.py.
1e03d590
This just means consumers don't need to patch the generated sel4_client.h. I'm sorry to whoever wrote syscall_stub_gen.py.