https://github.com/sel4/sel4_projects_libs

https://github.com/sel4/sel4_projects_libs

Last synced: over 1 year ago
JSON representation

• Host: GitHub
• URL: https://github.com/sel4/sel4_projects_libs
• Owner: seL4
• License: other
• Created: 2016-03-09T04:49:16.000Z (over 10 years ago)
• Default Branch: master
• Last Pushed: 2025-03-17T00:37:13.000Z (over 1 year ago)
• Last Synced: 2025-04-05T03:13:03.904Z (over 1 year ago)
• Language: C
• Size: 1.38 MB
• Stars: 19
• Watchers: 23
• Forks: 39
• Open Issues: 28
• 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\_projects\_libs

## seL4 Projects Libraries

A collection of libraries for seL4. These libraries are compatible with seL4_libs.

## Contributing

Contributions welcome!

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