# 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=""
# https://ivanvojtko.blogspot.co.at/2016/04/how-to-get-longer-battery-life-on-linux.html
GRUB_CMDLINE_LINUX_DEFAULT="acpi_osi=Linux nmi_watchdog=0 i915.i915_enable_rc6=1 i915.i915_enable_fbc=1"
GRUB_DEFAULT=0
GRUB_DISTRIBUTOR="Fabian Peter Hammerle <fabian@hammerle.me>"
GRUB_HIDDEN_TIMEOUT=0
GRUB_TIMEOUT=10