Commit c6339f30 by James McGlashan

validate config and rerun if the env changes

- 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.
parent 864868ae
Pipeline #9997025 failed with stage
in 1 minute 38 seconds