Hi! I noticed that ‘guix system disk-image’ installs GRUB with its debug files, which doubles the size for GRUB inside the image.
There is gnu/bootloader/grub.scm (install-grub), which does a simple (copy-recursively (string-append bootloader "/lib/") install-dir) This also copies gdb_grub, gmodule.pl and all *.module files, in total about 200 files. These *.module file are basically unstriped versions of the *.mod files. The (install-grub) function should prevent to install these files, or – possibly better – the grub package could move these files into a separate debug output. Bye Stefan