Project

Cheriot-safe (CHERIoT small and fast FPGA emulator) is an complete FPGA platform for CHERIoT hardware prototyping and embedded software development. It contains a cheriot-ibex core, CHERIoT-enabled risc-v debug modules, TCM memories, an AXI-based internal bus fabric, and a collection of commonly used peripherals.

Trademarks

This project may contain trademarks or logos for projects, products, or services. Authorized use of Microsoft trademarks or logos is subject to and must follow Microsoft's Trademark & Brand Guidelines. Use of Microsoft trademarks or logos in modified versions of this project must not cause confusion or imply Microsoft sponsorship. Any use of third-party trademarks or logos are subject to those third-party's policies.

Setting up Access

In a browser go to: https://github.com/microsoft/cheriot-safe
Click on the purple squigily item in the upper right corner. 
Select Settings
Select SSH and GPG keys
Add your SSH key
Authenticate key.

Checking out the Repo

git clone git@github.com:microsoft/cheriot-safe.git  <ws>
cd <ws>
git submodule update --init --recursive

Running a verilator simulation

See the readme and examples under sim/verilator.

Running a VCS simulation

1. Review the ./sim/Makefile for the correct path to the vcs simulator.
2. Execute: ./trun hello_world
3. Test output is in ./out/run/hello_world/...

Building FPGA bitfile

See the readme under build/

Board Support

Currently cheriot-safe supports the Diligent Arty A7-100T board.

Design documentation

See the wiki section for more information about the cheri_safe FPGA design