Skip to content

Hensoldt-Cyber/seL4_tools

 
 

Repository files navigation

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.

About

Basic tools for building seL4 projects

Resources

License

Code of conduct

Stars

Watchers

Forks

Packages

No packages published

Languages

  • C 51.8%
  • CMake 23.0%
  • Assembly 9.1%
  • Python 8.1%
  • Shell 8.0%