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}