CheriBSD that runs on the Cloud

cheri.run runs a CheriBSD virtual machine on the cloud for easy access to everyone as a playground for experimenting with CHERI and Morello.

# You can run CheriBSD locally 
# with Docker using the following commands
docker pull cocoa-xu/cheribsd-purecap
docker run -it --rm cocoa-xu/cheribsd-purecap

# Additionally, you can pass your custom CPU and RAM configuration
# when running the Docker image locally, for example
NCPUS=8
MEMORY=8192
docker run -it --rm cocoa-xu/cheribsd-purecap ${NCPUS} ${MEMORY}