OpenSBI currently supports the following virtual and hardware platforms:
QEMU RISC-V Virt Machine: Platform support for the QEMU virt virtual RISC-V machine. This virtual machine is intended for RISC-V software development and tests. More details on this platform can be found in the file qemu_virt.md.
SiFive FU540 SoC: Platform support for SiFive FU540 SoC used on the HiFive Unleashed board, as well as the sifive_u QEMU virtual RISC-V machine. More details on this platform can be found in the file sifive_fu540.md.
Kendryte K210 SoC: Platform support for the Kendryte K210 SoC used on boards such as the Kendryte KD233 or the Sipeed MAIX Dock.
Ariane FPGA SoC: Platform support for the Ariane FPGA SoC used on Genesys 2 board.
Andes AE350 SoC: Platform support for the Andes's SoC (AE350).
T-HEAD C910: Platform support for the T-HEAD C910 Processor.
Spike: Platform support for the Spike emulator.
OpenPiton FPGA SoC: Platform support OpenPiton research platform based on ariane core.
The code for these supported platforms can be used as example to implement support for other platforms. The platform/template directory also provides template files for implementing support for a new platform. The object.mk, config.mk and platform.c template files provides enough comments to facilitate the implementation.