|
|
@@ -0,0 +1,11 @@
|
|
|
+# If you change this file, run 'update-grub' afterwards to update
|
|
|
+# /boot/grub/grub.cfg.
|
|
|
+# For full documentation of the options in this file, see:
|
|
|
+# info -f grub -n 'Simple configuration'
|
|
|
+
|
|
|
+GRUB_CMDLINE_LINUX=""
|
|
|
+GRUB_CMDLINE_LINUX_DEFAULT="acpi_osi=Linux nmi_watchdog=0"
|
|
|
+GRUB_DEFAULT=0
|
|
|
+GRUB_DISTRIBUTOR="Fabian Peter Hammerle <fabian@hammerle.me>"
|
|
|
+GRUB_HIDDEN_TIMEOUT=0
|
|
|
+GRUB_TIMEOUT=10
|
