/seL4_tools

Primary LanguageCOtherNOASSERTION

seL4_tools

Provides tools used to build seL4 projects. Also collects common config and tools for style checks.

Contributing

Contributions welcome!

See the CONTRIBUTING file for more.