Custom kernel options/parameters not used

User Support
5

I managed to get it working.
Here’s how to change the kernel parameters on a UEFI install (everything in a dom0 terminal):

  1. Modify /etc/default/grub however you want
  2. sudo grub2-mkconfig -o /boot/efi/EFI/qubes/grub.cfg
  3. sudo dracut -f
  4. Reboot

Your new kernel parameters should be applied. Run cat /proc/cmdline to verify.
Thanks to @bored for the hint!

2 Likes