Marius Bakke <mba...@fastmail.com> writes:
> Ricardo: Can you post the output of `find /sys/firmware/efi -maxdepth 1`
> on the affected machine? With luck, we'll find a variable that is only
> present on "real" EFI.
> Can you also post the contents of '/sys/firmware/efi/runtime'?
Now that I have GuixSD installed on that machine I don’t have
/sys/firmware/efi at all. /sys/firmware contains “acpi”, “dmi”, and
The problem occurred when I tried to install GuixSD (after booting from
a GuixSD installer USB drive), not when reconfiguring. I don’t have a
USB drive with me at the moment, so I cannot check the contents of
/sys/firmware in the installer GuixSD now.
GPG: BCA6 89B6 3655 3801 C3C6 2150 197A 5888 235F ACAC