Skip to content

Use sel4-config crate plus minor fixes

Jimmy Brush requested to merge sel4_config into master
  • Use sel4-config crate, call it in build.rs, and import generated sel4_config.rs in lib.rs
  • Add missing conditional compilation feature flags
  • Get CONFIG_RETYPE_FAN_OUT_LIMIT from sel4 config
  • x64: Fix huge pages

Waiting on sel4-config!2 (merged)

Merge request reports