This repository has been archived by the owner on Jun 20, 2021. It is now read-only.

CAmkES ARM VM Manifest

This repository is archived. Please use https://github.com/seL4/camkes-vm-examples-manifest instead.

Archived README content

The repository contains Google repo manifests for an ARM VM in CAmkES.

Please see https://docs.sel4.systems/projects/camkes-vm/ for more information on how to build the VM and use this repo.

For general information about CAmkES see the CAmkES pages on seL4.systems.