https://github.com/sel4/camkes-vm-images
Precompiled kernels etc. for use with camkes VMs.
https://github.com/sel4/camkes-vm-images
Last synced: 5 months ago
JSON representation
Precompiled kernels etc. for use with camkes VMs.
- Host: GitHub
- URL: https://github.com/sel4/camkes-vm-images
- Owner: seL4
- Created: 2018-12-13T07:28:11.000Z (over 7 years ago)
- Default Branch: master
- Last Pushed: 2025-03-17T00:47:34.000Z (over 1 year ago)
- Last Synced: 2025-03-17T01:34:09.895Z (over 1 year ago)
- Language: CMake
- Homepage:
- Size: 345 MB
- Stars: 2
- Watchers: 22
- Forks: 18
- Open Issues: 1
-
Metadata Files:
- Readme: README.md
- Contributing: .github/CONTRIBUTING.md
- License: LICENSES/BSD-2-Clause.txt
- Code of conduct: .github/CODE_OF_CONDUCT.md