Re: [grub2]How to add kernel boot options (e.g. nohz=off) ???
'Those who are willing to sacrifice essential liberties for temporary security deserve neither liberty nor security.' - Benjamin Franklin
Registered Linux User#407002 / Registered Ubuntu User#1806