| riscv_hardware | cmake_plat | xcompiler_arg | platform | arch | virtualization | iommu | simulation_target | Status | Contrib | Maintained | soc | cpu | SPDX-License-Identifier | SPDX-FileCopyrightText |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
true |
hifive |
-DRISCV64=1 |
HiFive Unleashed |
RV64IMAC, RV64GC |
No |
No |
false |
[Verified](/projects/sel4/verified-configurations.html#riscv64) |
Data61 |
seL4 Foundation |
Freedom U540 |
U54-MC, E51 |
CC-BY-SA-4.0 |
2020 seL4 Project a Series of LF Projects, LLC. |
HiFive Unleashed is a RISC-V development board by SiFive. Check here for details.
{% include risc-v.md %}
{% include sel4test.md %}
-
Set all DIP switches to 1(towards CPU).
-
Prepare the SD card
sudo sgdisk --clear --new=1:2048:67583 --typecode=1:3000 /dev/sdX sudo dd if=images/sel4test-driver-image-riscv-hifive of=/dev/sdX1
-
Insert the SD card and connect the micro USB port(J7). Note that the UART device node is /dev/ttyUSB1