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

### BEGIN /etc/grub.d/00_header ###	
if [ -s $prefix/grubenv ]; then
  load_env
fi

if [ "${next_entry}" ] ; then
   set default="${next_entry}"
   set next_entry=
   save_env next_entry
   set boot_once=true
else
   set default="0"
fi

if [ x"${feature_menuentry_id}" = xy ]; then
  menuentry_id_option="--id"
else
  menuentry_id_option=""
fi

export menuentry_id_option

if [ "${prev_saved_entry}" ]; then
  set saved_entry="${prev_saved_entry}"
  save_env saved_entry
  set prev_saved_entry=
  save_env prev_saved_entry
  set boot_once=true
fi

function savedefault {
  if [ -z "${boot_once}" ]; then
    saved_entry="${chosen}"
    save_env saved_entry
  fi
}

function load_video {
  if [ x$feature_all_video_module = xy ]; then
    insmod all_video
  else
    insmod efi_gop
    insmod efi_uga
    insmod ieee1275_fb
    insmod vbe
    insmod vga
    insmod video_bochs
    insmod video_cirrus
  fi
}

if [ -z "$bgloaded" ]; then
	if [ -z "${font}" ]; then
		if [ -e ${prefix}/fonts/fonts.cfg ]; then source ${prefix}/fonts/fonts.cfg; else font=unicode-small; fi
	fi
	if loadfont $font ; then
		export font
		#set gfxmode=1024x768x32,1024x768x24,1024x768x16,1024x768,auto
		#set gfxpayload=keep
		load_video
		insmod gfxterm
		terminal_output gfxterm
		if [ -z "${bg}" ]; then
			if [ -e ${prefix}/background.cfg ]; then source ${prefix}/background.cfg;
			else
				bg="splash.png"
				export bg
				save_env bg
			fi
		else export bg; fi
		insmod png
		insmod jpeg
		background_image -m stretch "${prefix}/themes/${bg}"
		set bgloaded="ok"
		export bgloaded
	fi
fi
if [ x$feature_timeout_style = xy ] ; then
  set timeout_style=menu
  set timeout=15
# Fallback normal timeout code in case the timeout_style feature is
# unavailable.
else
  set timeout=15
fi

if [ "${grub_platform}" == "efi" ]; then
	set efi=1
	export efi
	if [ "${grub_cpu}" == "x86_64" ]; then
		set _SPEC_UEFI_ARCH="x64"
	else
		set _SPEC_UEFI_ARCH="ia32"
	fi
fi
if [ "${grub_platform}" == "pc" ]; then
	set pc=1
	set memdisk="(${root})/AIO/Tools/memdisk"
	export pc
	export memdisk
fi

if cpuid -l; then
	set _SPEC_ARCH="64"
	set _SPEC_ARCH_BIT="64-bit"
else
	set _SPEC_ARCH="32"
	set _SPEC_ARCH_BIT="32-bit"
fi
set menudir="(${root})/AIO/Menu"

export _SPEC_ARCH
export _SPEC_UEFI_ARCH
export _SPEC_ARCH_BIT
export menudir

probe -l -s rootlabel $root
probe -u -s rootuuid $root
probe -p -s scheme $root
probe -f -s fs $root
export rootlabel
export rootuuid
export scheme
export fs

if [ "${fs}" == "iso9660" ]; then set cd=1; export cd; fi

if [ -e ${prefix}/Password.cfg ]; then
	source ${prefix}/Password.cfg
fi
source ${prefix}/locale/Lang.cfg
source ${prefix}/Functions.cfg
source ${prefix}/Main.cfg

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

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

### 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/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  ${config_directory}/custom.cfg ]; then
#  source ${config_directory}/custom.cfg
#elif [ -z "${config_directory}" -a -f  $prefix/custom.cfg ]; then
#  source $prefix/custom.cfg;
#fi
### END /etc/grub.d/41_custom ###
