On Fri, Dec 25, 2020 at 7:17 PM Walter Dnes <[email protected]> wrote: >
> Thanks for the pointers. Are there any changes I have to make in my > linux kernel to boot UEFI? Note; legacy BIOS boot is *NOT* an option > on my new Dell XPS8940. It's UEFI boot only. > I'm not sure that it is really necessary for refind, but it doesn't hurt: Processor type and features -> EFI runtime service support " -> EFI stub support Jorge

