#
# DO NOT EDIT THIS FILE
#
# It is automatically generated by grub-mkconfig using templates
# from /etc/grub.d and settings from /etc/default/grub
#

### BEGIN /etc/grub.d/00_header ###
set default="0"
set timeout=5
menuentry_id_option="--id"

export menuentry_id_option
### END /etc/grub.d/00_header ###

### BEGIN /etc/grub.d/05_debian_theme ###
set menu_color_normal=cyan/blue
set menu_color_highlight=white/blue
### END /etc/grub.d/05_debian_theme ###

### BEGIN /etc/grub.d/10_linux ###
menuentry 'Debian GNU/Linux' --class debian --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-simple' {
        insmod gzio
        insmod part_gpt
        insmod ext2
        set root=(hd0,gpt9)
        echo    'Loading Linux KERNEL_VERSION ...'
        linux   /boot/vmlinuz-KERNEL_VERSION root=/dev/mmcblk0p9 rw efi=noruntime quiet
        echo    'Loading initial ramdisk ...'
        initrd  /boot/initrd.img-KERNEL_VERSION
        echo    'Loading devicetree ...'
        devicetree /boot/hi6220-hikey.dtb-KERNEL_VERSION
}
submenu 'Advanced options for Debian GNU/Linux' $menuentry_id_option 'gnulinux-advanced' {
        menuentry 'Debian GNU/Linux, with Linux KERNEL_VERSION' --class debian --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-KERNEL_VERSION-advanced' {
                insmod gzio
                insmod part_gpt
                insmod ext2
                set root=(hd0,gpt9)
                echo    'Loading Linux KERNEL_VERSION ...'
                linux   /boot/vmlinuz-KERNEL_VERSION root=/dev/mmcblk0p9 rw efi=noruntime quiet
                echo    'Loading initial ramdisk ...'
                initrd  /boot/initrd.img-KERNEL_VERSION
                echo    'Loading devicetree ...'
                devicetree /boot/hi6220-hikey.dtb-KERNEL_VERSION
        }
        menuentry 'Debian GNU/Linux, with Linux KERNEL_VERSION (recovery mode)' --class debian --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-KERNEL_VERSION-recovery' {
                insmod gzio
                insmod part_gpt
                insmod ext2
                set root=(hd0,gpt9)
                echo    'Loading Linux KERNEL_VERSION ...'
                linux   /boot/vmlinuz-KERNEL_VERSION root=/dev/mmcblk0p9 rw efi=noruntime single
                echo    'Loading initial ramdisk ...'
                initrd  /boot/initrd.img-KERNEL_VERSION
                echo    'Loading devicetree ...'
                devicetree /boot/hi6220-hikey.dtb-KERNEL_VERSION
        }
}

### END /etc/grub.d/10_linux ###

### BEGIN /etc/grub.d/20_linux_xen ###

### END /etc/grub.d/20_linux_xen ###

### BEGIN /etc/grub.d/30_os-prober ###
### END /etc/grub.d/30_os-prober ###

### BEGIN /etc/grub.d/30_uefi-firmware ###
### END /etc/grub.d/30_uefi-firmware ###

### BEGIN /etc/grub.d/40_custom ###
# This file provides an easy way to add custom menu entries.  Simply type the
# menu entries you want to add after this comment.  Be careful not to change
# the 'exec tail' line above.
### END /etc/grub.d/40_custom ###

### BEGIN /etc/grub.d/41_custom ###
if [ -f $prefix/custom.cfg ]; then
  source $prefix/custom.cfg;
fi
### END /etc/grub.d/41_custom ###
