manage /boot/grub/grub.cfg without installing grub binaries to disk

[Jack Hill]

Greetings,

This email records some thinking that we had on IRC today. raghavgururajan 
and I have use cases for a Guix-managed grub.cfg, but without Guix-managed 
grub boot binaries. This is to support booting a Guix system with an 
external grub, where there is no place for Guix to install grub. For 
raghavgururajan, this is because their whole disk is a luks encrypted 
volume and they are using libreboot's grub. For me, this is for using Grub 
on the Linode VPS provider that has an external grub and prefers disks 
that are raw filesystems without partition tables.

We came up with the idea to add an option to the bootloader part of an 
operating system definition to skip installing the book binaries. Thoughts 
this idea, what the configuration interface should be, or what the 
implementation should look like?

Best,
Jack