Skip to content

Latest commit

 

History

History
119 lines (92 loc) · 3.6 KB

polarfire.md

File metadata and controls

119 lines (92 loc) · 3.6 KB
Raw
riscv_hardware cmake_plat xcompiler_arg platform arch virtualization iommu simulation_target Status Contrib Maintained soc cpu SPDX-License-Identifier SPDX-FileCopyrightText
true
polarfire
-DSel4testAllowSettingsOverride=True -DElfloaderImage=binary -DKernelVerificationBuild=OFF
Microchip PolarFire Icicle Kit
RV64IMAC, RV64GC
No
No
false
Unverified
PolarFire SoC FPGA
U54-MC, E51
CC-BY-SA-4.0
2020 seL4 Project a Series of LF Projects, LLC.

Microchip PolarFire Icicle Kit

Polarfire Icicle Kit is a RISC-V development board by Microchip. Check here for details.

Microchip maintains online material, including designs and documentation here.

Additional documentation and resources can be found on the polarfire-soc github here.

Building

seL4test

{% include sel4test.md %}

Converting to a u-boot uImage:

mkimage -A riscv -O linux -T kernel -C none -a 0x80000000 -e 0x80000000 -n sel4test -d \
images/sel4test-driver-image-riscv-polarfire images/seL4-uImage
cp kernel/kernel.dtb images/

Hart Software Services

Install the SoftConsole software development environment from Microchip here. The following instructions are based on SoftConsole v2022.2

  1. Clone the Hart Software Services
git clone https://github.com/polarfire-soc/hart-software-services

  1. Open SoftConsole and import a project from the newly cloned hart-software-services repo.

  2. Build the project with the project defaults.

hss-payload-generator

git clone https://github.com/polarfire-soc/hart-software-services
cd hart-software-services/tools/hss-payload-generator
make

This generates a hss-payload-generator ELF.

U-Boot

git clone https://github.com/polarfire-soc/u-boot
cd u-boot
CROSS_COMPILE=riscv64-linux-gnu- ARCH=riscv make microchip_mpfs_icicle_defconfig
CROSS_COMPILE=riscv64-linux-gnu- ARCH=riscv make

This generates a u-boot-dtb.bin binary.

In order boot u-boot from the HSS, the u-boot-dtb.bin needs to be packaged as an HSS payload using the hss-payload-generator tool but first a payload configuration yaml file needs to be created:

#
# HSS Payload Generator - U-Boot Payload
#

set-name: 'PolarFire-SoC-HSS::U-Boot'

hart-entry-points: {u54_1: '0x1000200000', u54_2: '0x1000200000', u54_3: '0x1000200000', u54_4: '0x1000200000'}

payloads:
  u-boot.bin: {exec-addr: '0x1000200000', owner-hart: u54_1, secondary-hart: u54_2, secondary-hart: u54_3, secondary-hart: u54_4, priv-mode: prv_s }

The payload can then be generated using this yaml file.

./hss-payload-generator -c u-boot.yaml uboot-payload.bin

This generates a uboot-payload.bin binary.

Booting via SD card

Prepare the SD card

sudo sgdisk -Zo --new=1:2048:2099199 --typecode=1:0700 \
     --new=2:2099200:4196351 --typecode=2:EF02 /dev/sdX
sudo dd if=images/uboot-payload.bin of=/dev/sdX2
sudo mkfs.vfat -F16 /dev/sdX1
sudo mount /dev/sdX1 /mnt
sudo cp images/seL4-uImage /mnt
sudo cp images/kernel.dtb /mnt

Insert the SD card into the Icicle Kit then power on the board, and drop into the u-boot prompt. When you're at the prompt, type the following:

fatload mmc 0 0x1000200000 seL4-uImage
fatload mmc 0 0x1020200000 kernel.dtb
bootm 0x1000200000 - 0x1020200000