https://github.com/sel4/refos-manifest
Reference Operating system based on seL4 --- example code
https://github.com/sel4/refos-manifest
Last synced: 5 months ago
JSON representation
Reference Operating system based on seL4 --- example code
- Host: GitHub
- URL: https://github.com/sel4/refos-manifest
- Owner: seL4
- Created: 2014-10-24T01:00:17.000Z (almost 12 years ago)
- Default Branch: master
- Last Pushed: 2025-03-17T00:38:47.000Z (over 1 year ago)
- Last Synced: 2025-03-17T01:31:43.179Z (over 1 year ago)
- Homepage:
- Size: 17.6 KB
- Stars: 21
- Watchers: 22
- Forks: 16
- Open Issues: 3