| 1234567891011 |
- # 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
|