This project contains the BSP to build the SW artifact that can run on the Kelvin core, and integrated as part of the Shodan repository.
If you get this project from Project Shodan manifest, you are all set. If not, you need to have following projects as well to build the project successfully.
This project needs to be at
The project uses Bazel 5.1.1, to align with OpenTitan build system requirements.
bazel build //...
To run the unit tests (with the kelvin_sim ISS) Make sure the Environment variable
$ROOTDIR is set to the root directory of the local repo (or run
bazel test //...
TODO: Add CMake flow
The binaries can be simulated with the kelvin simulator, located at
sim_kelvin <elf location>
Load the generated
.bin binaries to the FPGA emulator/Renode simulator.