shell-things/etc/default/grub.d/nosmt.cfg
2019-09-06 01:17:32 +03:00

2 lines
69 B
INI

GRUB_CMDLINE_LINUX_DEFAULT="$GRUB_CMDLINE_LINUX_DEFAULT nosmt=force"