rocketchip.md

riscv_hardware	cmake_plat	xcompiler_arg	platform	arch	virtualization	iommu	simulation_target	Status	Contrib	Maintained	cpu	SPDX-License-Identifier	SPDX-FileCopyrightText
true	rocketchip	-DRISCV64=1	Rocketchip	RV64IMAFDC	No	No	false	Unverified	Data61	seL4 Foundation	Rocket	CC-BY-SA-4.0	2020 seL4 Project a Series of LF Projects, LLC.

Rocketchip FPGA mapped to Zynq ZC706

The current rocketchip implementation only tested on ZC706 FPGA, it should work for other Zynq FPGAs. Refer to https://github.com/ucb-bar/fpga-zynq for details.

Building the GCC toolchain

{% include risc-v.md %}

Building seL4test

{% include sel4test.md %}