On Fri, Feb 21, 2020 at 6:53 PM Bin Meng wrote:
>
> On Sat, Feb 22, 2020 at 3:51 AM Alistair Francis wrote:
> >
> > On Thu, Feb 20, 2020 at 6:43 AM Bin Meng wrote:
> > >
> > > Update BIOS_FILENAME to consider 32-bit bios image file name.
> > >
> > > Tested booting Linux v5.5 32-bit image (built
On Sat, Feb 22, 2020 at 3:51 AM Alistair Francis wrote:
>
> On Thu, Feb 20, 2020 at 6:43 AM Bin Meng 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
On Thu, Feb 20, 2020 at 6:43 AM Bin Meng 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
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.
Signed-off-by: Bin Meng
---
hw/riscv/sifive_u.c | 6 +-
1 file changed, 5 insertions(+), 1