[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH 2/2] scripts: system: Rename --no-grub option to --no-bootloa
Re: [PATCH 2/2] scripts: system: Rename --no-grub option to --no-bootloader.
Wed, 11 Jan 2017 09:23:18 +0100
> 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.