Skip to content

Latest commit

 

History

History
21 lines (13 loc) · 519 Bytes

README.md

File metadata and controls

21 lines (13 loc) · 519 Bytes

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.