https://github.com/sel4/camkes-vm-linux
https://github.com/sel4/camkes-vm-linux
Last synced: 5 days ago
JSON representation
- Host: GitHub
- URL: https://github.com/sel4/camkes-vm-linux
- Owner: seL4
- License: other
- Created: 2018-07-09T04:21:32.000Z (about 8 years ago)
- Default Branch: master
- Last Pushed: 2024-07-02T01:33:27.000Z (about 2 years ago)
- Last Synced: 2025-01-09T09:49:29.862Z (over 1 year ago)
- Language: CMake
- Size: 28.5 MB
- Stars: 4
- Watchers: 22
- Forks: 13
- Open Issues: 2
-
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
CAmkES VM Linux
===============
This directory contains a series of tools, CMake helpers, linux images and
root file system artifacts suitable for creating and using in a CAmkES VM.
The contents of this repository include:
* `images/`: This directory contains a prebuilt linux 4.8.16 kernel image and a
buildroot rootfs image that can be used for CAmkES VM guest.
* `camkes-linux-artifacts/`: This directory contains a series of camkes
artifacts that can be installed in your linux VM guest. These include
packages and modules that provide the crossvm functionality.
* `vm-linux-helpers.cmake`: A series of CMake helpers to define rootfile system
overlays for a CAmkES VM linux guest and retrieve default linux images.