https://github.com/sel4/sel4_tools

Basic tools for building seL4 projects
https://github.com/sel4/sel4_tools

sel4

Last synced: over 1 year ago
JSON representation

Basic tools for building seL4 projects

• Host: GitHub
• URL: https://github.com/sel4/sel4_tools
• Owner: seL4
• License: other
• Created: 2015-11-29T21:33:15.000Z (over 10 years ago)
• Default Branch: master
• Last Pushed: 2025-03-14T02:57:55.000Z (over 1 year ago)
• Last Synced: 2025-03-28T17:11:34.550Z (over 1 year ago)
• Topics: sel4
• Language: C
• Homepage: https://sel4.systems
• Size: 1.75 MB
• Stars: 46
• Watchers: 26
• Forks: 90
• Open Issues: 29
• Metadata Files:
  • Readme: README.md
  • Contributing: .github/CONTRIBUTING.md
  • License: LICENSE.md
  • Code of conduct: .github/CODE_OF_CONDUCT.md

Awesome Lists containing this project

README

          


# seL4\_tools

Provides tools used to build seL4 projects.

Also collects common config and tools for style checks.

* [elfloader-tool](elfloader-tool/): loads the arm kernel.

* [cmake-tool](cmake-tool/): most of the build system.

* [misc](misc/): miscellaneous extra tools, including code style checks.

## Contributing

Contributions welcome!

See the [CONTRIBUTING](.github/CONTRIBUTING.md) file for more.