https://github.com/seL4/seL4

The seL4 microkernel
https://github.com/seL4/seL4

microkernel os sel4 sel4-microkernel

Last synced: 7 months ago
JSON representation

The seL4 microkernel

• Host: GitHub
• URL: https://github.com/seL4/seL4
• Owner: seL4
• License: other
• Created: 2014-07-18T11:08:06.000Z (about 11 years ago)
• Default Branch: master
• Last Pushed: 2024-10-25T05:35:43.000Z (12 months ago)
• Last Synced: 2024-10-29T15:34:27.376Z (12 months ago)
• Topics: microkernel, os, sel4, sel4-microkernel
• Language: C
• Homepage: https://sel4.systems
• Size: 13.8 MB
• Stars: 4,731
• Watchers: 206
• Forks: 670
• Open Issues: 201
• Metadata Files:
  • Readme: README.md
  • Changelog: CHANGES.md
  • Contributing: CONTRIBUTING.md
  • License: LICENSE.md
  • Code of conduct: CODE_OF_CONDUCT.md
  • Security: SECURITY.md

Awesome Lists containing this project

• awesome-hacking-lists - seL4/seL4 - The seL4 microkernel (C)
• awesome-repositories - seL4/seL4 - The seL4 microkernel (C)