[Top][All Lists]

[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

From: David Craven
Subject: Re: [PATCH 2/2] scripts: system: Rename --no-grub option to --no-bootloader.
Date: 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.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]