Well I think I have it working. I’m not going to claim that I totally understand it.
So this is my first system install and I had a lot of trouble in the beginning because the HP Z440 does this really cool thing where it doesn’t persist efi entries. So I found that I had to have my boot partition laid out in the default place that the UEFI firmware looks. I have /dev/sda1 mounted to /boot and then I have /boot/EFI/BOOT/bootx64.efi.
I had a couple issues:
- My bootloader field in my operation-system record was pointing to the wrong place.
- I added this
extra-special-filesservice:
(extra-special-file "boot/EFI/Boot/bootx64.efi"
"/boot/EFI/guix/grubx64.efi")
I’m not sure if that works or not, I think my biggest issue was the bootloader target misconfiguration.
Now after reboots, the generation persists and I can successfully write the subuid/subgid files.
Thanks for your help!