On Fri, Feb 21, 2020 at 6:53 PM Bin Meng <bmeng...@gmail.com> wrote: > > On Sat, Feb 22, 2020 at 3:51 AM Alistair Francis <alistai...@gmail.com> wrote: > > > > 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? > > > > QEMU is an emulator, why not? With 32-bit sifive_u machine, we can > have 32-bit test coverage for SiFive specific drivers that cannot be > done with the 'virt' machine.
That is a good point. Reviewed-by: Alistair Francis <alistair.fran...@wdc.com> Alistair > > Regards, > Bin