Testing u-boot-microchip_2022.10+dfsg-1ubuntu1.23.04.1_riscv64.deb on Microchip PolarFire Icicle Kit:
The build information "U-Boot 2022.10+dfsg-1ubuntu1.23.04.1 (Jul 20 2023 - 09:21:39 +0000)" is displayed.
The sbi command shows: OpenSBI 1.0 (OpenSBI is not supplied by the Ubuntu package but by the HSS firmware).
Reboot from U-Boot works.
Reboot from Linux works.
Testing u-boot-microchip_2022.01+dfsg-2ubuntu2.4_riscv64.deb:
The build information "U-Boot 2022.01+dfsg-2ubuntu2.4 (Jul 20 2023 - 09:42:59 +0000)" is displayed.
The sbi command shows: OpenSBI 1.0 (OpenSBI is not supplied by the Ubuntu package but by the HSS firmware).
Reboot from U-Boot works.
Reboot from Linux works.
Testing u-boot- microchip_ 2022.10+ dfsg-1ubuntu1. 23.04.1_ riscv64. deb on Microchip PolarFire Icicle Kit: dfsg-1ubuntu1. 23.04.1 (Jul 20 2023 - 09:21:39 +0000)" is displayed.
The build information "U-Boot 2022.10+
The sbi command shows: OpenSBI 1.0 (OpenSBI is not supplied by the Ubuntu package but by the HSS firmware).
Reboot from U-Boot works.
Reboot from Linux works.
Testing u-boot- microchip_ 2022.01+ dfsg-2ubuntu2. 4_riscv64. deb: dfsg-2ubuntu2. 4 (Jul 20 2023 - 09:42:59 +0000)" is displayed.
The build information "U-Boot 2022.01+
The sbi command shows: OpenSBI 1.0 (OpenSBI is not supplied by the Ubuntu package but by the HSS firmware).
Reboot from U-Boot works.
Reboot from Linux works.