Skip to content

smaccm/camkes-vm-manifest

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

69 Commits
 
 
 
 
 
 
 
 
 
 

Repository files navigation

camkes-vm-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.

For general instructions on how to use this repository, see wiki.seL4.systems.

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

For detailed information about CAmkES see documentation in the camkes-tool repo.

For detailed information about the VM on the C162 platform see the doucmention in the camkes-vm repo.

About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published