Re: [PATCH 4/5] riscv/spike: Change the default bios to use generic platform image

2020-05-04 Thread Alistair Francis
On Fri, May 1, 2020 at 8:51 AM Bin Meng wrote: > > From: Bin Meng > > To keep sync with other RISC-V machines, change the default bios > to use generic platform image. > > While we are here, add some comments to mention that keeping ELF > files here was intentional. > > Signed-off-by: Bin Meng

Re: [PATCH 4/5] riscv/spike: Change the default bios to use generic platform image

2020-05-02 Thread Anup Patel
On Fri, May 1, 2020 at 9:25 PM Bin Meng wrote: > > From: Bin Meng > > To keep sync with other RISC-V machines, change the default bios > to use generic platform image. > > While we are here, add some comments to mention that keeping ELF > files here was intentional. > > Signed-off-by: Bin Meng

[PATCH 4/5] riscv/spike: Change the default bios to use generic platform image

2020-05-01 Thread Bin Meng
From: Bin Meng To keep sync with other RISC-V machines, change the default bios to use generic platform image. While we are here, add some comments to mention that keeping ELF files here was intentional. Signed-off-by: Bin Meng --- hw/riscv/spike.c | 9 +++-- 1 file changed, 7