Microchip PolarFire SoC Icicle Kit (microchip-icicle-kit
)
Microchip PolarFire SoC Icicle Kit integrates a PolarFire SoC, with one SiFive’s E51 plus four U54 cores and many on-chip peripherals and an FPGA.
For more details about Microchip PolarFire SoC, please see: https://www.microchip.com/en-us/products/fpgas-and-plds/system-on-chip-fpgas/polarfire-soc-fpgas
The Icicle Kit board information can be found here: https://www.microchip.com/en-us/development-tool/mpfs-icicle-kit-es
Supported devices
The microchip-icicle-kit
machine supports the following devices:
1 E51 core
4 U54 cores
Core Level Interruptor (CLINT)
Platform-Level Interrupt Controller (PLIC)
L2 Loosely Integrated Memory (L2-LIM)
DDR memory controller
5 MMUARTs
1 DMA controller
2 GEM Ethernet controllers
1 SDHC storage controller
The memory is set to 1537 MiB by default. A sanity check on RAM size is performed in the machine init routine to prompt user to increase the RAM size to > 1537 MiB when less than 1537 MiB RAM is detected.
Boot options
The microchip-icicle-kit
machine provides some options to run a firmware
(BIOS) or a kernel image. QEMU follows below truth table to select the
firmware:
-bios |
-kernel |
firmware |
---|---|---|
none |
N |
this is an error |
none |
Y |
the kernel image |
NULL, default |
N |
hss.bin |
NULL, default |
Y |
opensbi-riscv64-generic-fw_dynamic.bin |
other |
don’t care |
the BIOS image |
Direct Kernel Boot
Use the -kernel
option to directly run a kernel image. When a direct
kernel boot is requested, a device tree blob may be specified via the -dtb
option. Unlike other QEMU machines, this machine does not generate a device
tree for the kernel. It shall be provided by the user. The user provided DTB
should meet the following requirements:
The
/cpus
node should contain at least one subnode for E51 and the number of subnodes should match QEMU’s-smp
option.The
/memory
reg size should match QEMU’s selected RAM size via the-m
option.It should contain a node for the CLINT device with a compatible string “riscv,clint0”.
When -bios
is not specified or set to default
, the OpenSBI
fw_dynamic
BIOS image for the generic
platform is used to boot an
S-mode payload like U-Boot or OS kernel directly.
For example, the following commands show building a U-Boot image from U-Boot mainline v2021.07 for the Microchip Icicle Kit board:
$ export CROSS_COMPILE=riscv64-linux-
$ make microchip_mpfs_icicle_defconfig
Then we can boot the machine by:
$ qemu-system-riscv64 -M microchip-icicle-kit -smp 5 -m 2G \
-sd path/to/sdcard.img \
-nic user,model=cadence_gem \
-nic tap,ifname=tap,model=cadence_gem,script=no \
-display none -serial stdio \
-kernel path/to/u-boot/build/dir/u-boot.bin \
-dtb path/to/u-boot/build/dir/u-boot.dtb
CAVEATS:
Check the “stdout-path” property in the /chosen node in the DTB to determine which serial port is used for the serial console, e.g.: if the console is set to the second serial port, change to use “-serial null -serial stdio”.
The default U-Boot configuration uses CONFIG_OF_SEPARATE hence the ELF image
u-boot
cannot be passed to “-kernel” as it does not contain the DTB henceu-boot.bin
has to be used which does contain one. To use the ELF image, we need to change to CONFIG_OF_EMBED or CONFIG_OF_PRIOR_STAGE.
Running HSS
The machine microchip-icicle-kit
used to run the Hart Software Services
(HSS), however, the HSS development progressed and the QEMU machine
implementation lacks behind. Currently, running the HSS no longer works.
There is missing support in the clock and memory controller devices. In
particular, reading from the SD card does not work.