Dear Guix, I ran: $ guix system reconfigure /etc/config.scm
Which succeeded. Then rebooted, to find that my computer wouldn't boot anymore due to a missing EFI entry. So I created a new entry from a LiveUSB using “efibootmgr” to boot into GuixSD again. Is this a known problem, and will it happen again when I reconfigure the system? Kind regards, Roel Janssen
