> What do you think? I want to clearly separate the bootloader configuration file stuff from the bootloader stuff. I think that we shouldn't have to even specify a bootloader tag at all (it defaults to #f).
We can have a default bootloader entry printer that just prints all the important information for making it a gc root and that would be the default for qemu when we are not using full-boot? Then we can have a bootloader entry printer for grub.cfg and extlinux.conf and a default that does the absolute minimum.
