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

Ariane

Ariane is a 6-stage RISC-V CPU. For details, refer to https://github.com/pulp-platform/ariane

Building the GCC toolchain

{% include risc-v.md %}

{% include sel4test.md %}

Ariane only provides support for the Genesys 2 board

Compile the bitstream from source or download the pre-build bitstream from here.
Prepare the SD card
```
sudo sgdisk --clear --new=1:2048:67583 --new=2 --typecode=1:3000 --typecode=2:8300 /dev/sdX
sudo dd if=images/sel4test-driver-image-riscv-ariane of=/dev/sdX1
```
Note that the "sgdisk" command above also creates a second partition for Linux rootfs, you could download a pre-build Linux kernel from here to verify that the FPGA is working correctly.
Booting from the SD card and observing the output from the UART port.