fdd1bda4b4
If the user hasn't specified a firmware to load (with -bios) or specified no bios (with -bios none) then load OpenSBI by default. This allows users to boot a RISC-V kernel with just -kernel. Signed-off-by: Alistair Francis <alistair.francis@wdc.com> Reviewed-by: Bin Meng <bmeng.cn@gmail.com> Tested-by: Bin Meng <bmeng.cn@gmail.com> Reviewed-by: Guenter Roeck <linux@roeck-us.net> Tested-by: Guenter Roeck <linux@roeck-us.net> Signed-off-by: Palmer Dabbelt <palmer@sifive.com> |
||
---|---|---|
.. | ||
boot.h | ||
riscv_hart.h | ||
riscv_htif.h | ||
sifive_clint.h | ||
sifive_e.h | ||
sifive_gpio.h | ||
sifive_plic.h | ||
sifive_prci.h | ||
sifive_test.h | ||
sifive_u.h | ||
sifive_uart.h | ||
spike.h | ||
virt.h |