# 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 hence `u-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.