The QEMU source comes with bundled OpenSBI binaries ./pc-bios/opensbi- riscv*-generic-fw_dynamic.*
docs/system/riscv/virt.rst describes booting in S-mode without the -bios option only using -kernel. To my understanding the bundled OpenSBI binaries are used. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1904802 Title: please provide firmware file for riscv64 To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/opensbi/+bug/1904802/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
