https://github.com/sel4/camkes-vm-examples-manifest
https://github.com/sel4/camkes-vm-examples-manifest
camkes
Last synced: 5 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/sel4/camkes-vm-examples-manifest
- Owner: seL4
- Created: 2018-05-15T05:27:32.000Z (about 8 years ago)
- Default Branch: master
- Last Pushed: 2026-02-20T21:11:39.000Z (6 months ago)
- Last Synced: 2026-02-21T02:36:18.594Z (6 months ago)
- Topics: camkes
- Homepage:
- Size: 460 KB
- Stars: 6
- Watchers: 18
- Forks: 18
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- Contributing: .github/CONTRIBUTING.md
- License: LICENSES/BSD-2-Clause.txt
- Code of conduct: .github/CODE_OF_CONDUCT.md
Awesome Lists containing this project
README
CAmkES VM Examples Manifest
===========================
The CAmkES VMM is a Virtual Machine Monitor that utilizes the CAmkES component platform.
Due to the static nature of CAmkES systems the VMM is specified at build time to run
on a particular hardware platform. Currently the VMM is mostly targeted to run on the
C162 platform from Aitech. There is also a configuration for running on generic x86
machines, but it has almost no hardware support.
This project fetches example CAmkES VM applications to build and use. These being optiplex9020, minimal and cma34cr\_centos.
For general instructions on how to use this repository, see [docs.seL4.systems](https://docs.sel4.systems/Resources.html).
For general information about CAmkES see [the CAmkES pages on docs.seL4.systems](https://docs.sel4.systems/CAmkES/).
For detailed information about CAmkES see documentation in [the camkes-tool repo](https://github.com/seL4/camkes-tool/blob/master/docs/index.md).
For detailed information about the VM on the C162 platform see the documention in [the camkes-vm repo](https://github.com/seL4/camkes-vm/blob/master/README.md).
For detailed information about the example VM applications and how to build them see the documentation in [the camkes-vm-examples repo](https://github.com/seL4/camkes-vm-examples/blob/master/README.md).