Quote:
Originally Posted by Head_on_a_Stick
I think the 32-bit loader is supposed to be called bootia32.efi (at least according to the UEFI standard).
|
Corrected - Thanks
Quote:
Originally Posted by Head_on_a_Stick
I've never needed to manually load GRUB modules. YMMV.
|
In part, I'm compulsive and want to make sure they get loaded. In the context of a guide, I also lean towards showing what is going on under the hood.