efi dual boot issue

[kevinbanjo]

Hi everyone. I'm trying to install a dual boot with windows 10 btrfs root
GuixSD and I have a catch 22 I can't figure out how to resolve:

When I go to generate the system it says that grub-install didn't work (I
can't remember exactly why and I was in console mode so I couldn't
copy/paste the error but the gist of it was that it was because I booted in
bios mode).

I had to go into bios and disable my legacy boot and windows still boots
but I can't boot the GuixSD USB ISO.

It's an HP laptop and when I hit ESC during boot and select boot options it
walks me thru the EFI boot files and I picked both the boot files and it
just returns to the boot menu.

I also tried hard resetting my laptop (unplugging it, pulling out the
battery and holding the power button down for a while) plus booting windows
into recovery mode and letting it try and fix the boot (which probably only
did the windows one as that was the only one that showed up) and still
nothing.

How do I build an EFI boot if I can't boot GuixSD ISO as EFI?

TIA,
-Kevin