On Thu, Feb 20, 2020 at 6:43 AM Bin Meng <bmeng...@gmail.com> wrote: > > Update BIOS_FILENAME to consider 32-bit bios image file name. > > Tested booting Linux v5.5 32-bit image (built from rv32_defconfig > plus CONFIG_SOC_SIFIVE) with the default 32-bit bios image.
Do we really want to support a 32-bit sifive_u machine? Alistair > > Signed-off-by: Bin Meng <bmeng...@gmail.com> > --- > > hw/riscv/sifive_u.c | 6 +++++- > 1 file changed, 5 insertions(+), 1 deletion(-) > > diff --git a/hw/riscv/sifive_u.c b/hw/riscv/sifive_u.c > index ca561d3..371133e 100644 > --- a/hw/riscv/sifive_u.c > +++ b/hw/riscv/sifive_u.c > @@ -57,7 +57,11 @@ > > #include <libfdt.h> > > -#define BIOS_FILENAME "opensbi-riscv64-sifive_u-fw_jump.bin" > +#if defined(TARGET_RISCV32) > +# define BIOS_FILENAME "opensbi-riscv32-sifive_u-fw_jump.bin" > +#else > +# define BIOS_FILENAME "opensbi-riscv64-sifive_u-fw_jump.bin" > +#endif > > static const struct MemmapEntry { > hwaddr base; > -- > 2.7.4 > >