On Sun, Jan 23, 2022 at 06:56:37PM +0100, Maxime Devos wrote:

> Make sure the computer's boot process is configured to the correct mode
> -- UEFI or BIOS (sometimes called ‘Legacy mode’).  Which of the two
> you want depend on what exactly you are doing.
 
BIOS doesn't have a legacy mode option that I could see (motherboard MSI
MPG z490 gaming plus). So for this system I am stuck with uefi (I think)

> What dou you mean with ‘doesn't get recognised by the bios on boot’ --
> what exactly does the boot process say?
 
> About ‘grub-efi wouldn't get installed’ -- this is rather vague, do you
> have some kind of error message or something?

After installing guix when it tells me to reboot, the next boot will
simply not boot. There is no error within guix or any indication of a
problem.

Even now when running `guix system reconfigure /etc/config.scm`

the output says:

```
building /gnu/store/gh6k581m0qddzrc601rj49j0v3fyim5x-install-bootloader.scm.drv...
guix system: bootloader successfully installed on '/boot/efi'
The following derivation will be built:
   /gnu/store/siwn6q6kyxacjz1wdkwd8lm6w18606g8-upgrade-shepherd-services.scm.drv
...
```

But the system still boots with debian's grub first which then I can
chain to guix's grub. I'd expect guix to override the boot or at least
to see the option in the bios

> Also, it would be useful to see the actual system configuration
> (the (operating-system [...])).
> 
> Greetings,
> Maxime.
>