Hello,
Martin Castillo <casti...@uni-bremen.de> skribis:
> I realised a third option for dualbooting:
> menuentry "GuixSD - grub core.img loader" {
> search --set root --label guix-root --hint hd0,gpt3
> multiboot /boot/grub/i386-pc/core.img
> }
Indeed, that should always work.
Note that if all you want is dual-boot, this should already be possible
by defining new menu entries in the GuixSD config:
https://www.gnu.org/software/guix/manual/html_node/Bootloader-Configuration.html#index-dual-boot
HTH,
Ludo’.
