Tagged: grub2

Changing grub2 boot options on UEFI boot system On my workstation at home I have a dual boot with Red Hat Enterprise Linux 7.3 Workstation and...