Skip to content

Fix conditional generation in python scripts and other improvements

Jimmy Brush requested to merge peachesrebar88/sel4-sys:fix_invocation into master
  • Fix conditional generation in python scripts.
  • Delete and ignore auto-generated parsetab.py
  • Implement default trait for seL4_ARCH_VMAttributes enum

Merge request reports