2017-06-13 01:36:12 +02:00
|
|
|
# make sure to use /dev/mapper/dmroot, not /dev/xvda directly - both have the
|
|
|
|
# same fs, including UUID
|
|
|
|
GRUB_DISABLE_LINUX_UUID=true
|
|
|
|
GRUB_DISABLE_OS_PROBER=true
|
2017-06-13 01:36:12 +02:00
|
|
|
GRUB_CMDLINE_LINUX="$GRUB_CMDLINE_LINUX root=/dev/mapper/dmroot console=hvc0"
|
|
|
|
# make SWIOTLB smaller - it isn't really needed unless PCI passthrough is used,
|
|
|
|
# and even then, 16MB is enough
|
|
|
|
GRUB_CMDLINE_LINUX="$GRUB_CMDLINE_LINUX swiotlb=8192"
|
|
|
|
GRUB_TIMEOUT=0
|