-
Notifications
You must be signed in to change notification settings - Fork 38
Open
Labels
enhancementNew feature or requestNew feature or request
Description
Theo de Raadt from OpenBSD contacted me:
The uboot configuration has this:
scan_dev_for_efi=if test -e ${devtype} ${devnum}:${distro_bootpart} efi/fedora/bootriscv64.efi; then echo Found EFI removable media binary efi/fedora/bootriscv64.efi; run scan_dev_for_dtb; echo EFI LOAD FAILED: continuing...; fi; setenv efi_fdtfile
Putting /fedora/ in the path like that makes these machines only able to boot
one specific brand of Linux.I suspect that path should be efi/boot/bootriscv64.efi
So that other operating systems stand a chance of running on this.
Metadata
Metadata
Assignees
Labels
enhancementNew feature or requestNew feature or request