Skip to content

hifive.md

Latest commit

 

History

History
45 lines (35 loc) · 1.04 KB

hifive.md

File metadata and controls

45 lines (35 loc) · 1.04 KB
Raw
riscv_hardware true
cmake_plat hifive
xcompiler_arg -DRISCV64=1
platform HiFive Unleashed
arch RV64IMAC, RV64GC
virtualization false
iommu false
simulation_target false
verification
RISCV64
Contrib Data61
Maintained seL4 Foundation
soc Freedom U540
cpu U54-MC, E51
parent /Hardware/
SPDX-License-Identifier CC-BY-SA-4.0
SPDX-FileCopyrightText 2020 seL4 Project a Series of LF Projects, LLC.

HiFive Unleashed

HiFive Unleashed is a RISC-V development board by SiFive. Check here for details.

{% include hw-info.html %}

Building the GCC toolchain

{% include risc-v.md %}

Building seL4test

{% include sel4test.md %}

Booting via SD card

  1. Set all DIP switches to 1(towards CPU).

  2. 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

  3. Insert the SD card and connect the micro USB port(J7). Note that the UART device node is /dev/ttyUSB1