Dear Linux folks,
I migrated a 32-bit GNU/Linux installation from BIOS to EFI. Trying to edit the entries in UEFI’s Boot Manager with `efibootmgr`, I got the error:
EFI variables are not supported on this system
`sudo modprobe efivarfs` fails with
No such device
After several tries, I found
[ 0.000000] efi: No EFI runtime due to 32/64-bit mismatch with kernel
logged by Linux, and then I found the Stack Overflow thread *How could 32bit kernel read efivars from 64bit UEFI?* [1].
I would have thought, setting EFI variables is just directly writing to some storage. But probably not.
Could the error message for the efivarfs load failure be improved, that *device* means the runtime service (if I am not mistaken)?
Kind regards,
Paul
[1]: https://stackoverflow.com/questions/46610442/how-could-32bit-kernel-read-efivars-from-64bit-uefi