https://github.com/sel4/mcs-examples-manifest

Native seL4 and CAmkES examples of mixed criticality mechanisms.
https://github.com/sel4/mcs-examples-manifest

Last synced: 6 months ago
JSON representation

Native seL4 and CAmkES examples of mixed criticality mechanisms.

• Host: GitHub
• URL: https://github.com/sel4/mcs-examples-manifest
• Owner: seL4
• License: other
• Created: 2020-09-16T04:55:11.000Z (almost 6 years ago)
• Default Branch: master
• Last Pushed: 2025-03-17T00:41:06.000Z (over 1 year ago)
• Last Synced: 2025-06-10T17:08:58.017Z (about 1 year ago)
• Size: 17.6 KB
• Stars: 1
• Watchers: 21
• Forks: 2
• Open Issues: 0
• 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

          


# mcs-example-manifest

A collection of native and CAmkES examples demonstrating mechanisms for

Mixed-Criticality Systems (MCS).