On 9/10/24 22:33, Vagrant Cascadian wrote:
On 2024-08-27, Heinrich Schuchardt wrote:As a first step let us add a 32bit OpenSBI to our opensbi package as /usr/lib/riscv32-linux-gnu/opensbi/generic/fw_*. Debian's riscv64-linux-gnu-gcc can build the 32bit OpenSBI when setting PLATFORM_RISCV_XLEN=32.
This is how qemu builds it (also adding PLATFORM=generic), - both upstream and in debian. /mjt