Skip to content

fix debug syscall generation

Ben Brittain requested to merge cavedweller/rust-sel4:debug_sycall_gen_fix into master

some feature gates weren't generating properly, as well as a debug code fix

Merge request reports