Bug#796795: grub-pc-bin: Please use a bigger font

Samuel Thibault sthibault at debian.org
Mon Aug 24 16:00:40 UTC 2015


Package: grub-pc-bin
Version: 2.02~beta2-26
Severity: normal

Hello,

Screen DPI (at last!) gets bigger, and thus the font currently used by
grub becomes too small, making it very hard to read the boot menu. Grub
should probably use bigger fonts nowadays, or at least have two font
sets ready for loading and choose between them depending on the
graphical display width.

Samuel

-- Package-specific info:

*********************** BEGIN /proc/mounts
/dev/sda6 / ext4 rw,nodiratime,relatime,discard,errors=remount-ro,data=ordered 0 0
/dev/sda1 /mnt/dell vfat ro,relatime,fmask=0022,dmask=0022,codepage=437,iocharset=utf8,shortname=mixed,utf8,errors=remount-ro 0 0
/dev/sda9 /home ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/32/home ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /var/tmp ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/wheezy-32/home ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/32/home/wheezy-32/home ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /usr/src ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /var/cache/pbuilder ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/wheezy/home ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/32/home/wheezy/home ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/32/home/wheezy-32/home/wheezy/home ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/wheezy-32/home/wheezy/home ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda3 /mnt/win fuseblk rw,relatime,user_id=0,group_id=0,allow_other,blksize=4096 0 0
/dev/sda9 /home/wheezy-32/var/cache/pbuilder/result ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/32/home/wheezy-32/var/cache/pbuilder/result ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/32/home/wheezy-32/home/wheezy-32/var/cache/pbuilder/result ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/wheezy-32/home/wheezy-32/var/cache/pbuilder/result ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/32/home/wheezy/home/wheezy-32/var/cache/pbuilder/result ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/32/home/wheezy-32/home/wheezy/home/wheezy-32/var/cache/pbuilder/result ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/wheezy-32/home/wheezy/home/wheezy-32/var/cache/pbuilder/result ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/wheezy/home/wheezy-32/var/cache/pbuilder/result ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/32/var/cache/pbuilder/result ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/32/home/32/var/cache/pbuilder/result ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/32/home/wheezy-32/home/32/var/cache/pbuilder/result ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/wheezy-32/home/32/var/cache/pbuilder/result ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/32/home/wheezy/home/32/var/cache/pbuilder/result ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/32/home/wheezy-32/home/wheezy/home/32/var/cache/pbuilder/result ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/wheezy-32/home/wheezy/home/32/var/cache/pbuilder/result ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/wheezy/home/32/var/cache/pbuilder/result ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/wheezy/var/cache/pbuilder/result ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/32/home/wheezy/var/cache/pbuilder/result ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/32/home/wheezy-32/home/wheezy/var/cache/pbuilder/result ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/wheezy-32/home/wheezy/var/cache/pbuilder/result ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/32/home/wheezy/home/wheezy/var/cache/pbuilder/result ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/32/home/wheezy-32/home/wheezy/home/wheezy/var/cache/pbuilder/result ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/wheezy-32/home/wheezy/home/wheezy/var/cache/pbuilder/result ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/wheezy/home/wheezy/var/cache/pbuilder/result ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/32/usr/src ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/32/home/32/usr/src ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/32/home/wheezy-32/home/32/usr/src ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/wheezy-32/home/32/usr/src ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/32/home/wheezy/home/32/usr/src ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/32/home/wheezy-32/home/wheezy/home/32/usr/src ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/wheezy-32/home/wheezy/home/32/usr/src ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/wheezy/home/32/usr/src ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/wheezy-32/usr/src ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/32/home/wheezy-32/usr/src ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/32/home/wheezy-32/home/wheezy-32/usr/src ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/wheezy-32/home/wheezy-32/usr/src ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/32/home/wheezy/home/wheezy-32/usr/src ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/32/home/wheezy-32/home/wheezy/home/wheezy-32/usr/src ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/wheezy-32/home/wheezy/home/wheezy-32/usr/src ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/wheezy/home/wheezy-32/usr/src ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/wheezy/usr/src ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/32/home/wheezy/usr/src ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/32/home/wheezy-32/home/wheezy/usr/src ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/wheezy-32/home/wheezy/usr/src ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/32/home/wheezy/home/wheezy/usr/src ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/32/home/wheezy-32/home/wheezy/home/wheezy/usr/src ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/wheezy-32/home/wheezy/home/wheezy/usr/src ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/wheezy/home/wheezy/usr/src ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda8 /mnt/goinfre vfat rw,nosuid,nodev,noexec,noatime,uid=1000,gid=100,fmask=0002,dmask=0002,allow_utime=0020,codepage=437,iocharset=utf8,shortname=mixed,utf8,errors=remount-ro 0 0
*********************** END /proc/mounts

*********************** BEGIN /boot/grub/device.map
(hd0)	/dev/disk/by-id/ata-SAMSUNG_SSD_PM810_2.5__256GB_S0N4NEAB600755
*********************** END /boot/grub/device.map

*********************** BEGIN /boot/grub/grub.cfg
#
# 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 ###
if [ -s $prefix/grubenv ]; then
  set have_grubenv=true
  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 [ x$feature_default_font_path = xy ] ; then
   font=unicode
else
insmod part_msdos
insmod ext2
set root='hd0,msdos6'
if [ x$feature_platform_search_hint = xy ]; then
  search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos6 --hint-efi=hd0,msdos6 --hint-baremetal=ahci0,msdos6 --hint='hd0,msdos6'  38e6e493-2f5f-4a98-b1d6-a9434f0683cc
else
  search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
fi
    font="/usr/share/grub/unicode.pf2"
fi

if loadfont $font ; then
  set gfxmode=auto
  load_video
  insmod gfxterm
  set locale_dir=$prefix/locale
  set lang=fr_FR
  insmod gettext
fi
terminal_output gfxterm
if [ "${recordfail}" = 1 ] ; then
  set timeout=30
else
  if [ x$feature_timeout_style = xy ] ; then
    set timeout_style=menu
    set timeout=5
  # Fallback normal timeout code in case the timeout_style feature is
  # unavailable.
  else
    set timeout=5
  fi
fi
### END /etc/grub.d/00_header ###

### BEGIN /etc/grub.d/05_debian_theme ###
insmod part_msdos
insmod ext2
set root='hd0,msdos6'
if [ x$feature_platform_search_hint = xy ]; then
  search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos6 --hint-efi=hd0,msdos6 --hint-baremetal=ahci0,msdos6 --hint='hd0,msdos6'  38e6e493-2f5f-4a98-b1d6-a9434f0683cc
else
  search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
fi
insmod png
if background_image /usr/share/images/desktop-base/lines-grub-1920x1080.png; then
  set color_normal=white/black
  set color_highlight=black/white
else
  set menu_color_normal=cyan/blue
  set menu_color_highlight=white/blue
fi
### END /etc/grub.d/05_debian_theme ###

### BEGIN /etc/grub.d/10_linux ###
function gfxmode {
	set gfxpayload="${1}"
}
set linux_gfx_mode=
export linux_gfx_mode
menuentry 'Debian GNU/Linux' --class debian --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-simple-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
	load_video
	insmod gzio
	if [ x$grub_platform = xxen ]; then insmod xzio; insmod lzopio; fi
	insmod part_msdos
	insmod ext2
	set root='hd0,msdos6'
	if [ x$feature_platform_search_hint = xy ]; then
	  search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos6 --hint-efi=hd0,msdos6 --hint-baremetal=ahci0,msdos6 --hint='hd0,msdos6'  38e6e493-2f5f-4a98-b1d6-a9434f0683cc
	else
	  search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
	fi
	echo	'Chargement de Linux 4.1.0-1-amd64…'
	linux	/boot/vmlinuz-4.1.0-1-amd64 root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
	echo	'Chargement du disque mémoire initial…'
	initrd	/boot/initrd.img-4.1.0-1-amd64
}
submenu 'Options avancées pour Debian GNU/Linux' $menuentry_id_option 'gnulinux-advanced-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
	menuentry 'Debian GNU/Linux, avec Linux 4.1.0-1-amd64' --class debian --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-4.1.0-1-amd64-advanced-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
		load_video
		insmod gzio
		if [ x$grub_platform = xxen ]; then insmod xzio; insmod lzopio; fi
		insmod part_msdos
		insmod ext2
		set root='hd0,msdos6'
		if [ x$feature_platform_search_hint = xy ]; then
		  search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos6 --hint-efi=hd0,msdos6 --hint-baremetal=ahci0,msdos6 --hint='hd0,msdos6'  38e6e493-2f5f-4a98-b1d6-a9434f0683cc
		else
		  search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
		fi
		echo	'Chargement de Linux 4.1.0-1-amd64…'
		linux	/boot/vmlinuz-4.1.0-1-amd64 root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
		echo	'Chargement du disque mémoire initial…'
		initrd	/boot/initrd.img-4.1.0-1-amd64
	}
	menuentry 'Debian GNU/Linux, with Linux 4.1.0-1-amd64 (sysvinit)' --class debian --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-4.1.0-1-amd64-init-sysvinit-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
		load_video
		insmod gzio
		if [ x$grub_platform = xxen ]; then insmod xzio; insmod lzopio; fi
		insmod part_msdos
		insmod ext2
		set root='hd0,msdos6'
		if [ x$feature_platform_search_hint = xy ]; then
		  search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos6 --hint-efi=hd0,msdos6 --hint-baremetal=ahci0,msdos6 --hint='hd0,msdos6'  38e6e493-2f5f-4a98-b1d6-a9434f0683cc
		else
		  search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
		fi
		echo	'Chargement de Linux 4.1.0-1-amd64…'
		linux	/boot/vmlinuz-4.1.0-1-amd64 root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro   init=/lib/sysvinit/init
		echo	'Chargement du disque mémoire initial…'
		initrd	/boot/initrd.img-4.1.0-1-amd64
	}
	menuentry 'Debian GNU/Linux, with Linux 4.1.0-1-amd64 (recovery mode)' --class debian --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-4.1.0-1-amd64-recovery-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
		load_video
		insmod gzio
		if [ x$grub_platform = xxen ]; then insmod xzio; insmod lzopio; fi
		insmod part_msdos
		insmod ext2
		set root='hd0,msdos6'
		if [ x$feature_platform_search_hint = xy ]; then
		  search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos6 --hint-efi=hd0,msdos6 --hint-baremetal=ahci0,msdos6 --hint='hd0,msdos6'  38e6e493-2f5f-4a98-b1d6-a9434f0683cc
		else
		  search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
		fi
		echo	'Chargement de Linux 4.1.0-1-amd64…'
		linux	/boot/vmlinuz-4.1.0-1-amd64 root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
		echo	'Chargement du disque mémoire initial…'
		initrd	/boot/initrd.img-4.1.0-1-amd64
	}
	menuentry 'Debian GNU/Linux, avec Linux 4.1.0' --class debian --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-4.1.0-advanced-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
		load_video
		insmod gzio
		if [ x$grub_platform = xxen ]; then insmod xzio; insmod lzopio; fi
		insmod part_msdos
		insmod ext2
		set root='hd0,msdos6'
		if [ x$feature_platform_search_hint = xy ]; then
		  search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos6 --hint-efi=hd0,msdos6 --hint-baremetal=ahci0,msdos6 --hint='hd0,msdos6'  38e6e493-2f5f-4a98-b1d6-a9434f0683cc
		else
		  search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
		fi
		echo	'Chargement de Linux 4.1.0…'
		linux	/boot/vmlinuz-4.1.0 root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
		echo	'Chargement du disque mémoire initial…'
		initrd	/boot/initrd.img-4.1.0
	}
	menuentry 'Debian GNU/Linux, with Linux 4.1.0 (sysvinit)' --class debian --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-4.1.0-init-sysvinit-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
		load_video
		insmod gzio
		if [ x$grub_platform = xxen ]; then insmod xzio; insmod lzopio; fi
		insmod part_msdos
		insmod ext2
		set root='hd0,msdos6'
		if [ x$feature_platform_search_hint = xy ]; then
		  search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos6 --hint-efi=hd0,msdos6 --hint-baremetal=ahci0,msdos6 --hint='hd0,msdos6'  38e6e493-2f5f-4a98-b1d6-a9434f0683cc
		else
		  search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
		fi
		echo	'Chargement de Linux 4.1.0…'
		linux	/boot/vmlinuz-4.1.0 root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro   init=/lib/sysvinit/init
		echo	'Chargement du disque mémoire initial…'
		initrd	/boot/initrd.img-4.1.0
	}
	menuentry 'Debian GNU/Linux, with Linux 4.1.0 (recovery mode)' --class debian --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-4.1.0-recovery-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
		load_video
		insmod gzio
		if [ x$grub_platform = xxen ]; then insmod xzio; insmod lzopio; fi
		insmod part_msdos
		insmod ext2
		set root='hd0,msdos6'
		if [ x$feature_platform_search_hint = xy ]; then
		  search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos6 --hint-efi=hd0,msdos6 --hint-baremetal=ahci0,msdos6 --hint='hd0,msdos6'  38e6e493-2f5f-4a98-b1d6-a9434f0683cc
		else
		  search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
		fi
		echo	'Chargement de Linux 4.1.0…'
		linux	/boot/vmlinuz-4.1.0 root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
		echo	'Chargement du disque mémoire initial…'
		initrd	/boot/initrd.img-4.1.0
	}
}

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

### BEGIN /etc/grub.d/20_linux_xen ###
menuentry 'Debian GNU/Linux, avec hyperviseur Xen' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-simple-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
	insmod part_msdos
	insmod ext2
	set root='hd0,msdos6'
	if [ x$feature_platform_search_hint = xy ]; then
	  search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos6 --hint-efi=hd0,msdos6 --hint-baremetal=ahci0,msdos6 --hint='hd0,msdos6'  38e6e493-2f5f-4a98-b1d6-a9434f0683cc
	else
	  search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
	fi
	echo	'Chargement de Xen 4.4…'
        if [ "$grub_platform" = "pc" -o "$grub_platform" = "" ]; then
            xen_rm_opts=
        else
            xen_rm_opts="no-real-mode edd=off"
        fi
	multiboot	/boot/xen-4.4.gz placeholder   ${xen_rm_opts}
	echo	'Chargement de Linux 4.1.0-1-amd64…'
	module	/boot/vmlinuz-4.1.0-1-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
	echo	'Chargement du disque mémoire initial…'
	module	--nounzip   /boot/initrd.img-4.1.0-1-amd64
}
submenu 'Option avancée pour Debian GNU/Linux (avec hyperviseur Xen)' $menuentry_id_option 'gnulinux-advanced-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
	submenu 'Hyperviseur Xen, version 4.4' $menuentry_id_option 'xen-hypervisor-4.4-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
		menuentry 'Debian GNU/Linux, avec Xen 4.4 et Linux 4.1.0-1-amd64' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-4.1.0-1-amd64-advanced-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
			insmod part_msdos
			insmod ext2
			set root='hd0,msdos6'
			if [ x$feature_platform_search_hint = xy ]; then
			  search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos6 --hint-efi=hd0,msdos6 --hint-baremetal=ahci0,msdos6 --hint='hd0,msdos6'  38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			else
			  search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			fi
			echo	'Chargement de Xen 4.4…'
		        if [ "$grub_platform" = "pc" -o "$grub_platform" = "" ]; then
		            xen_rm_opts=
		        else
		            xen_rm_opts="no-real-mode edd=off"
		        fi
			multiboot	/boot/xen-4.4.gz placeholder   ${xen_rm_opts}
			echo	'Chargement de Linux 4.1.0-1-amd64…'
			module	/boot/vmlinuz-4.1.0-1-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	--nounzip   /boot/initrd.img-4.1.0-1-amd64
		}
		menuentry 'Debian GNU/Linux, with Xen 4.4 and Linux 4.1.0-1-amd64 (sysvinit)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-4.1.0-1-amd64-init-sysvinit-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
			insmod part_msdos
			insmod ext2
			set root='hd0,msdos6'
			if [ x$feature_platform_search_hint = xy ]; then
			  search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos6 --hint-efi=hd0,msdos6 --hint-baremetal=ahci0,msdos6 --hint='hd0,msdos6'  38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			else
			  search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			fi
			echo	'Chargement de Xen 4.4…'
		        if [ "$grub_platform" = "pc" -o "$grub_platform" = "" ]; then
		            xen_rm_opts=
		        else
		            xen_rm_opts="no-real-mode edd=off"
		        fi
			multiboot	/boot/xen-4.4.gz placeholder   ${xen_rm_opts}
			echo	'Chargement de Linux 4.1.0-1-amd64…'
			module	/boot/vmlinuz-4.1.0-1-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro   init=/lib/sysvinit/init
			echo	'Chargement du disque mémoire initial…'
			module	--nounzip   /boot/initrd.img-4.1.0-1-amd64
		}
		menuentry 'Debian GNU/Linux, with Xen 4.4 and Linux 4.1.0-1-amd64 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-4.1.0-1-amd64-recovery-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
			insmod part_msdos
			insmod ext2
			set root='hd0,msdos6'
			if [ x$feature_platform_search_hint = xy ]; then
			  search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos6 --hint-efi=hd0,msdos6 --hint-baremetal=ahci0,msdos6 --hint='hd0,msdos6'  38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			else
			  search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			fi
			echo	'Chargement de Xen 4.4…'
		        if [ "$grub_platform" = "pc" -o "$grub_platform" = "" ]; then
		            xen_rm_opts=
		        else
		            xen_rm_opts="no-real-mode edd=off"
		        fi
			multiboot	/boot/xen-4.4.gz placeholder  ${xen_rm_opts}
			echo	'Chargement de Linux 4.1.0-1-amd64…'
			module	/boot/vmlinuz-4.1.0-1-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	--nounzip   /boot/initrd.img-4.1.0-1-amd64
		}
		menuentry 'Debian GNU/Linux, avec Xen 4.4 et Linux 4.1.0' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-4.1.0-advanced-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
			insmod part_msdos
			insmod ext2
			set root='hd0,msdos6'
			if [ x$feature_platform_search_hint = xy ]; then
			  search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos6 --hint-efi=hd0,msdos6 --hint-baremetal=ahci0,msdos6 --hint='hd0,msdos6'  38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			else
			  search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			fi
			echo	'Chargement de Xen 4.4…'
		        if [ "$grub_platform" = "pc" -o "$grub_platform" = "" ]; then
		            xen_rm_opts=
		        else
		            xen_rm_opts="no-real-mode edd=off"
		        fi
			multiboot	/boot/xen-4.4.gz placeholder   ${xen_rm_opts}
			echo	'Chargement de Linux 4.1.0…'
			module	/boot/vmlinuz-4.1.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	--nounzip   /boot/initrd.img-4.1.0
		}
		menuentry 'Debian GNU/Linux, with Xen 4.4 and Linux 4.1.0 (sysvinit)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-4.1.0-init-sysvinit-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
			insmod part_msdos
			insmod ext2
			set root='hd0,msdos6'
			if [ x$feature_platform_search_hint = xy ]; then
			  search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos6 --hint-efi=hd0,msdos6 --hint-baremetal=ahci0,msdos6 --hint='hd0,msdos6'  38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			else
			  search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			fi
			echo	'Chargement de Xen 4.4…'
		        if [ "$grub_platform" = "pc" -o "$grub_platform" = "" ]; then
		            xen_rm_opts=
		        else
		            xen_rm_opts="no-real-mode edd=off"
		        fi
			multiboot	/boot/xen-4.4.gz placeholder   ${xen_rm_opts}
			echo	'Chargement de Linux 4.1.0…'
			module	/boot/vmlinuz-4.1.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro   init=/lib/sysvinit/init
			echo	'Chargement du disque mémoire initial…'
			module	--nounzip   /boot/initrd.img-4.1.0
		}
		menuentry 'Debian GNU/Linux, with Xen 4.4 and Linux 4.1.0 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-4.1.0-recovery-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
			insmod part_msdos
			insmod ext2
			set root='hd0,msdos6'
			if [ x$feature_platform_search_hint = xy ]; then
			  search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos6 --hint-efi=hd0,msdos6 --hint-baremetal=ahci0,msdos6 --hint='hd0,msdos6'  38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			else
			  search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			fi
			echo	'Chargement de Xen 4.4…'
		        if [ "$grub_platform" = "pc" -o "$grub_platform" = "" ]; then
		            xen_rm_opts=
		        else
		            xen_rm_opts="no-real-mode edd=off"
		        fi
			multiboot	/boot/xen-4.4.gz placeholder  ${xen_rm_opts}
			echo	'Chargement de Linux 4.1.0…'
			module	/boot/vmlinuz-4.1.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	--nounzip   /boot/initrd.img-4.1.0
		}
	}
	submenu 'Hyperviseur Xen, version 4.4-amd64' $menuentry_id_option 'xen-hypervisor-4.4-amd64-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
		menuentry 'Debian GNU/Linux, avec Xen 4.4-amd64 et Linux 4.1.0-1-amd64' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-4.1.0-1-amd64-advanced-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
			insmod part_msdos
			insmod ext2
			set root='hd0,msdos6'
			if [ x$feature_platform_search_hint = xy ]; then
			  search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos6 --hint-efi=hd0,msdos6 --hint-baremetal=ahci0,msdos6 --hint='hd0,msdos6'  38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			else
			  search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			fi
			echo	'Chargement de Xen 4.4-amd64…'
		        if [ "$grub_platform" = "pc" -o "$grub_platform" = "" ]; then
		            xen_rm_opts=
		        else
		            xen_rm_opts="no-real-mode edd=off"
		        fi
			multiboot	/boot/xen-4.4-amd64.gz placeholder   ${xen_rm_opts}
			echo	'Chargement de Linux 4.1.0-1-amd64…'
			module	/boot/vmlinuz-4.1.0-1-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	--nounzip   /boot/initrd.img-4.1.0-1-amd64
		}
		menuentry 'Debian GNU/Linux, with Xen 4.4-amd64 and Linux 4.1.0-1-amd64 (sysvinit)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-4.1.0-1-amd64-init-sysvinit-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
			insmod part_msdos
			insmod ext2
			set root='hd0,msdos6'
			if [ x$feature_platform_search_hint = xy ]; then
			  search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos6 --hint-efi=hd0,msdos6 --hint-baremetal=ahci0,msdos6 --hint='hd0,msdos6'  38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			else
			  search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			fi
			echo	'Chargement de Xen 4.4-amd64…'
		        if [ "$grub_platform" = "pc" -o "$grub_platform" = "" ]; then
		            xen_rm_opts=
		        else
		            xen_rm_opts="no-real-mode edd=off"
		        fi
			multiboot	/boot/xen-4.4-amd64.gz placeholder   ${xen_rm_opts}
			echo	'Chargement de Linux 4.1.0-1-amd64…'
			module	/boot/vmlinuz-4.1.0-1-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro   init=/lib/sysvinit/init
			echo	'Chargement du disque mémoire initial…'
			module	--nounzip   /boot/initrd.img-4.1.0-1-amd64
		}
		menuentry 'Debian GNU/Linux, with Xen 4.4-amd64 and Linux 4.1.0-1-amd64 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-4.1.0-1-amd64-recovery-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
			insmod part_msdos
			insmod ext2
			set root='hd0,msdos6'
			if [ x$feature_platform_search_hint = xy ]; then
			  search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos6 --hint-efi=hd0,msdos6 --hint-baremetal=ahci0,msdos6 --hint='hd0,msdos6'  38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			else
			  search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			fi
			echo	'Chargement de Xen 4.4-amd64…'
		        if [ "$grub_platform" = "pc" -o "$grub_platform" = "" ]; then
		            xen_rm_opts=
		        else
		            xen_rm_opts="no-real-mode edd=off"
		        fi
			multiboot	/boot/xen-4.4-amd64.gz placeholder  ${xen_rm_opts}
			echo	'Chargement de Linux 4.1.0-1-amd64…'
			module	/boot/vmlinuz-4.1.0-1-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	--nounzip   /boot/initrd.img-4.1.0-1-amd64
		}
		menuentry 'Debian GNU/Linux, avec Xen 4.4-amd64 et Linux 4.1.0' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-4.1.0-advanced-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
			insmod part_msdos
			insmod ext2
			set root='hd0,msdos6'
			if [ x$feature_platform_search_hint = xy ]; then
			  search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos6 --hint-efi=hd0,msdos6 --hint-baremetal=ahci0,msdos6 --hint='hd0,msdos6'  38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			else
			  search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			fi
			echo	'Chargement de Xen 4.4-amd64…'
		        if [ "$grub_platform" = "pc" -o "$grub_platform" = "" ]; then
		            xen_rm_opts=
		        else
		            xen_rm_opts="no-real-mode edd=off"
		        fi
			multiboot	/boot/xen-4.4-amd64.gz placeholder   ${xen_rm_opts}
			echo	'Chargement de Linux 4.1.0…'
			module	/boot/vmlinuz-4.1.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	--nounzip   /boot/initrd.img-4.1.0
		}
		menuentry 'Debian GNU/Linux, with Xen 4.4-amd64 and Linux 4.1.0 (sysvinit)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-4.1.0-init-sysvinit-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
			insmod part_msdos
			insmod ext2
			set root='hd0,msdos6'
			if [ x$feature_platform_search_hint = xy ]; then
			  search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos6 --hint-efi=hd0,msdos6 --hint-baremetal=ahci0,msdos6 --hint='hd0,msdos6'  38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			else
			  search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			fi
			echo	'Chargement de Xen 4.4-amd64…'
		        if [ "$grub_platform" = "pc" -o "$grub_platform" = "" ]; then
		            xen_rm_opts=
		        else
		            xen_rm_opts="no-real-mode edd=off"
		        fi
			multiboot	/boot/xen-4.4-amd64.gz placeholder   ${xen_rm_opts}
			echo	'Chargement de Linux 4.1.0…'
			module	/boot/vmlinuz-4.1.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro   init=/lib/sysvinit/init
			echo	'Chargement du disque mémoire initial…'
			module	--nounzip   /boot/initrd.img-4.1.0
		}
		menuentry 'Debian GNU/Linux, with Xen 4.4-amd64 and Linux 4.1.0 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-4.1.0-recovery-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
			insmod part_msdos
			insmod ext2
			set root='hd0,msdos6'
			if [ x$feature_platform_search_hint = xy ]; then
			  search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos6 --hint-efi=hd0,msdos6 --hint-baremetal=ahci0,msdos6 --hint='hd0,msdos6'  38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			else
			  search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			fi
			echo	'Chargement de Xen 4.4-amd64…'
		        if [ "$grub_platform" = "pc" -o "$grub_platform" = "" ]; then
		            xen_rm_opts=
		        else
		            xen_rm_opts="no-real-mode edd=off"
		        fi
			multiboot	/boot/xen-4.4-amd64.gz placeholder  ${xen_rm_opts}
			echo	'Chargement de Linux 4.1.0…'
			module	/boot/vmlinuz-4.1.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	--nounzip   /boot/initrd.img-4.1.0
		}
	}
	submenu 'Hyperviseur Xen, version 4.4-amd64.efi' $menuentry_id_option 'xen-hypervisor-4.4-amd64.efi-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
		menuentry 'Debian GNU/Linux, avec Xen 4.4-amd64.efi et Linux 4.1.0-1-amd64' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-4.1.0-1-amd64-advanced-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
			insmod part_msdos
			insmod ext2
			set root='hd0,msdos6'
			if [ x$feature_platform_search_hint = xy ]; then
			  search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos6 --hint-efi=hd0,msdos6 --hint-baremetal=ahci0,msdos6 --hint='hd0,msdos6'  38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			else
			  search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			fi
			echo	'Chargement de Xen 4.4-amd64.efi…'
		        if [ "$grub_platform" = "pc" -o "$grub_platform" = "" ]; then
		            xen_rm_opts=
		        else
		            xen_rm_opts="no-real-mode edd=off"
		        fi
			multiboot	/boot/xen-4.4-amd64.efi placeholder   ${xen_rm_opts}
			echo	'Chargement de Linux 4.1.0-1-amd64…'
			module	/boot/vmlinuz-4.1.0-1-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	--nounzip   /boot/initrd.img-4.1.0-1-amd64
		}
		menuentry 'Debian GNU/Linux, with Xen 4.4-amd64.efi and Linux 4.1.0-1-amd64 (sysvinit)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-4.1.0-1-amd64-init-sysvinit-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
			insmod part_msdos
			insmod ext2
			set root='hd0,msdos6'
			if [ x$feature_platform_search_hint = xy ]; then
			  search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos6 --hint-efi=hd0,msdos6 --hint-baremetal=ahci0,msdos6 --hint='hd0,msdos6'  38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			else
			  search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			fi
			echo	'Chargement de Xen 4.4-amd64.efi…'
		        if [ "$grub_platform" = "pc" -o "$grub_platform" = "" ]; then
		            xen_rm_opts=
		        else
		            xen_rm_opts="no-real-mode edd=off"
		        fi
			multiboot	/boot/xen-4.4-amd64.efi placeholder   ${xen_rm_opts}
			echo	'Chargement de Linux 4.1.0-1-amd64…'
			module	/boot/vmlinuz-4.1.0-1-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro   init=/lib/sysvinit/init
			echo	'Chargement du disque mémoire initial…'
			module	--nounzip   /boot/initrd.img-4.1.0-1-amd64
		}
		menuentry 'Debian GNU/Linux, with Xen 4.4-amd64.efi and Linux 4.1.0-1-amd64 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-4.1.0-1-amd64-recovery-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
			insmod part_msdos
			insmod ext2
			set root='hd0,msdos6'
			if [ x$feature_platform_search_hint = xy ]; then
			  search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos6 --hint-efi=hd0,msdos6 --hint-baremetal=ahci0,msdos6 --hint='hd0,msdos6'  38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			else
			  search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			fi
			echo	'Chargement de Xen 4.4-amd64.efi…'
		        if [ "$grub_platform" = "pc" -o "$grub_platform" = "" ]; then
		            xen_rm_opts=
		        else
		            xen_rm_opts="no-real-mode edd=off"
		        fi
			multiboot	/boot/xen-4.4-amd64.efi placeholder  ${xen_rm_opts}
			echo	'Chargement de Linux 4.1.0-1-amd64…'
			module	/boot/vmlinuz-4.1.0-1-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	--nounzip   /boot/initrd.img-4.1.0-1-amd64
		}
		menuentry 'Debian GNU/Linux, avec Xen 4.4-amd64.efi et Linux 4.1.0' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-4.1.0-advanced-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
			insmod part_msdos
			insmod ext2
			set root='hd0,msdos6'
			if [ x$feature_platform_search_hint = xy ]; then
			  search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos6 --hint-efi=hd0,msdos6 --hint-baremetal=ahci0,msdos6 --hint='hd0,msdos6'  38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			else
			  search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			fi
			echo	'Chargement de Xen 4.4-amd64.efi…'
		        if [ "$grub_platform" = "pc" -o "$grub_platform" = "" ]; then
		            xen_rm_opts=
		        else
		            xen_rm_opts="no-real-mode edd=off"
		        fi
			multiboot	/boot/xen-4.4-amd64.efi placeholder   ${xen_rm_opts}
			echo	'Chargement de Linux 4.1.0…'
			module	/boot/vmlinuz-4.1.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	--nounzip   /boot/initrd.img-4.1.0
		}
		menuentry 'Debian GNU/Linux, with Xen 4.4-amd64.efi and Linux 4.1.0 (sysvinit)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-4.1.0-init-sysvinit-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
			insmod part_msdos
			insmod ext2
			set root='hd0,msdos6'
			if [ x$feature_platform_search_hint = xy ]; then
			  search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos6 --hint-efi=hd0,msdos6 --hint-baremetal=ahci0,msdos6 --hint='hd0,msdos6'  38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			else
			  search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			fi
			echo	'Chargement de Xen 4.4-amd64.efi…'
		        if [ "$grub_platform" = "pc" -o "$grub_platform" = "" ]; then
		            xen_rm_opts=
		        else
		            xen_rm_opts="no-real-mode edd=off"
		        fi
			multiboot	/boot/xen-4.4-amd64.efi placeholder   ${xen_rm_opts}
			echo	'Chargement de Linux 4.1.0…'
			module	/boot/vmlinuz-4.1.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro   init=/lib/sysvinit/init
			echo	'Chargement du disque mémoire initial…'
			module	--nounzip   /boot/initrd.img-4.1.0
		}
		menuentry 'Debian GNU/Linux, with Xen 4.4-amd64.efi and Linux 4.1.0 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-4.1.0-recovery-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
			insmod part_msdos
			insmod ext2
			set root='hd0,msdos6'
			if [ x$feature_platform_search_hint = xy ]; then
			  search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos6 --hint-efi=hd0,msdos6 --hint-baremetal=ahci0,msdos6 --hint='hd0,msdos6'  38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			else
			  search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			fi
			echo	'Chargement de Xen 4.4-amd64.efi…'
		        if [ "$grub_platform" = "pc" -o "$grub_platform" = "" ]; then
		            xen_rm_opts=
		        else
		            xen_rm_opts="no-real-mode edd=off"
		        fi
			multiboot	/boot/xen-4.4-amd64.efi placeholder  ${xen_rm_opts}
			echo	'Chargement de Linux 4.1.0…'
			module	/boot/vmlinuz-4.1.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	--nounzip   /boot/initrd.img-4.1.0
		}
	}
	submenu 'Hyperviseur Xen, version 4.3' $menuentry_id_option 'xen-hypervisor-4.3-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
		menuentry 'Debian GNU/Linux, avec Xen 4.3 et Linux 4.1.0-1-amd64' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-4.1.0-1-amd64-advanced-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
			insmod part_msdos
			insmod ext2
			set root='hd0,msdos6'
			if [ x$feature_platform_search_hint = xy ]; then
			  search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos6 --hint-efi=hd0,msdos6 --hint-baremetal=ahci0,msdos6 --hint='hd0,msdos6'  38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			else
			  search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			fi
			echo	'Chargement de Xen 4.3…'
		        if [ "$grub_platform" = "pc" -o "$grub_platform" = "" ]; then
		            xen_rm_opts=
		        else
		            xen_rm_opts="no-real-mode edd=off"
		        fi
			multiboot	/boot/xen-4.3.gz placeholder   ${xen_rm_opts}
			echo	'Chargement de Linux 4.1.0-1-amd64…'
			module	/boot/vmlinuz-4.1.0-1-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	--nounzip   /boot/initrd.img-4.1.0-1-amd64
		}
		menuentry 'Debian GNU/Linux, with Xen 4.3 and Linux 4.1.0-1-amd64 (sysvinit)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-4.1.0-1-amd64-init-sysvinit-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
			insmod part_msdos
			insmod ext2
			set root='hd0,msdos6'
			if [ x$feature_platform_search_hint = xy ]; then
			  search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos6 --hint-efi=hd0,msdos6 --hint-baremetal=ahci0,msdos6 --hint='hd0,msdos6'  38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			else
			  search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			fi
			echo	'Chargement de Xen 4.3…'
		        if [ "$grub_platform" = "pc" -o "$grub_platform" = "" ]; then
		            xen_rm_opts=
		        else
		            xen_rm_opts="no-real-mode edd=off"
		        fi
			multiboot	/boot/xen-4.3.gz placeholder   ${xen_rm_opts}
			echo	'Chargement de Linux 4.1.0-1-amd64…'
			module	/boot/vmlinuz-4.1.0-1-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro   init=/lib/sysvinit/init
			echo	'Chargement du disque mémoire initial…'
			module	--nounzip   /boot/initrd.img-4.1.0-1-amd64
		}
		menuentry 'Debian GNU/Linux, with Xen 4.3 and Linux 4.1.0-1-amd64 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-4.1.0-1-amd64-recovery-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
			insmod part_msdos
			insmod ext2
			set root='hd0,msdos6'
			if [ x$feature_platform_search_hint = xy ]; then
			  search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos6 --hint-efi=hd0,msdos6 --hint-baremetal=ahci0,msdos6 --hint='hd0,msdos6'  38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			else
			  search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			fi
			echo	'Chargement de Xen 4.3…'
		        if [ "$grub_platform" = "pc" -o "$grub_platform" = "" ]; then
		            xen_rm_opts=
		        else
		            xen_rm_opts="no-real-mode edd=off"
		        fi
			multiboot	/boot/xen-4.3.gz placeholder  ${xen_rm_opts}
			echo	'Chargement de Linux 4.1.0-1-amd64…'
			module	/boot/vmlinuz-4.1.0-1-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	--nounzip   /boot/initrd.img-4.1.0-1-amd64
		}
		menuentry 'Debian GNU/Linux, avec Xen 4.3 et Linux 4.1.0' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-4.1.0-advanced-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
			insmod part_msdos
			insmod ext2
			set root='hd0,msdos6'
			if [ x$feature_platform_search_hint = xy ]; then
			  search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos6 --hint-efi=hd0,msdos6 --hint-baremetal=ahci0,msdos6 --hint='hd0,msdos6'  38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			else
			  search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			fi
			echo	'Chargement de Xen 4.3…'
		        if [ "$grub_platform" = "pc" -o "$grub_platform" = "" ]; then
		            xen_rm_opts=
		        else
		            xen_rm_opts="no-real-mode edd=off"
		        fi
			multiboot	/boot/xen-4.3.gz placeholder   ${xen_rm_opts}
			echo	'Chargement de Linux 4.1.0…'
			module	/boot/vmlinuz-4.1.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	--nounzip   /boot/initrd.img-4.1.0
		}
		menuentry 'Debian GNU/Linux, with Xen 4.3 and Linux 4.1.0 (sysvinit)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-4.1.0-init-sysvinit-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
			insmod part_msdos
			insmod ext2
			set root='hd0,msdos6'
			if [ x$feature_platform_search_hint = xy ]; then
			  search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos6 --hint-efi=hd0,msdos6 --hint-baremetal=ahci0,msdos6 --hint='hd0,msdos6'  38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			else
			  search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			fi
			echo	'Chargement de Xen 4.3…'
		        if [ "$grub_platform" = "pc" -o "$grub_platform" = "" ]; then
		            xen_rm_opts=
		        else
		            xen_rm_opts="no-real-mode edd=off"
		        fi
			multiboot	/boot/xen-4.3.gz placeholder   ${xen_rm_opts}
			echo	'Chargement de Linux 4.1.0…'
			module	/boot/vmlinuz-4.1.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro   init=/lib/sysvinit/init
			echo	'Chargement du disque mémoire initial…'
			module	--nounzip   /boot/initrd.img-4.1.0
		}
		menuentry 'Debian GNU/Linux, with Xen 4.3 and Linux 4.1.0 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-4.1.0-recovery-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
			insmod part_msdos
			insmod ext2
			set root='hd0,msdos6'
			if [ x$feature_platform_search_hint = xy ]; then
			  search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos6 --hint-efi=hd0,msdos6 --hint-baremetal=ahci0,msdos6 --hint='hd0,msdos6'  38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			else
			  search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			fi
			echo	'Chargement de Xen 4.3…'
		        if [ "$grub_platform" = "pc" -o "$grub_platform" = "" ]; then
		            xen_rm_opts=
		        else
		            xen_rm_opts="no-real-mode edd=off"
		        fi
			multiboot	/boot/xen-4.3.gz placeholder  ${xen_rm_opts}
			echo	'Chargement de Linux 4.1.0…'
			module	/boot/vmlinuz-4.1.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	--nounzip   /boot/initrd.img-4.1.0
		}
	}
	submenu 'Hyperviseur Xen, version 4.3-amd64' $menuentry_id_option 'xen-hypervisor-4.3-amd64-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
		menuentry 'Debian GNU/Linux, avec Xen 4.3-amd64 et Linux 4.1.0-1-amd64' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-4.1.0-1-amd64-advanced-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
			insmod part_msdos
			insmod ext2
			set root='hd0,msdos6'
			if [ x$feature_platform_search_hint = xy ]; then
			  search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos6 --hint-efi=hd0,msdos6 --hint-baremetal=ahci0,msdos6 --hint='hd0,msdos6'  38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			else
			  search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			fi
			echo	'Chargement de Xen 4.3-amd64…'
		        if [ "$grub_platform" = "pc" -o "$grub_platform" = "" ]; then
		            xen_rm_opts=
		        else
		            xen_rm_opts="no-real-mode edd=off"
		        fi
			multiboot	/boot/xen-4.3-amd64.gz placeholder   ${xen_rm_opts}
			echo	'Chargement de Linux 4.1.0-1-amd64…'
			module	/boot/vmlinuz-4.1.0-1-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	--nounzip   /boot/initrd.img-4.1.0-1-amd64
		}
		menuentry 'Debian GNU/Linux, with Xen 4.3-amd64 and Linux 4.1.0-1-amd64 (sysvinit)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-4.1.0-1-amd64-init-sysvinit-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
			insmod part_msdos
			insmod ext2
			set root='hd0,msdos6'
			if [ x$feature_platform_search_hint = xy ]; then
			  search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos6 --hint-efi=hd0,msdos6 --hint-baremetal=ahci0,msdos6 --hint='hd0,msdos6'  38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			else
			  search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			fi
			echo	'Chargement de Xen 4.3-amd64…'
		        if [ "$grub_platform" = "pc" -o "$grub_platform" = "" ]; then
		            xen_rm_opts=
		        else
		            xen_rm_opts="no-real-mode edd=off"
		        fi
			multiboot	/boot/xen-4.3-amd64.gz placeholder   ${xen_rm_opts}
			echo	'Chargement de Linux 4.1.0-1-amd64…'
			module	/boot/vmlinuz-4.1.0-1-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro   init=/lib/sysvinit/init
			echo	'Chargement du disque mémoire initial…'
			module	--nounzip   /boot/initrd.img-4.1.0-1-amd64
		}
		menuentry 'Debian GNU/Linux, with Xen 4.3-amd64 and Linux 4.1.0-1-amd64 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-4.1.0-1-amd64-recovery-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
			insmod part_msdos
			insmod ext2
			set root='hd0,msdos6'
			if [ x$feature_platform_search_hint = xy ]; then
			  search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos6 --hint-efi=hd0,msdos6 --hint-baremetal=ahci0,msdos6 --hint='hd0,msdos6'  38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			else
			  search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			fi
			echo	'Chargement de Xen 4.3-amd64…'
		        if [ "$grub_platform" = "pc" -o "$grub_platform" = "" ]; then
		            xen_rm_opts=
		        else
		            xen_rm_opts="no-real-mode edd=off"
		        fi
			multiboot	/boot/xen-4.3-amd64.gz placeholder  ${xen_rm_opts}
			echo	'Chargement de Linux 4.1.0-1-amd64…'
			module	/boot/vmlinuz-4.1.0-1-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	--nounzip   /boot/initrd.img-4.1.0-1-amd64
		}
		menuentry 'Debian GNU/Linux, avec Xen 4.3-amd64 et Linux 4.1.0' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-4.1.0-advanced-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
			insmod part_msdos
			insmod ext2
			set root='hd0,msdos6'
			if [ x$feature_platform_search_hint = xy ]; then
			  search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos6 --hint-efi=hd0,msdos6 --hint-baremetal=ahci0,msdos6 --hint='hd0,msdos6'  38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			else
			  search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			fi
			echo	'Chargement de Xen 4.3-amd64…'
		        if [ "$grub_platform" = "pc" -o "$grub_platform" = "" ]; then
		            xen_rm_opts=
		        else
		            xen_rm_opts="no-real-mode edd=off"
		        fi
			multiboot	/boot/xen-4.3-amd64.gz placeholder   ${xen_rm_opts}
			echo	'Chargement de Linux 4.1.0…'
			module	/boot/vmlinuz-4.1.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	--nounzip   /boot/initrd.img-4.1.0
		}
		menuentry 'Debian GNU/Linux, with Xen 4.3-amd64 and Linux 4.1.0 (sysvinit)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-4.1.0-init-sysvinit-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
			insmod part_msdos
			insmod ext2
			set root='hd0,msdos6'
			if [ x$feature_platform_search_hint = xy ]; then
			  search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos6 --hint-efi=hd0,msdos6 --hint-baremetal=ahci0,msdos6 --hint='hd0,msdos6'  38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			else
			  search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			fi
			echo	'Chargement de Xen 4.3-amd64…'
		        if [ "$grub_platform" = "pc" -o "$grub_platform" = "" ]; then
		            xen_rm_opts=
		        else
		            xen_rm_opts="no-real-mode edd=off"
		        fi
			multiboot	/boot/xen-4.3-amd64.gz placeholder   ${xen_rm_opts}
			echo	'Chargement de Linux 4.1.0…'
			module	/boot/vmlinuz-4.1.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro   init=/lib/sysvinit/init
			echo	'Chargement du disque mémoire initial…'
			module	--nounzip   /boot/initrd.img-4.1.0
		}
		menuentry 'Debian GNU/Linux, with Xen 4.3-amd64 and Linux 4.1.0 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-4.1.0-recovery-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
			insmod part_msdos
			insmod ext2
			set root='hd0,msdos6'
			if [ x$feature_platform_search_hint = xy ]; then
			  search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos6 --hint-efi=hd0,msdos6 --hint-baremetal=ahci0,msdos6 --hint='hd0,msdos6'  38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			else
			  search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			fi
			echo	'Chargement de Xen 4.3-amd64…'
		        if [ "$grub_platform" = "pc" -o "$grub_platform" = "" ]; then
		            xen_rm_opts=
		        else
		            xen_rm_opts="no-real-mode edd=off"
		        fi
			multiboot	/boot/xen-4.3-amd64.gz placeholder  ${xen_rm_opts}
			echo	'Chargement de Linux 4.1.0…'
			module	/boot/vmlinuz-4.1.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	--nounzip   /boot/initrd.img-4.1.0
		}
	}
	submenu 'Hyperviseur Xen, version 4.1' $menuentry_id_option 'xen-hypervisor-4.1-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
		menuentry 'Debian GNU/Linux, avec Xen 4.1 et Linux 4.1.0-1-amd64' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-4.1.0-1-amd64-advanced-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
			insmod part_msdos
			insmod ext2
			set root='hd0,msdos6'
			if [ x$feature_platform_search_hint = xy ]; then
			  search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos6 --hint-efi=hd0,msdos6 --hint-baremetal=ahci0,msdos6 --hint='hd0,msdos6'  38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			else
			  search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			fi
			echo	'Chargement de Xen 4.1…'
		        if [ "$grub_platform" = "pc" -o "$grub_platform" = "" ]; then
		            xen_rm_opts=
		        else
		            xen_rm_opts="no-real-mode edd=off"
		        fi
			multiboot	/boot/xen-4.1.gz placeholder   ${xen_rm_opts}
			echo	'Chargement de Linux 4.1.0-1-amd64…'
			module	/boot/vmlinuz-4.1.0-1-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	--nounzip   /boot/initrd.img-4.1.0-1-amd64
		}
		menuentry 'Debian GNU/Linux, with Xen 4.1 and Linux 4.1.0-1-amd64 (sysvinit)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-4.1.0-1-amd64-init-sysvinit-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
			insmod part_msdos
			insmod ext2
			set root='hd0,msdos6'
			if [ x$feature_platform_search_hint = xy ]; then
			  search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos6 --hint-efi=hd0,msdos6 --hint-baremetal=ahci0,msdos6 --hint='hd0,msdos6'  38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			else
			  search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			fi
			echo	'Chargement de Xen 4.1…'
		        if [ "$grub_platform" = "pc" -o "$grub_platform" = "" ]; then
		            xen_rm_opts=
		        else
		            xen_rm_opts="no-real-mode edd=off"
		        fi
			multiboot	/boot/xen-4.1.gz placeholder   ${xen_rm_opts}
			echo	'Chargement de Linux 4.1.0-1-amd64…'
			module	/boot/vmlinuz-4.1.0-1-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro   init=/lib/sysvinit/init
			echo	'Chargement du disque mémoire initial…'
			module	--nounzip   /boot/initrd.img-4.1.0-1-amd64
		}
		menuentry 'Debian GNU/Linux, with Xen 4.1 and Linux 4.1.0-1-amd64 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-4.1.0-1-amd64-recovery-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
			insmod part_msdos
			insmod ext2
			set root='hd0,msdos6'
			if [ x$feature_platform_search_hint = xy ]; then
			  search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos6 --hint-efi=hd0,msdos6 --hint-baremetal=ahci0,msdos6 --hint='hd0,msdos6'  38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			else
			  search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			fi
			echo	'Chargement de Xen 4.1…'
		        if [ "$grub_platform" = "pc" -o "$grub_platform" = "" ]; then
		            xen_rm_opts=
		        else
		            xen_rm_opts="no-real-mode edd=off"
		        fi
			multiboot	/boot/xen-4.1.gz placeholder  ${xen_rm_opts}
			echo	'Chargement de Linux 4.1.0-1-amd64…'
			module	/boot/vmlinuz-4.1.0-1-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	--nounzip   /boot/initrd.img-4.1.0-1-amd64
		}
		menuentry 'Debian GNU/Linux, avec Xen 4.1 et Linux 4.1.0' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-4.1.0-advanced-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
			insmod part_msdos
			insmod ext2
			set root='hd0,msdos6'
			if [ x$feature_platform_search_hint = xy ]; then
			  search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos6 --hint-efi=hd0,msdos6 --hint-baremetal=ahci0,msdos6 --hint='hd0,msdos6'  38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			else
			  search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			fi
			echo	'Chargement de Xen 4.1…'
		        if [ "$grub_platform" = "pc" -o "$grub_platform" = "" ]; then
		            xen_rm_opts=
		        else
		            xen_rm_opts="no-real-mode edd=off"
		        fi
			multiboot	/boot/xen-4.1.gz placeholder   ${xen_rm_opts}
			echo	'Chargement de Linux 4.1.0…'
			module	/boot/vmlinuz-4.1.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	--nounzip   /boot/initrd.img-4.1.0
		}
		menuentry 'Debian GNU/Linux, with Xen 4.1 and Linux 4.1.0 (sysvinit)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-4.1.0-init-sysvinit-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
			insmod part_msdos
			insmod ext2
			set root='hd0,msdos6'
			if [ x$feature_platform_search_hint = xy ]; then
			  search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos6 --hint-efi=hd0,msdos6 --hint-baremetal=ahci0,msdos6 --hint='hd0,msdos6'  38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			else
			  search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			fi
			echo	'Chargement de Xen 4.1…'
		        if [ "$grub_platform" = "pc" -o "$grub_platform" = "" ]; then
		            xen_rm_opts=
		        else
		            xen_rm_opts="no-real-mode edd=off"
		        fi
			multiboot	/boot/xen-4.1.gz placeholder   ${xen_rm_opts}
			echo	'Chargement de Linux 4.1.0…'
			module	/boot/vmlinuz-4.1.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro   init=/lib/sysvinit/init
			echo	'Chargement du disque mémoire initial…'
			module	--nounzip   /boot/initrd.img-4.1.0
		}
		menuentry 'Debian GNU/Linux, with Xen 4.1 and Linux 4.1.0 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-4.1.0-recovery-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
			insmod part_msdos
			insmod ext2
			set root='hd0,msdos6'
			if [ x$feature_platform_search_hint = xy ]; then
			  search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos6 --hint-efi=hd0,msdos6 --hint-baremetal=ahci0,msdos6 --hint='hd0,msdos6'  38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			else
			  search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			fi
			echo	'Chargement de Xen 4.1…'
		        if [ "$grub_platform" = "pc" -o "$grub_platform" = "" ]; then
		            xen_rm_opts=
		        else
		            xen_rm_opts="no-real-mode edd=off"
		        fi
			multiboot	/boot/xen-4.1.gz placeholder  ${xen_rm_opts}
			echo	'Chargement de Linux 4.1.0…'
			module	/boot/vmlinuz-4.1.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	--nounzip   /boot/initrd.img-4.1.0
		}
	}
	submenu 'Hyperviseur Xen, version 4.1-amd64' $menuentry_id_option 'xen-hypervisor-4.1-amd64-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
		menuentry 'Debian GNU/Linux, avec Xen 4.1-amd64 et Linux 4.1.0-1-amd64' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-4.1.0-1-amd64-advanced-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
			insmod part_msdos
			insmod ext2
			set root='hd0,msdos6'
			if [ x$feature_platform_search_hint = xy ]; then
			  search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos6 --hint-efi=hd0,msdos6 --hint-baremetal=ahci0,msdos6 --hint='hd0,msdos6'  38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			else
			  search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			fi
			echo	'Chargement de Xen 4.1-amd64…'
		        if [ "$grub_platform" = "pc" -o "$grub_platform" = "" ]; then
		            xen_rm_opts=
		        else
		            xen_rm_opts="no-real-mode edd=off"
		        fi
			multiboot	/boot/xen-4.1-amd64.gz placeholder   ${xen_rm_opts}
			echo	'Chargement de Linux 4.1.0-1-amd64…'
			module	/boot/vmlinuz-4.1.0-1-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	--nounzip   /boot/initrd.img-4.1.0-1-amd64
		}
		menuentry 'Debian GNU/Linux, with Xen 4.1-amd64 and Linux 4.1.0-1-amd64 (sysvinit)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-4.1.0-1-amd64-init-sysvinit-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
			insmod part_msdos
			insmod ext2
			set root='hd0,msdos6'
			if [ x$feature_platform_search_hint = xy ]; then
			  search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos6 --hint-efi=hd0,msdos6 --hint-baremetal=ahci0,msdos6 --hint='hd0,msdos6'  38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			else
			  search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			fi
			echo	'Chargement de Xen 4.1-amd64…'
		        if [ "$grub_platform" = "pc" -o "$grub_platform" = "" ]; then
		            xen_rm_opts=
		        else
		            xen_rm_opts="no-real-mode edd=off"
		        fi
			multiboot	/boot/xen-4.1-amd64.gz placeholder   ${xen_rm_opts}
			echo	'Chargement de Linux 4.1.0-1-amd64…'
			module	/boot/vmlinuz-4.1.0-1-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro   init=/lib/sysvinit/init
			echo	'Chargement du disque mémoire initial…'
			module	--nounzip   /boot/initrd.img-4.1.0-1-amd64
		}
		menuentry 'Debian GNU/Linux, with Xen 4.1-amd64 and Linux 4.1.0-1-amd64 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-4.1.0-1-amd64-recovery-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
			insmod part_msdos
			insmod ext2
			set root='hd0,msdos6'
			if [ x$feature_platform_search_hint = xy ]; then
			  search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos6 --hint-efi=hd0,msdos6 --hint-baremetal=ahci0,msdos6 --hint='hd0,msdos6'  38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			else
			  search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			fi
			echo	'Chargement de Xen 4.1-amd64…'
		        if [ "$grub_platform" = "pc" -o "$grub_platform" = "" ]; then
		            xen_rm_opts=
		        else
		            xen_rm_opts="no-real-mode edd=off"
		        fi
			multiboot	/boot/xen-4.1-amd64.gz placeholder  ${xen_rm_opts}
			echo	'Chargement de Linux 4.1.0-1-amd64…'
			module	/boot/vmlinuz-4.1.0-1-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	--nounzip   /boot/initrd.img-4.1.0-1-amd64
		}
		menuentry 'Debian GNU/Linux, avec Xen 4.1-amd64 et Linux 4.1.0' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-4.1.0-advanced-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
			insmod part_msdos
			insmod ext2
			set root='hd0,msdos6'
			if [ x$feature_platform_search_hint = xy ]; then
			  search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos6 --hint-efi=hd0,msdos6 --hint-baremetal=ahci0,msdos6 --hint='hd0,msdos6'  38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			else
			  search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			fi
			echo	'Chargement de Xen 4.1-amd64…'
		        if [ "$grub_platform" = "pc" -o "$grub_platform" = "" ]; then
		            xen_rm_opts=
		        else
		            xen_rm_opts="no-real-mode edd=off"
		        fi
			multiboot	/boot/xen-4.1-amd64.gz placeholder   ${xen_rm_opts}
			echo	'Chargement de Linux 4.1.0…'
			module	/boot/vmlinuz-4.1.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	--nounzip   /boot/initrd.img-4.1.0
		}
		menuentry 'Debian GNU/Linux, with Xen 4.1-amd64 and Linux 4.1.0 (sysvinit)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-4.1.0-init-sysvinit-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
			insmod part_msdos
			insmod ext2
			set root='hd0,msdos6'
			if [ x$feature_platform_search_hint = xy ]; then
			  search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos6 --hint-efi=hd0,msdos6 --hint-baremetal=ahci0,msdos6 --hint='hd0,msdos6'  38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			else
			  search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			fi
			echo	'Chargement de Xen 4.1-amd64…'
		        if [ "$grub_platform" = "pc" -o "$grub_platform" = "" ]; then
		            xen_rm_opts=
		        else
		            xen_rm_opts="no-real-mode edd=off"
		        fi
			multiboot	/boot/xen-4.1-amd64.gz placeholder   ${xen_rm_opts}
			echo	'Chargement de Linux 4.1.0…'
			module	/boot/vmlinuz-4.1.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro   init=/lib/sysvinit/init
			echo	'Chargement du disque mémoire initial…'
			module	--nounzip   /boot/initrd.img-4.1.0
		}
		menuentry 'Debian GNU/Linux, with Xen 4.1-amd64 and Linux 4.1.0 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-4.1.0-recovery-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
			insmod part_msdos
			insmod ext2
			set root='hd0,msdos6'
			if [ x$feature_platform_search_hint = xy ]; then
			  search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos6 --hint-efi=hd0,msdos6 --hint-baremetal=ahci0,msdos6 --hint='hd0,msdos6'  38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			else
			  search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			fi
			echo	'Chargement de Xen 4.1-amd64…'
		        if [ "$grub_platform" = "pc" -o "$grub_platform" = "" ]; then
		            xen_rm_opts=
		        else
		            xen_rm_opts="no-real-mode edd=off"
		        fi
			multiboot	/boot/xen-4.1-amd64.gz placeholder  ${xen_rm_opts}
			echo	'Chargement de Linux 4.1.0…'
			module	/boot/vmlinuz-4.1.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	--nounzip   /boot/initrd.img-4.1.0
		}
	}
	submenu 'Hyperviseur Xen, version 3.2-1-amd64' $menuentry_id_option 'xen-hypervisor-3.2-1-amd64-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
		menuentry 'Debian GNU/Linux, avec Xen 3.2-1-amd64 et Linux 4.1.0-1-amd64' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-4.1.0-1-amd64-advanced-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
			insmod part_msdos
			insmod ext2
			set root='hd0,msdos6'
			if [ x$feature_platform_search_hint = xy ]; then
			  search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos6 --hint-efi=hd0,msdos6 --hint-baremetal=ahci0,msdos6 --hint='hd0,msdos6'  38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			else
			  search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			fi
			echo	'Chargement de Xen 3.2-1-amd64…'
		        if [ "$grub_platform" = "pc" -o "$grub_platform" = "" ]; then
		            xen_rm_opts=
		        else
		            xen_rm_opts="no-real-mode edd=off"
		        fi
			multiboot	/boot/xen-3.2-1-amd64.gz placeholder   ${xen_rm_opts}
			echo	'Chargement de Linux 4.1.0-1-amd64…'
			module	/boot/vmlinuz-4.1.0-1-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	--nounzip   /boot/initrd.img-4.1.0-1-amd64
		}
		menuentry 'Debian GNU/Linux, with Xen 3.2-1-amd64 and Linux 4.1.0-1-amd64 (sysvinit)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-4.1.0-1-amd64-init-sysvinit-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
			insmod part_msdos
			insmod ext2
			set root='hd0,msdos6'
			if [ x$feature_platform_search_hint = xy ]; then
			  search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos6 --hint-efi=hd0,msdos6 --hint-baremetal=ahci0,msdos6 --hint='hd0,msdos6'  38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			else
			  search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			fi
			echo	'Chargement de Xen 3.2-1-amd64…'
		        if [ "$grub_platform" = "pc" -o "$grub_platform" = "" ]; then
		            xen_rm_opts=
		        else
		            xen_rm_opts="no-real-mode edd=off"
		        fi
			multiboot	/boot/xen-3.2-1-amd64.gz placeholder   ${xen_rm_opts}
			echo	'Chargement de Linux 4.1.0-1-amd64…'
			module	/boot/vmlinuz-4.1.0-1-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro   init=/lib/sysvinit/init
			echo	'Chargement du disque mémoire initial…'
			module	--nounzip   /boot/initrd.img-4.1.0-1-amd64
		}
		menuentry 'Debian GNU/Linux, with Xen 3.2-1-amd64 and Linux 4.1.0-1-amd64 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-4.1.0-1-amd64-recovery-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
			insmod part_msdos
			insmod ext2
			set root='hd0,msdos6'
			if [ x$feature_platform_search_hint = xy ]; then
			  search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos6 --hint-efi=hd0,msdos6 --hint-baremetal=ahci0,msdos6 --hint='hd0,msdos6'  38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			else
			  search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			fi
			echo	'Chargement de Xen 3.2-1-amd64…'
		        if [ "$grub_platform" = "pc" -o "$grub_platform" = "" ]; then
		            xen_rm_opts=
		        else
		            xen_rm_opts="no-real-mode edd=off"
		        fi
			multiboot	/boot/xen-3.2-1-amd64.gz placeholder  ${xen_rm_opts}
			echo	'Chargement de Linux 4.1.0-1-amd64…'
			module	/boot/vmlinuz-4.1.0-1-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	--nounzip   /boot/initrd.img-4.1.0-1-amd64
		}
		menuentry 'Debian GNU/Linux, avec Xen 3.2-1-amd64 et Linux 4.1.0' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-4.1.0-advanced-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
			insmod part_msdos
			insmod ext2
			set root='hd0,msdos6'
			if [ x$feature_platform_search_hint = xy ]; then
			  search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos6 --hint-efi=hd0,msdos6 --hint-baremetal=ahci0,msdos6 --hint='hd0,msdos6'  38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			else
			  search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			fi
			echo	'Chargement de Xen 3.2-1-amd64…'
		        if [ "$grub_platform" = "pc" -o "$grub_platform" = "" ]; then
		            xen_rm_opts=
		        else
		            xen_rm_opts="no-real-mode edd=off"
		        fi
			multiboot	/boot/xen-3.2-1-amd64.gz placeholder   ${xen_rm_opts}
			echo	'Chargement de Linux 4.1.0…'
			module	/boot/vmlinuz-4.1.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	--nounzip   /boot/initrd.img-4.1.0
		}
		menuentry 'Debian GNU/Linux, with Xen 3.2-1-amd64 and Linux 4.1.0 (sysvinit)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-4.1.0-init-sysvinit-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
			insmod part_msdos
			insmod ext2
			set root='hd0,msdos6'
			if [ x$feature_platform_search_hint = xy ]; then
			  search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos6 --hint-efi=hd0,msdos6 --hint-baremetal=ahci0,msdos6 --hint='hd0,msdos6'  38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			else
			  search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			fi
			echo	'Chargement de Xen 3.2-1-amd64…'
		        if [ "$grub_platform" = "pc" -o "$grub_platform" = "" ]; then
		            xen_rm_opts=
		        else
		            xen_rm_opts="no-real-mode edd=off"
		        fi
			multiboot	/boot/xen-3.2-1-amd64.gz placeholder   ${xen_rm_opts}
			echo	'Chargement de Linux 4.1.0…'
			module	/boot/vmlinuz-4.1.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro   init=/lib/sysvinit/init
			echo	'Chargement du disque mémoire initial…'
			module	--nounzip   /boot/initrd.img-4.1.0
		}
		menuentry 'Debian GNU/Linux, with Xen 3.2-1-amd64 and Linux 4.1.0 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-4.1.0-recovery-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
			insmod part_msdos
			insmod ext2
			set root='hd0,msdos6'
			if [ x$feature_platform_search_hint = xy ]; then
			  search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos6 --hint-efi=hd0,msdos6 --hint-baremetal=ahci0,msdos6 --hint='hd0,msdos6'  38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			else
			  search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
			fi
			echo	'Chargement de Xen 3.2-1-amd64…'
		        if [ "$grub_platform" = "pc" -o "$grub_platform" = "" ]; then
		            xen_rm_opts=
		        else
		            xen_rm_opts="no-real-mode edd=off"
		        fi
			multiboot	/boot/xen-3.2-1-amd64.gz placeholder  ${xen_rm_opts}
			echo	'Chargement de Linux 4.1.0…'
			module	/boot/vmlinuz-4.1.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	--nounzip   /boot/initrd.img-4.1.0
		}
	}
}

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

### BEGIN /etc/grub.d/30_os-prober ###
menuentry 'Windows 7 (loader) (sur /dev/sda2)' --class windows --class os $menuentry_id_option 'osprober-chain-1E78587E7858569D' {
	insmod part_msdos
	insmod ntfs
	set root='hd0,msdos2'
	if [ x$feature_platform_search_hint = xy ]; then
	  search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos2 --hint-efi=hd0,msdos2 --hint-baremetal=ahci0,msdos2 --hint='hd0,msdos2'  1E78587E7858569D
	else
	  search --no-floppy --fs-uuid --set=root 1E78587E7858569D
	fi
	parttool ${root} hidden-
	chainloader +1
}
menuentry 'GNU/Hurd (sur /dev/sda7)' --class hurd --class gnu --class os $menuentry_id_option 'osprober-gnuhurd-/boot/gnumach.gz-false-aa626238-1e6d-4190-a750-226979812bd9' {
	insmod part_msdos
	insmod ext2
	set root='hd0,msdos7'
	if [ x$feature_platform_search_hint = xy ]; then
	  search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos7 --hint-efi=hd0,msdos7 --hint-baremetal=ahci0,msdos7 --hint='hd0,msdos7'  aa626238-1e6d-4190-a750-226979812bd9
	else
	  search --no-floppy --fs-uuid --set=root aa626238-1e6d-4190-a750-226979812bd9
	fi
	multiboot /boot/gnumach.gz root=device:hd0s7
	module /hurd/ext2fs.static ext2fs --readonly \
			--multiboot-command-line='${kernel-command-line}' \
			--host-priv-port='${host-port}' \
			--device-master-port='${device-port}' \
			--exec-server-task='${exec-task}' -T typed '${root}' \
			'$(task-create)' '$(task-resume)'
	module /lib/ld.so.1 exec /hurd/exec '$(exec-task=task-create)'
}
### 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.

menuentry "GNU (aka GNU/Hurd)" {
	set root=(hd0,6)
	multiboot /boot/gnumach-1.4-486-dbg.gz root=device:sd0s7
	set root=(hd0,7)
	module /hurd/ext2fs.static ext2fs -A --readonly \
			--multiboot-command-line='${kernel-command-line}' \
			--host-priv-port='${host-port}' \
			--device-master-port='${device-port}' \
			--exec-server-task='${exec-task}' -T typed '${root}' \
			'$(task-create)' '$(task-resume)'
	module /lib/ld.so.1 exec /hurd/exec '$(exec-task=task-create)'
}

menuentry "GNU (aka GNU/Hurd), mine" {
	set root=(hd0,6)
	multiboot /boot/gnumach-mine root=device:sd0s7
	set root=(hd0,7)
	module /hurd/ext2fs.static ext2fs -A --readonly \
			--multiboot-command-line='${kernel-command-line}' \
			--host-priv-port='${host-port}' \
			--device-master-port='${device-port}' \
			--exec-server-task='${exec-task}' -T typed '${root}' \
			'$(task-create)' '$(task-resume)'
	module /lib/ld.so.1 exec /hurd/exec '$(exec-task=task-create)'
}

menuentry 'Debian GNU/Linux, with Linux 2.6.32-5-xen-amd64 and XEN 3.4-amd64' --class debian --class gnu-linux --class gnu --class os --class xen {
	insmod part_msdos
	insmod ext2
	set root='(hd0,msdos6)'
	search --no-floppy --fs-uuid --set 4a792f25-e877-4fe0-aca4-ca867f490139
	echo	'Chargement de Linux 2.6.32-5-xen-amd64 ...'
	multiboot	/boot/xen-3.4-amd64.gz placeholder  
	module	/boot/vmlinuz-2.6.32-5-xen-amd64 placeholder root=UUID=4a792f25-e877-4fe0-aca4-ca867f490139 ro video=intelfb vga=ext elevator=cfq 
	echo	'Chargement du disque mémoire initial ...'
	module	/boot/initrd.img-2.6.32-5-xen-amd64
}


menuentry "hda6" {
	set root=(hd0,6)
	chainloader +1
}

menuentry "debinst x86" {
	set root=(hd0,9)
	linux /local/installer/build/dest/netboot/debian-installer/amd64/2.6/linux vga=normal ramdisk_size=10166 root=/dev/ram rw --
	initrd /local/installer/build/dest/netboot/debian-installer/amd64/2.6/initrd.gz
}

menuentry "install hurd" {
	set root=(hd0,9)
	multiboot /boot/kernel/gnumach.gz GTK_NOVESA=1 desktop=xfce
	module --nounzip /boot/initrd.gz initrd '$(ramdisk-create)'
	module /boot/kernel/ext2fs.static ext2fs \
			--multiboot-command-line='${kernel-command-line}' \
			--host-priv-port='${host-port}' \
			--device-master-port='${device-port}' \
			--exec-server-task='${exec-task}' -T typed gunzip:device:rd0 \
			'$(task-create)' '$(task-resume)'
	module /boot/kernel/ld.so.1 exec /hurd/exec '$(exec-task=task-create)'
}

menuentry "funk" {
	set root=(hd0,9)
	multiboot /ens/funk/trunk/src/kernel/funk-i686-0.1.0
}

menuentry "CD" {
	set root=(hd0,6)
	linux  /boot/memdisk.bin
	initrd /boot/sbootmgr.dsk
}

menuentry "monprog" {
	set root=(hd0,6)
	multiboot /boot/monprog
}

menuentry 'petitboot' --hotkey=p --class debian --class gnu-linux --class gnu --class os {
	insmod gzio
	insmod part_msdos
	insmod ext2
	set root='(hd0,msdos6)'
	search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
	echo	'Chargement de Linux 3.7.0 ...'
	linux	/boot/zvmlinuz-backup root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro init=/boot/petitboot.sh
	echo	'Chargement du disque mémoire initial ...'
	initrd	/boot/zinitrd.img-backup
}

menuentry "halt" {
	halt
}
### 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 ###

### BEGIN /etc/grub.d/60_grub-imageboot ###
### END /etc/grub.d/60_grub-imageboot ###
*********************** END /boot/grub/grub.cfg

*********************** BEGIN /proc/mdstat
cat: /proc/mdstat: No such file or directory
*********************** END /proc/mdstat

*********************** BEGIN /dev/disk/by-id
total 0
lrwxrwxrwx 1 root root  9 Aug 24 10:15 ata-SAMSUNG_SSD_PM810_2.5__256GB_S0N4NEAB600755 -> ../../sda
lrwxrwxrwx 1 root root 10 Aug 24 10:15 ata-SAMSUNG_SSD_PM810_2.5__256GB_S0N4NEAB600755-part1 -> ../../sda1
lrwxrwxrwx 1 root root 10 Aug 24 10:15 ata-SAMSUNG_SSD_PM810_2.5__256GB_S0N4NEAB600755-part2 -> ../../sda2
lrwxrwxrwx 1 root root 10 Aug 24 10:15 ata-SAMSUNG_SSD_PM810_2.5__256GB_S0N4NEAB600755-part3 -> ../../sda3
lrwxrwxrwx 1 root root 10 Aug 24 10:15 ata-SAMSUNG_SSD_PM810_2.5__256GB_S0N4NEAB600755-part4 -> ../../sda4
lrwxrwxrwx 1 root root 10 Aug 24 10:15 ata-SAMSUNG_SSD_PM810_2.5__256GB_S0N4NEAB600755-part5 -> ../../sda5
lrwxrwxrwx 1 root root 10 Aug 24 10:15 ata-SAMSUNG_SSD_PM810_2.5__256GB_S0N4NEAB600755-part6 -> ../../sda6
lrwxrwxrwx 1 root root 10 Aug 24 10:15 ata-SAMSUNG_SSD_PM810_2.5__256GB_S0N4NEAB600755-part7 -> ../../sda7
lrwxrwxrwx 1 root root 10 Aug 24 10:15 ata-SAMSUNG_SSD_PM810_2.5__256GB_S0N4NEAB600755-part8 -> ../../sda8
lrwxrwxrwx 1 root root 10 Aug 24 10:15 ata-SAMSUNG_SSD_PM810_2.5__256GB_S0N4NEAB600755-part9 -> ../../sda9
lrwxrwxrwx 1 root root  9 Aug 24 10:15 ata-TSSTcorp_DVD+_-RW_SU-208BB_R8VQ6GUCA02FWS -> ../../sr0
lrwxrwxrwx 1 root root  9 Aug 24 10:15 wwn-0x50000f0000000000 -> ../../sda
lrwxrwxrwx 1 root root 10 Aug 24 10:15 wwn-0x50000f0000000000-part1 -> ../../sda1
lrwxrwxrwx 1 root root 10 Aug 24 10:15 wwn-0x50000f0000000000-part2 -> ../../sda2
lrwxrwxrwx 1 root root 10 Aug 24 10:15 wwn-0x50000f0000000000-part3 -> ../../sda3
lrwxrwxrwx 1 root root 10 Aug 24 10:15 wwn-0x50000f0000000000-part4 -> ../../sda4
lrwxrwxrwx 1 root root 10 Aug 24 10:15 wwn-0x50000f0000000000-part5 -> ../../sda5
lrwxrwxrwx 1 root root 10 Aug 24 10:15 wwn-0x50000f0000000000-part6 -> ../../sda6
lrwxrwxrwx 1 root root 10 Aug 24 10:15 wwn-0x50000f0000000000-part7 -> ../../sda7
lrwxrwxrwx 1 root root 10 Aug 24 10:15 wwn-0x50000f0000000000-part8 -> ../../sda8
lrwxrwxrwx 1 root root 10 Aug 24 10:15 wwn-0x50000f0000000000-part9 -> ../../sda9
*********************** END /dev/disk/by-id

*********************** BEGIN /dev/disk/by-uuid
total 0
lrwxrwxrwx 1 root root 10 Aug 24 10:15 1E78587E7858569D -> ../../sda2
lrwxrwxrwx 1 root root 10 Aug 24 10:15 38D85CB0D85C6DDE -> ../../sda3
lrwxrwxrwx 1 root root 10 Aug 24 10:15 38e6e493-2f5f-4a98-b1d6-a9434f0683cc -> ../../sda6
lrwxrwxrwx 1 root root 10 Aug 24 10:15 5450-4444 -> ../../sda1
lrwxrwxrwx 1 root root 10 Aug 24 10:15 84E1-13C8 -> ../../sda8
lrwxrwxrwx 1 root root 10 Aug 24 10:15 a6f69546-dc49-4004-bd72-2d61ea07bf6c -> ../../sda5
lrwxrwxrwx 1 root root 10 Aug 24 10:15 aa626238-1e6d-4190-a750-226979812bd9 -> ../../sda7
lrwxrwxrwx 1 root root 10 Aug 24 10:15 c1837387-d775-47a8-aab6-3942167ee01d -> ../../sda9
*********************** END /dev/disk/by-uuid

-- System Information:
Debian Release: stretch/sid
  APT prefers testing
  APT policy: (990, 'testing'), (500, 'buildd-unstable'), (500, 'unstable'), (500, 'stable'), (500, 'oldstable'), (1, 'buildd-experimental'), (1, 'experimental')
Architecture: amd64 (x86_64)
Foreign Architectures: i386

Kernel: Linux 4.1.0-1-amd64 (SMP w/8 CPU cores)
Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/bash
Init: systemd (via /run/systemd/system)

Versions of packages grub-pc-bin depends on:
ii  grub-common         2.02~beta2-26
ii  libc6               2.19-19
ii  libdevmapper1.02.1  2:1.02.104-1

grub-pc-bin recommends no packages.

Versions of packages grub-pc-bin suggests:
ii  desktop-base  8.0.2

-- no debconf information

-- 
Samuel
<N> un driver qui fait quoi, alors ?
<y> ben pour les bips
<s> pour passer les oops en morse
 -+- #ens-mim - vive les rapports de bug -+-



More information about the Pkg-grub-devel mailing list