On Wed, Mar 25, 2015, at 09:49 AM, Charles Arnold wrote: > These options are used in /etc/grub.d/20_linux_xen. Setting these in > /etc/default/grub > and running 'grub2-mkconfig -o /boot/grub2/grub.cfg' should give you what you > want.
That was't exactly the question. Or the last question anyway. Separate options for the -default & -xen kernel lines ARE set with the *_REPLACE I found above. For example setting GRUB_CMDLINE_LINUX_DEFAULT=" ... clocksource=acpi_pm divider=10 ..." GRUB_CMDLINE_LINUX_XEN_REPLACE_DEFAULT="... clocksource=xen ..." enables the two instances to have different clocksources. Other options can be added & changed similarly. IIUC the GRUB_CMDLINE_LINUX_XEN_REPLACE GRUB_CMDLINE_LINUX_XEN_REPLACE_DEFAULT are not added or mentioned to the out-of-the-box grub2-generated config. You have to know & add them. LT -- To unsubscribe, e-mail: [email protected] To contact the owner, e-mail: [email protected]
