# 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_DEFAULT=0
GRUB_HIDDEN_TIMEOUT=0
GRUB_HIDDEN_TIMEOUT_QUIET=trueGRUB_TIMEOUT=10
GRUB_DISTRIBUTOR=`lsb_release -i -s 2> /dev/null ||echo Debian`GRUB_CMDLINE_LINUX_DEFAULT="quiet splash tpm_tis.force=1"GRUB_CMDLINE_LINUX="mem=1536m"