Skip to content

validate config and rerun if the env changes

DarkFox requested to merge (removed):master into master

  • Reorder README to logically describe when to include the generated rust code.

  • Use SEL4_CONFIG_PATH if present, otherwise default to ../sel4/.config

  • Do not deny = in values.

  • Do not omit booleans from generated constants.

Edited by DarkFox

Merge request reports