Bug#739478: grub2: Scrambled d-i boot screen in kvm

Samuel Thibault sthibault at debian.org
Wed Feb 19 07:02:03 UTC 2014


Package: grub2
Version: 2.00-22
Severity: normal

Hello,

When booting

http://gemmei.acc.umu.se/cdimage/daily-builds/daily/arch-latest/kfreebsd-i386/iso-cd/debian-testing-kfreebsd-i386-netinst.iso

with kvm -cdrom debian-testing-kfreebsd-i386-netinst.iso
the grub boot screen is scrambled, as can be seen in the
attached screenshot.  Funnily enough, using arrows to move inside the
menu switches between scrambled screen and unscrambled screen.

This didn't happen with previous versions of grub2,
e.g. wheezy's 1.99-27+deb7u2, as can be seen with the
debian-7.2.0-kfreebsd-i386-netinst.iso image for instance. It still
happens with version 2.02~beta2-6.  To test newer versions of grub, one
can use:

- mount debian-testing-kfreebsd-i386-netinst.iso /mnt -o loop
- cp -a /mnt /tmp/cd
- grub-mkrescue /tmp/test.iso /tmp/cd

Samuel

-- Package-specific info:

*********************** BEGIN /proc/mounts
/dev/disk/by-uuid/38e6e493-2f5f-4a98-b1d6-a9434f0683cc / ext4 rw,nodiratime,relatime,discard,errors=remount-ro,data=ordered 0 0
/dev/sda9 /home ext4 rw,nodiratime,relatime,discard,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/sda3 /mnt/win fuseblk rw,nosuid,nodev,relatime,user_id=0,group_id=0,allow_other,blksize=4096 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 /var/tmp 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 /home/32/usr/src 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/squeeze/home ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/squeeze/usr/src ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/squeeze/var/cache/pbuilder/result ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/squeeze-32/home ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/squeeze-32/usr/src ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/squeeze-32/var/cache/pbuilder/result 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/wheezy/usr/src 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/wheezy-32/usr/src ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/loop1 /mnt/mnt iso9660 ro,relatime 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
set default="0"

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=-1
else
  set timeout=5
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/joy-grub.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
	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 3.13.0…'
	linux	/boot/vmlinuz-3.13.0 root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
	echo	'Chargement du disque mémoire initial…'
	initrd	/boot/initrd.img-3.13.0
}
submenu 'Options avancées pour Debian GNU/Linux' $menuentry_id_option 'gnulinux-advanced-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
	menuentry 'Debian GNU/Linux, avec Linux 3.13.0' --class debian --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-3.13.0-advanced-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
		load_video
		insmod gzio
		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 3.13.0…'
		linux	/boot/vmlinuz-3.13.0 root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
		echo	'Chargement du disque mémoire initial…'
		initrd	/boot/initrd.img-3.13.0
	}
	menuentry 'Debian GNU/Linux, with Linux 3.13.0 (recovery mode)' --class debian --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-3.13.0-recovery-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
		load_video
		insmod gzio
		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 3.13.0…'
		linux	/boot/vmlinuz-3.13.0 root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
		echo	'Chargement du disque mémoire initial…'
		initrd	/boot/initrd.img-3.13.0
	}
	menuentry 'Debian GNU/Linux, avec Linux 3.12.0' --class debian --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-3.12.0-advanced-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
		load_video
		insmod gzio
		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 3.12.0…'
		linux	/boot/vmlinuz-3.12.0 root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
		echo	'Chargement du disque mémoire initial…'
		initrd	/boot/initrd.img-3.12.0
	}
	menuentry 'Debian GNU/Linux, with Linux 3.12.0 (recovery mode)' --class debian --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-3.12.0-recovery-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
		load_video
		insmod gzio
		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 3.12.0…'
		linux	/boot/vmlinuz-3.12.0 root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
		echo	'Chargement du disque mémoire initial…'
		initrd	/boot/initrd.img-3.12.0
	}
	menuentry 'Debian GNU/Linux, avec Linux 3.12-1-amd64' --class debian --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-3.12-1-amd64-advanced-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
		load_video
		insmod gzio
		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 3.12-1-amd64…'
		linux	/boot/vmlinuz-3.12-1-amd64 root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
		echo	'Chargement du disque mémoire initial…'
		initrd	/boot/initrd.img-3.12-1-amd64
	}
	menuentry 'Debian GNU/Linux, with Linux 3.12-1-amd64 (recovery mode)' --class debian --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-3.12-1-amd64-recovery-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
		load_video
		insmod gzio
		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 3.12-1-amd64…'
		linux	/boot/vmlinuz-3.12-1-amd64 root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
		echo	'Chargement du disque mémoire initial…'
		initrd	/boot/initrd.img-3.12-1-amd64
	}
	menuentry 'Debian GNU/Linux, avec Linux 3.11.0' --class debian --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-3.11.0-advanced-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
		load_video
		insmod gzio
		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 3.11.0…'
		linux	/boot/vmlinuz-3.11.0 root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
		echo	'Chargement du disque mémoire initial…'
		initrd	/boot/initrd.img-3.11.0
	}
	menuentry 'Debian GNU/Linux, with Linux 3.11.0 (recovery mode)' --class debian --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-3.11.0-recovery-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
		load_video
		insmod gzio
		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 3.11.0…'
		linux	/boot/vmlinuz-3.11.0 root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
		echo	'Chargement du disque mémoire initial…'
		initrd	/boot/initrd.img-3.11.0
	}
	menuentry 'Debian GNU/Linux, avec Linux 3.11.0.old' --class debian --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-3.11.0.old-advanced-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
		load_video
		insmod gzio
		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 3.11.0.old…'
		linux	/boot/vmlinuz-3.11.0.old root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
		echo	'Chargement du disque mémoire initial…'
		initrd	/boot/initrd.img-3.11.0
	}
	menuentry 'Debian GNU/Linux, with Linux 3.11.0.old (recovery mode)' --class debian --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-3.11.0.old-recovery-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
		load_video
		insmod gzio
		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 3.11.0.old…'
		linux	/boot/vmlinuz-3.11.0.old root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
		echo	'Chargement du disque mémoire initial…'
		initrd	/boot/initrd.img-3.11.0
	}
	menuentry 'Debian GNU/Linux, avec Linux 3.10.0' --class debian --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-3.10.0-advanced-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
		load_video
		insmod gzio
		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 3.10.0…'
		linux	/boot/vmlinuz-3.10.0 root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
		echo	'Chargement du disque mémoire initial…'
		initrd	/boot/initrd.img-3.10.0
	}
	menuentry 'Debian GNU/Linux, with Linux 3.10.0 (recovery mode)' --class debian --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-3.10.0-recovery-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
		load_video
		insmod gzio
		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 3.10.0…'
		linux	/boot/vmlinuz-3.10.0 root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
		echo	'Chargement du disque mémoire initial…'
		initrd	/boot/initrd.img-3.10.0
	}
	menuentry 'Debian GNU/Linux, avec Linux 3.10-3-amd64' --class debian --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-3.10-3-amd64-advanced-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
		load_video
		insmod gzio
		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 3.10-3-amd64…'
		linux	/boot/vmlinuz-3.10-3-amd64 root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
		echo	'Chargement du disque mémoire initial…'
		initrd	/boot/initrd.img-3.10-3-amd64
	}
	menuentry 'Debian GNU/Linux, with Linux 3.10-3-amd64 (recovery mode)' --class debian --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-3.10-3-amd64-recovery-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
		load_video
		insmod gzio
		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 3.10-3-amd64…'
		linux	/boot/vmlinuz-3.10-3-amd64 root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
		echo	'Chargement du disque mémoire initial…'
		initrd	/boot/initrd.img-3.10-3-amd64
	}
	menuentry 'Debian GNU/Linux, avec Linux 3.9.0' --class debian --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-3.9.0-advanced-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
		load_video
		insmod gzio
		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 3.9.0…'
		linux	/boot/vmlinuz-3.9.0 root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
		echo	'Chargement du disque mémoire initial…'
		initrd	/boot/initrd.img-3.9.0
	}
	menuentry 'Debian GNU/Linux, with Linux 3.9.0 (recovery mode)' --class debian --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-3.9.0-recovery-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
		load_video
		insmod gzio
		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 3.9.0…'
		linux	/boot/vmlinuz-3.9.0 root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
		echo	'Chargement du disque mémoire initial…'
		initrd	/boot/initrd.img-3.9.0
	}
	menuentry 'Debian GNU/Linux, avec Linux 3.2.0-4-amd64' --class debian --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-3.2.0-4-amd64-advanced-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
		load_video
		insmod gzio
		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 3.2.0-4-amd64…'
		linux	/boot/vmlinuz-3.2.0-4-amd64 root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
		echo	'Chargement du disque mémoire initial…'
		initrd	/boot/initrd.img-3.2.0-4-amd64
	}
	menuentry 'Debian GNU/Linux, with Linux 3.2.0-4-amd64 (recovery mode)' --class debian --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-3.2.0-4-amd64-recovery-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
		load_video
		insmod gzio
		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 3.2.0-4-amd64…'
		linux	/boot/vmlinuz-3.2.0-4-amd64 root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
		echo	'Chargement du disque mémoire initial…'
		initrd	/boot/initrd.img-3.2.0-4-amd64
	}
	menuentry 'Debian GNU/Linux, avec Linux 2.6.32-5-xen-amd64' --class debian --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-2.6.32-5-xen-amd64-advanced-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
		load_video
		insmod gzio
		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 2.6.32-5-xen-amd64…'
		linux	/boot/vmlinuz-2.6.32-5-xen-amd64 root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
		echo	'Chargement du disque mémoire initial…'
		initrd	/boot/initrd.img-2.6.32-5-xen-amd64
	}
	menuentry 'Debian GNU/Linux, with Linux 2.6.32-5-xen-amd64 (recovery mode)' --class debian --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-2.6.32-5-xen-amd64-recovery-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
		load_video
		insmod gzio
		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 2.6.32-5-xen-amd64…'
		linux	/boot/vmlinuz-2.6.32-5-xen-amd64 root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
		echo	'Chargement du disque mémoire initial…'
		initrd	/boot/initrd.img-2.6.32-5-xen-amd64
	}
}

### 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…'
	multiboot	/boot/xen-4.4.gz placeholder  
	echo	'Chargement de Linux 3.13.0…'
	module	/boot/vmlinuz-3.13.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
	echo	'Chargement du disque mémoire initial…'
	module	/boot/initrd.img-3.13.0
}
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 3.13.0' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.13.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…'
			multiboot	/boot/xen-4.4.gz placeholder  
			echo	'Chargement de Linux 3.13.0…'
			module	/boot/vmlinuz-3.13.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.13.0
		}
		menuentry 'Debian GNU/Linux, with Xen 4.4 and Linux 3.13.0 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.13.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…'
			multiboot	/boot/xen-4.4.gz placeholder 
			echo	'Chargement de Linux 3.13.0…'
			module	/boot/vmlinuz-3.13.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.13.0
		}
		menuentry 'Debian GNU/Linux, avec Xen 4.4 et Linux 3.12.0' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.12.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…'
			multiboot	/boot/xen-4.4.gz placeholder  
			echo	'Chargement de Linux 3.12.0…'
			module	/boot/vmlinuz-3.12.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.12.0
		}
		menuentry 'Debian GNU/Linux, with Xen 4.4 and Linux 3.12.0 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.12.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…'
			multiboot	/boot/xen-4.4.gz placeholder 
			echo	'Chargement de Linux 3.12.0…'
			module	/boot/vmlinuz-3.12.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.12.0
		}
		menuentry 'Debian GNU/Linux, avec Xen 4.4 et Linux 3.12-1-amd64' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.12-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…'
			multiboot	/boot/xen-4.4.gz placeholder  
			echo	'Chargement de Linux 3.12-1-amd64…'
			module	/boot/vmlinuz-3.12-1-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.12-1-amd64
		}
		menuentry 'Debian GNU/Linux, with Xen 4.4 and Linux 3.12-1-amd64 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.12-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…'
			multiboot	/boot/xen-4.4.gz placeholder 
			echo	'Chargement de Linux 3.12-1-amd64…'
			module	/boot/vmlinuz-3.12-1-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.12-1-amd64
		}
		menuentry 'Debian GNU/Linux, avec Xen 4.4 et Linux 3.11.0' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.11.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…'
			multiboot	/boot/xen-4.4.gz placeholder  
			echo	'Chargement de Linux 3.11.0…'
			module	/boot/vmlinuz-3.11.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.11.0
		}
		menuentry 'Debian GNU/Linux, with Xen 4.4 and Linux 3.11.0 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.11.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…'
			multiboot	/boot/xen-4.4.gz placeholder 
			echo	'Chargement de Linux 3.11.0…'
			module	/boot/vmlinuz-3.11.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.11.0
		}
		menuentry 'Debian GNU/Linux, avec Xen 4.4 et Linux 3.11.0.old' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.11.0.old-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…'
			multiboot	/boot/xen-4.4.gz placeholder  
			echo	'Chargement de Linux 3.11.0.old…'
			module	/boot/vmlinuz-3.11.0.old placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.11.0
		}
		menuentry 'Debian GNU/Linux, with Xen 4.4 and Linux 3.11.0.old (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.11.0.old-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…'
			multiboot	/boot/xen-4.4.gz placeholder 
			echo	'Chargement de Linux 3.11.0.old…'
			module	/boot/vmlinuz-3.11.0.old placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.11.0
		}
		menuentry 'Debian GNU/Linux, avec Xen 4.4 et Linux 3.10.0' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.10.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…'
			multiboot	/boot/xen-4.4.gz placeholder  
			echo	'Chargement de Linux 3.10.0…'
			module	/boot/vmlinuz-3.10.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.10.0
		}
		menuentry 'Debian GNU/Linux, with Xen 4.4 and Linux 3.10.0 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.10.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…'
			multiboot	/boot/xen-4.4.gz placeholder 
			echo	'Chargement de Linux 3.10.0…'
			module	/boot/vmlinuz-3.10.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.10.0
		}
		menuentry 'Debian GNU/Linux, avec Xen 4.4 et Linux 3.10-3-amd64' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.10-3-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…'
			multiboot	/boot/xen-4.4.gz placeholder  
			echo	'Chargement de Linux 3.10-3-amd64…'
			module	/boot/vmlinuz-3.10-3-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.10-3-amd64
		}
		menuentry 'Debian GNU/Linux, with Xen 4.4 and Linux 3.10-3-amd64 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.10-3-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…'
			multiboot	/boot/xen-4.4.gz placeholder 
			echo	'Chargement de Linux 3.10-3-amd64…'
			module	/boot/vmlinuz-3.10-3-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.10-3-amd64
		}
		menuentry 'Debian GNU/Linux, avec Xen 4.4 et Linux 3.9.0' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.9.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…'
			multiboot	/boot/xen-4.4.gz placeholder  
			echo	'Chargement de Linux 3.9.0…'
			module	/boot/vmlinuz-3.9.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.9.0
		}
		menuentry 'Debian GNU/Linux, with Xen 4.4 and Linux 3.9.0 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.9.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…'
			multiboot	/boot/xen-4.4.gz placeholder 
			echo	'Chargement de Linux 3.9.0…'
			module	/boot/vmlinuz-3.9.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.9.0
		}
		menuentry 'Debian GNU/Linux, avec Xen 4.4 et Linux 3.2.0-4-amd64' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.2.0-4-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…'
			multiboot	/boot/xen-4.4.gz placeholder  
			echo	'Chargement de Linux 3.2.0-4-amd64…'
			module	/boot/vmlinuz-3.2.0-4-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.2.0-4-amd64
		}
		menuentry 'Debian GNU/Linux, with Xen 4.4 and Linux 3.2.0-4-amd64 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.2.0-4-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…'
			multiboot	/boot/xen-4.4.gz placeholder 
			echo	'Chargement de Linux 3.2.0-4-amd64…'
			module	/boot/vmlinuz-3.2.0-4-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.2.0-4-amd64
		}
		menuentry 'Debian GNU/Linux, avec Xen 4.4 et Linux 2.6.32-5-xen-amd64' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-2.6.32-5-xen-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…'
			multiboot	/boot/xen-4.4.gz placeholder  
			echo	'Chargement de Linux 2.6.32-5-xen-amd64…'
			module	/boot/vmlinuz-2.6.32-5-xen-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-2.6.32-5-xen-amd64
		}
		menuentry 'Debian GNU/Linux, with Xen 4.4 and Linux 2.6.32-5-xen-amd64 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-2.6.32-5-xen-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…'
			multiboot	/boot/xen-4.4.gz placeholder 
			echo	'Chargement de Linux 2.6.32-5-xen-amd64…'
			module	/boot/vmlinuz-2.6.32-5-xen-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-2.6.32-5-xen-amd64
		}
	}
	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 3.13.0' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.13.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…'
			multiboot	/boot/xen-4.3.gz placeholder  
			echo	'Chargement de Linux 3.13.0…'
			module	/boot/vmlinuz-3.13.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.13.0
		}
		menuentry 'Debian GNU/Linux, with Xen 4.3 and Linux 3.13.0 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.13.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…'
			multiboot	/boot/xen-4.3.gz placeholder 
			echo	'Chargement de Linux 3.13.0…'
			module	/boot/vmlinuz-3.13.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.13.0
		}
		menuentry 'Debian GNU/Linux, avec Xen 4.3 et Linux 3.12.0' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.12.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…'
			multiboot	/boot/xen-4.3.gz placeholder  
			echo	'Chargement de Linux 3.12.0…'
			module	/boot/vmlinuz-3.12.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.12.0
		}
		menuentry 'Debian GNU/Linux, with Xen 4.3 and Linux 3.12.0 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.12.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…'
			multiboot	/boot/xen-4.3.gz placeholder 
			echo	'Chargement de Linux 3.12.0…'
			module	/boot/vmlinuz-3.12.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.12.0
		}
		menuentry 'Debian GNU/Linux, avec Xen 4.3 et Linux 3.12-1-amd64' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.12-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…'
			multiboot	/boot/xen-4.3.gz placeholder  
			echo	'Chargement de Linux 3.12-1-amd64…'
			module	/boot/vmlinuz-3.12-1-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.12-1-amd64
		}
		menuentry 'Debian GNU/Linux, with Xen 4.3 and Linux 3.12-1-amd64 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.12-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…'
			multiboot	/boot/xen-4.3.gz placeholder 
			echo	'Chargement de Linux 3.12-1-amd64…'
			module	/boot/vmlinuz-3.12-1-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.12-1-amd64
		}
		menuentry 'Debian GNU/Linux, avec Xen 4.3 et Linux 3.11.0' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.11.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…'
			multiboot	/boot/xen-4.3.gz placeholder  
			echo	'Chargement de Linux 3.11.0…'
			module	/boot/vmlinuz-3.11.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.11.0
		}
		menuentry 'Debian GNU/Linux, with Xen 4.3 and Linux 3.11.0 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.11.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…'
			multiboot	/boot/xen-4.3.gz placeholder 
			echo	'Chargement de Linux 3.11.0…'
			module	/boot/vmlinuz-3.11.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.11.0
		}
		menuentry 'Debian GNU/Linux, avec Xen 4.3 et Linux 3.11.0.old' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.11.0.old-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…'
			multiboot	/boot/xen-4.3.gz placeholder  
			echo	'Chargement de Linux 3.11.0.old…'
			module	/boot/vmlinuz-3.11.0.old placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.11.0
		}
		menuentry 'Debian GNU/Linux, with Xen 4.3 and Linux 3.11.0.old (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.11.0.old-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…'
			multiboot	/boot/xen-4.3.gz placeholder 
			echo	'Chargement de Linux 3.11.0.old…'
			module	/boot/vmlinuz-3.11.0.old placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.11.0
		}
		menuentry 'Debian GNU/Linux, avec Xen 4.3 et Linux 3.10.0' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.10.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…'
			multiboot	/boot/xen-4.3.gz placeholder  
			echo	'Chargement de Linux 3.10.0…'
			module	/boot/vmlinuz-3.10.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.10.0
		}
		menuentry 'Debian GNU/Linux, with Xen 4.3 and Linux 3.10.0 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.10.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…'
			multiboot	/boot/xen-4.3.gz placeholder 
			echo	'Chargement de Linux 3.10.0…'
			module	/boot/vmlinuz-3.10.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.10.0
		}
		menuentry 'Debian GNU/Linux, avec Xen 4.3 et Linux 3.10-3-amd64' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.10-3-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…'
			multiboot	/boot/xen-4.3.gz placeholder  
			echo	'Chargement de Linux 3.10-3-amd64…'
			module	/boot/vmlinuz-3.10-3-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.10-3-amd64
		}
		menuentry 'Debian GNU/Linux, with Xen 4.3 and Linux 3.10-3-amd64 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.10-3-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…'
			multiboot	/boot/xen-4.3.gz placeholder 
			echo	'Chargement de Linux 3.10-3-amd64…'
			module	/boot/vmlinuz-3.10-3-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.10-3-amd64
		}
		menuentry 'Debian GNU/Linux, avec Xen 4.3 et Linux 3.9.0' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.9.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…'
			multiboot	/boot/xen-4.3.gz placeholder  
			echo	'Chargement de Linux 3.9.0…'
			module	/boot/vmlinuz-3.9.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.9.0
		}
		menuentry 'Debian GNU/Linux, with Xen 4.3 and Linux 3.9.0 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.9.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…'
			multiboot	/boot/xen-4.3.gz placeholder 
			echo	'Chargement de Linux 3.9.0…'
			module	/boot/vmlinuz-3.9.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.9.0
		}
		menuentry 'Debian GNU/Linux, avec Xen 4.3 et Linux 3.2.0-4-amd64' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.2.0-4-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…'
			multiboot	/boot/xen-4.3.gz placeholder  
			echo	'Chargement de Linux 3.2.0-4-amd64…'
			module	/boot/vmlinuz-3.2.0-4-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.2.0-4-amd64
		}
		menuentry 'Debian GNU/Linux, with Xen 4.3 and Linux 3.2.0-4-amd64 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.2.0-4-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…'
			multiboot	/boot/xen-4.3.gz placeholder 
			echo	'Chargement de Linux 3.2.0-4-amd64…'
			module	/boot/vmlinuz-3.2.0-4-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.2.0-4-amd64
		}
		menuentry 'Debian GNU/Linux, avec Xen 4.3 et Linux 2.6.32-5-xen-amd64' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-2.6.32-5-xen-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…'
			multiboot	/boot/xen-4.3.gz placeholder  
			echo	'Chargement de Linux 2.6.32-5-xen-amd64…'
			module	/boot/vmlinuz-2.6.32-5-xen-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-2.6.32-5-xen-amd64
		}
		menuentry 'Debian GNU/Linux, with Xen 4.3 and Linux 2.6.32-5-xen-amd64 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-2.6.32-5-xen-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…'
			multiboot	/boot/xen-4.3.gz placeholder 
			echo	'Chargement de Linux 2.6.32-5-xen-amd64…'
			module	/boot/vmlinuz-2.6.32-5-xen-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-2.6.32-5-xen-amd64
		}
	}
	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 3.13.0' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.13.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…'
			multiboot	/boot/xen-4.3-amd64.gz placeholder  
			echo	'Chargement de Linux 3.13.0…'
			module	/boot/vmlinuz-3.13.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.13.0
		}
		menuentry 'Debian GNU/Linux, with Xen 4.3-amd64 and Linux 3.13.0 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.13.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…'
			multiboot	/boot/xen-4.3-amd64.gz placeholder 
			echo	'Chargement de Linux 3.13.0…'
			module	/boot/vmlinuz-3.13.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.13.0
		}
		menuentry 'Debian GNU/Linux, avec Xen 4.3-amd64 et Linux 3.12.0' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.12.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…'
			multiboot	/boot/xen-4.3-amd64.gz placeholder  
			echo	'Chargement de Linux 3.12.0…'
			module	/boot/vmlinuz-3.12.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.12.0
		}
		menuentry 'Debian GNU/Linux, with Xen 4.3-amd64 and Linux 3.12.0 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.12.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…'
			multiboot	/boot/xen-4.3-amd64.gz placeholder 
			echo	'Chargement de Linux 3.12.0…'
			module	/boot/vmlinuz-3.12.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.12.0
		}
		menuentry 'Debian GNU/Linux, avec Xen 4.3-amd64 et Linux 3.12-1-amd64' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.12-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…'
			multiboot	/boot/xen-4.3-amd64.gz placeholder  
			echo	'Chargement de Linux 3.12-1-amd64…'
			module	/boot/vmlinuz-3.12-1-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.12-1-amd64
		}
		menuentry 'Debian GNU/Linux, with Xen 4.3-amd64 and Linux 3.12-1-amd64 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.12-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…'
			multiboot	/boot/xen-4.3-amd64.gz placeholder 
			echo	'Chargement de Linux 3.12-1-amd64…'
			module	/boot/vmlinuz-3.12-1-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.12-1-amd64
		}
		menuentry 'Debian GNU/Linux, avec Xen 4.3-amd64 et Linux 3.11.0' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.11.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…'
			multiboot	/boot/xen-4.3-amd64.gz placeholder  
			echo	'Chargement de Linux 3.11.0…'
			module	/boot/vmlinuz-3.11.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.11.0
		}
		menuentry 'Debian GNU/Linux, with Xen 4.3-amd64 and Linux 3.11.0 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.11.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…'
			multiboot	/boot/xen-4.3-amd64.gz placeholder 
			echo	'Chargement de Linux 3.11.0…'
			module	/boot/vmlinuz-3.11.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.11.0
		}
		menuentry 'Debian GNU/Linux, avec Xen 4.3-amd64 et Linux 3.11.0.old' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.11.0.old-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…'
			multiboot	/boot/xen-4.3-amd64.gz placeholder  
			echo	'Chargement de Linux 3.11.0.old…'
			module	/boot/vmlinuz-3.11.0.old placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.11.0
		}
		menuentry 'Debian GNU/Linux, with Xen 4.3-amd64 and Linux 3.11.0.old (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.11.0.old-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…'
			multiboot	/boot/xen-4.3-amd64.gz placeholder 
			echo	'Chargement de Linux 3.11.0.old…'
			module	/boot/vmlinuz-3.11.0.old placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.11.0
		}
		menuentry 'Debian GNU/Linux, avec Xen 4.3-amd64 et Linux 3.10.0' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.10.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…'
			multiboot	/boot/xen-4.3-amd64.gz placeholder  
			echo	'Chargement de Linux 3.10.0…'
			module	/boot/vmlinuz-3.10.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.10.0
		}
		menuentry 'Debian GNU/Linux, with Xen 4.3-amd64 and Linux 3.10.0 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.10.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…'
			multiboot	/boot/xen-4.3-amd64.gz placeholder 
			echo	'Chargement de Linux 3.10.0…'
			module	/boot/vmlinuz-3.10.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.10.0
		}
		menuentry 'Debian GNU/Linux, avec Xen 4.3-amd64 et Linux 3.10-3-amd64' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.10-3-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…'
			multiboot	/boot/xen-4.3-amd64.gz placeholder  
			echo	'Chargement de Linux 3.10-3-amd64…'
			module	/boot/vmlinuz-3.10-3-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.10-3-amd64
		}
		menuentry 'Debian GNU/Linux, with Xen 4.3-amd64 and Linux 3.10-3-amd64 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.10-3-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…'
			multiboot	/boot/xen-4.3-amd64.gz placeholder 
			echo	'Chargement de Linux 3.10-3-amd64…'
			module	/boot/vmlinuz-3.10-3-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.10-3-amd64
		}
		menuentry 'Debian GNU/Linux, avec Xen 4.3-amd64 et Linux 3.9.0' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.9.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…'
			multiboot	/boot/xen-4.3-amd64.gz placeholder  
			echo	'Chargement de Linux 3.9.0…'
			module	/boot/vmlinuz-3.9.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.9.0
		}
		menuentry 'Debian GNU/Linux, with Xen 4.3-amd64 and Linux 3.9.0 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.9.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…'
			multiboot	/boot/xen-4.3-amd64.gz placeholder 
			echo	'Chargement de Linux 3.9.0…'
			module	/boot/vmlinuz-3.9.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.9.0
		}
		menuentry 'Debian GNU/Linux, avec Xen 4.3-amd64 et Linux 3.2.0-4-amd64' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.2.0-4-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…'
			multiboot	/boot/xen-4.3-amd64.gz placeholder  
			echo	'Chargement de Linux 3.2.0-4-amd64…'
			module	/boot/vmlinuz-3.2.0-4-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.2.0-4-amd64
		}
		menuentry 'Debian GNU/Linux, with Xen 4.3-amd64 and Linux 3.2.0-4-amd64 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.2.0-4-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…'
			multiboot	/boot/xen-4.3-amd64.gz placeholder 
			echo	'Chargement de Linux 3.2.0-4-amd64…'
			module	/boot/vmlinuz-3.2.0-4-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.2.0-4-amd64
		}
		menuentry 'Debian GNU/Linux, avec Xen 4.3-amd64 et Linux 2.6.32-5-xen-amd64' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-2.6.32-5-xen-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…'
			multiboot	/boot/xen-4.3-amd64.gz placeholder  
			echo	'Chargement de Linux 2.6.32-5-xen-amd64…'
			module	/boot/vmlinuz-2.6.32-5-xen-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-2.6.32-5-xen-amd64
		}
		menuentry 'Debian GNU/Linux, with Xen 4.3-amd64 and Linux 2.6.32-5-xen-amd64 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-2.6.32-5-xen-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…'
			multiboot	/boot/xen-4.3-amd64.gz placeholder 
			echo	'Chargement de Linux 2.6.32-5-xen-amd64…'
			module	/boot/vmlinuz-2.6.32-5-xen-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-2.6.32-5-xen-amd64
		}
	}
	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 3.13.0' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.13.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…'
			multiboot	/boot/xen-4.1.gz placeholder  
			echo	'Chargement de Linux 3.13.0…'
			module	/boot/vmlinuz-3.13.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.13.0
		}
		menuentry 'Debian GNU/Linux, with Xen 4.1 and Linux 3.13.0 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.13.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…'
			multiboot	/boot/xen-4.1.gz placeholder 
			echo	'Chargement de Linux 3.13.0…'
			module	/boot/vmlinuz-3.13.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.13.0
		}
		menuentry 'Debian GNU/Linux, avec Xen 4.1 et Linux 3.12.0' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.12.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…'
			multiboot	/boot/xen-4.1.gz placeholder  
			echo	'Chargement de Linux 3.12.0…'
			module	/boot/vmlinuz-3.12.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.12.0
		}
		menuentry 'Debian GNU/Linux, with Xen 4.1 and Linux 3.12.0 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.12.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…'
			multiboot	/boot/xen-4.1.gz placeholder 
			echo	'Chargement de Linux 3.12.0…'
			module	/boot/vmlinuz-3.12.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.12.0
		}
		menuentry 'Debian GNU/Linux, avec Xen 4.1 et Linux 3.12-1-amd64' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.12-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…'
			multiboot	/boot/xen-4.1.gz placeholder  
			echo	'Chargement de Linux 3.12-1-amd64…'
			module	/boot/vmlinuz-3.12-1-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.12-1-amd64
		}
		menuentry 'Debian GNU/Linux, with Xen 4.1 and Linux 3.12-1-amd64 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.12-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…'
			multiboot	/boot/xen-4.1.gz placeholder 
			echo	'Chargement de Linux 3.12-1-amd64…'
			module	/boot/vmlinuz-3.12-1-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.12-1-amd64
		}
		menuentry 'Debian GNU/Linux, avec Xen 4.1 et Linux 3.11.0' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.11.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…'
			multiboot	/boot/xen-4.1.gz placeholder  
			echo	'Chargement de Linux 3.11.0…'
			module	/boot/vmlinuz-3.11.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.11.0
		}
		menuentry 'Debian GNU/Linux, with Xen 4.1 and Linux 3.11.0 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.11.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…'
			multiboot	/boot/xen-4.1.gz placeholder 
			echo	'Chargement de Linux 3.11.0…'
			module	/boot/vmlinuz-3.11.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.11.0
		}
		menuentry 'Debian GNU/Linux, avec Xen 4.1 et Linux 3.11.0.old' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.11.0.old-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…'
			multiboot	/boot/xen-4.1.gz placeholder  
			echo	'Chargement de Linux 3.11.0.old…'
			module	/boot/vmlinuz-3.11.0.old placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.11.0
		}
		menuentry 'Debian GNU/Linux, with Xen 4.1 and Linux 3.11.0.old (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.11.0.old-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…'
			multiboot	/boot/xen-4.1.gz placeholder 
			echo	'Chargement de Linux 3.11.0.old…'
			module	/boot/vmlinuz-3.11.0.old placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.11.0
		}
		menuentry 'Debian GNU/Linux, avec Xen 4.1 et Linux 3.10.0' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.10.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…'
			multiboot	/boot/xen-4.1.gz placeholder  
			echo	'Chargement de Linux 3.10.0…'
			module	/boot/vmlinuz-3.10.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.10.0
		}
		menuentry 'Debian GNU/Linux, with Xen 4.1 and Linux 3.10.0 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.10.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…'
			multiboot	/boot/xen-4.1.gz placeholder 
			echo	'Chargement de Linux 3.10.0…'
			module	/boot/vmlinuz-3.10.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.10.0
		}
		menuentry 'Debian GNU/Linux, avec Xen 4.1 et Linux 3.10-3-amd64' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.10-3-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…'
			multiboot	/boot/xen-4.1.gz placeholder  
			echo	'Chargement de Linux 3.10-3-amd64…'
			module	/boot/vmlinuz-3.10-3-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.10-3-amd64
		}
		menuentry 'Debian GNU/Linux, with Xen 4.1 and Linux 3.10-3-amd64 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.10-3-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…'
			multiboot	/boot/xen-4.1.gz placeholder 
			echo	'Chargement de Linux 3.10-3-amd64…'
			module	/boot/vmlinuz-3.10-3-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.10-3-amd64
		}
		menuentry 'Debian GNU/Linux, avec Xen 4.1 et Linux 3.9.0' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.9.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…'
			multiboot	/boot/xen-4.1.gz placeholder  
			echo	'Chargement de Linux 3.9.0…'
			module	/boot/vmlinuz-3.9.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.9.0
		}
		menuentry 'Debian GNU/Linux, with Xen 4.1 and Linux 3.9.0 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.9.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…'
			multiboot	/boot/xen-4.1.gz placeholder 
			echo	'Chargement de Linux 3.9.0…'
			module	/boot/vmlinuz-3.9.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.9.0
		}
		menuentry 'Debian GNU/Linux, avec Xen 4.1 et Linux 3.2.0-4-amd64' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.2.0-4-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…'
			multiboot	/boot/xen-4.1.gz placeholder  
			echo	'Chargement de Linux 3.2.0-4-amd64…'
			module	/boot/vmlinuz-3.2.0-4-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.2.0-4-amd64
		}
		menuentry 'Debian GNU/Linux, with Xen 4.1 and Linux 3.2.0-4-amd64 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.2.0-4-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…'
			multiboot	/boot/xen-4.1.gz placeholder 
			echo	'Chargement de Linux 3.2.0-4-amd64…'
			module	/boot/vmlinuz-3.2.0-4-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.2.0-4-amd64
		}
		menuentry 'Debian GNU/Linux, avec Xen 4.1 et Linux 2.6.32-5-xen-amd64' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-2.6.32-5-xen-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…'
			multiboot	/boot/xen-4.1.gz placeholder  
			echo	'Chargement de Linux 2.6.32-5-xen-amd64…'
			module	/boot/vmlinuz-2.6.32-5-xen-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-2.6.32-5-xen-amd64
		}
		menuentry 'Debian GNU/Linux, with Xen 4.1 and Linux 2.6.32-5-xen-amd64 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-2.6.32-5-xen-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…'
			multiboot	/boot/xen-4.1.gz placeholder 
			echo	'Chargement de Linux 2.6.32-5-xen-amd64…'
			module	/boot/vmlinuz-2.6.32-5-xen-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-2.6.32-5-xen-amd64
		}
	}
	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 3.13.0' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.13.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…'
			multiboot	/boot/xen-4.1-amd64.gz placeholder  
			echo	'Chargement de Linux 3.13.0…'
			module	/boot/vmlinuz-3.13.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.13.0
		}
		menuentry 'Debian GNU/Linux, with Xen 4.1-amd64 and Linux 3.13.0 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.13.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…'
			multiboot	/boot/xen-4.1-amd64.gz placeholder 
			echo	'Chargement de Linux 3.13.0…'
			module	/boot/vmlinuz-3.13.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.13.0
		}
		menuentry 'Debian GNU/Linux, avec Xen 4.1-amd64 et Linux 3.12.0' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.12.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…'
			multiboot	/boot/xen-4.1-amd64.gz placeholder  
			echo	'Chargement de Linux 3.12.0…'
			module	/boot/vmlinuz-3.12.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.12.0
		}
		menuentry 'Debian GNU/Linux, with Xen 4.1-amd64 and Linux 3.12.0 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.12.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…'
			multiboot	/boot/xen-4.1-amd64.gz placeholder 
			echo	'Chargement de Linux 3.12.0…'
			module	/boot/vmlinuz-3.12.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.12.0
		}
		menuentry 'Debian GNU/Linux, avec Xen 4.1-amd64 et Linux 3.12-1-amd64' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.12-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…'
			multiboot	/boot/xen-4.1-amd64.gz placeholder  
			echo	'Chargement de Linux 3.12-1-amd64…'
			module	/boot/vmlinuz-3.12-1-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.12-1-amd64
		}
		menuentry 'Debian GNU/Linux, with Xen 4.1-amd64 and Linux 3.12-1-amd64 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.12-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…'
			multiboot	/boot/xen-4.1-amd64.gz placeholder 
			echo	'Chargement de Linux 3.12-1-amd64…'
			module	/boot/vmlinuz-3.12-1-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.12-1-amd64
		}
		menuentry 'Debian GNU/Linux, avec Xen 4.1-amd64 et Linux 3.11.0' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.11.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…'
			multiboot	/boot/xen-4.1-amd64.gz placeholder  
			echo	'Chargement de Linux 3.11.0…'
			module	/boot/vmlinuz-3.11.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.11.0
		}
		menuentry 'Debian GNU/Linux, with Xen 4.1-amd64 and Linux 3.11.0 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.11.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…'
			multiboot	/boot/xen-4.1-amd64.gz placeholder 
			echo	'Chargement de Linux 3.11.0…'
			module	/boot/vmlinuz-3.11.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.11.0
		}
		menuentry 'Debian GNU/Linux, avec Xen 4.1-amd64 et Linux 3.11.0.old' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.11.0.old-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…'
			multiboot	/boot/xen-4.1-amd64.gz placeholder  
			echo	'Chargement de Linux 3.11.0.old…'
			module	/boot/vmlinuz-3.11.0.old placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.11.0
		}
		menuentry 'Debian GNU/Linux, with Xen 4.1-amd64 and Linux 3.11.0.old (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.11.0.old-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…'
			multiboot	/boot/xen-4.1-amd64.gz placeholder 
			echo	'Chargement de Linux 3.11.0.old…'
			module	/boot/vmlinuz-3.11.0.old placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.11.0
		}
		menuentry 'Debian GNU/Linux, avec Xen 4.1-amd64 et Linux 3.10.0' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.10.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…'
			multiboot	/boot/xen-4.1-amd64.gz placeholder  
			echo	'Chargement de Linux 3.10.0…'
			module	/boot/vmlinuz-3.10.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.10.0
		}
		menuentry 'Debian GNU/Linux, with Xen 4.1-amd64 and Linux 3.10.0 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.10.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…'
			multiboot	/boot/xen-4.1-amd64.gz placeholder 
			echo	'Chargement de Linux 3.10.0…'
			module	/boot/vmlinuz-3.10.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.10.0
		}
		menuentry 'Debian GNU/Linux, avec Xen 4.1-amd64 et Linux 3.10-3-amd64' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.10-3-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…'
			multiboot	/boot/xen-4.1-amd64.gz placeholder  
			echo	'Chargement de Linux 3.10-3-amd64…'
			module	/boot/vmlinuz-3.10-3-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.10-3-amd64
		}
		menuentry 'Debian GNU/Linux, with Xen 4.1-amd64 and Linux 3.10-3-amd64 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.10-3-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…'
			multiboot	/boot/xen-4.1-amd64.gz placeholder 
			echo	'Chargement de Linux 3.10-3-amd64…'
			module	/boot/vmlinuz-3.10-3-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.10-3-amd64
		}
		menuentry 'Debian GNU/Linux, avec Xen 4.1-amd64 et Linux 3.9.0' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.9.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…'
			multiboot	/boot/xen-4.1-amd64.gz placeholder  
			echo	'Chargement de Linux 3.9.0…'
			module	/boot/vmlinuz-3.9.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.9.0
		}
		menuentry 'Debian GNU/Linux, with Xen 4.1-amd64 and Linux 3.9.0 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.9.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…'
			multiboot	/boot/xen-4.1-amd64.gz placeholder 
			echo	'Chargement de Linux 3.9.0…'
			module	/boot/vmlinuz-3.9.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.9.0
		}
		menuentry 'Debian GNU/Linux, avec Xen 4.1-amd64 et Linux 3.2.0-4-amd64' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.2.0-4-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…'
			multiboot	/boot/xen-4.1-amd64.gz placeholder  
			echo	'Chargement de Linux 3.2.0-4-amd64…'
			module	/boot/vmlinuz-3.2.0-4-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.2.0-4-amd64
		}
		menuentry 'Debian GNU/Linux, with Xen 4.1-amd64 and Linux 3.2.0-4-amd64 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.2.0-4-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…'
			multiboot	/boot/xen-4.1-amd64.gz placeholder 
			echo	'Chargement de Linux 3.2.0-4-amd64…'
			module	/boot/vmlinuz-3.2.0-4-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.2.0-4-amd64
		}
		menuentry 'Debian GNU/Linux, avec Xen 4.1-amd64 et Linux 2.6.32-5-xen-amd64' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-2.6.32-5-xen-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…'
			multiboot	/boot/xen-4.1-amd64.gz placeholder  
			echo	'Chargement de Linux 2.6.32-5-xen-amd64…'
			module	/boot/vmlinuz-2.6.32-5-xen-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-2.6.32-5-xen-amd64
		}
		menuentry 'Debian GNU/Linux, with Xen 4.1-amd64 and Linux 2.6.32-5-xen-amd64 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-2.6.32-5-xen-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…'
			multiboot	/boot/xen-4.1-amd64.gz placeholder 
			echo	'Chargement de Linux 2.6.32-5-xen-amd64…'
			module	/boot/vmlinuz-2.6.32-5-xen-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-2.6.32-5-xen-amd64
		}
	}
	submenu 'Hyperviseur Xen, version 4.0' $menuentry_id_option 'xen-hypervisor-4.0-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
		menuentry 'Debian GNU/Linux, avec Xen 4.0 et Linux 3.13.0' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.13.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.0…'
			multiboot	/boot/xen-4.0.gz placeholder  
			echo	'Chargement de Linux 3.13.0…'
			module	/boot/vmlinuz-3.13.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.13.0
		}
		menuentry 'Debian GNU/Linux, with Xen 4.0 and Linux 3.13.0 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.13.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.0…'
			multiboot	/boot/xen-4.0.gz placeholder 
			echo	'Chargement de Linux 3.13.0…'
			module	/boot/vmlinuz-3.13.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.13.0
		}
		menuentry 'Debian GNU/Linux, avec Xen 4.0 et Linux 3.12.0' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.12.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.0…'
			multiboot	/boot/xen-4.0.gz placeholder  
			echo	'Chargement de Linux 3.12.0…'
			module	/boot/vmlinuz-3.12.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.12.0
		}
		menuentry 'Debian GNU/Linux, with Xen 4.0 and Linux 3.12.0 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.12.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.0…'
			multiboot	/boot/xen-4.0.gz placeholder 
			echo	'Chargement de Linux 3.12.0…'
			module	/boot/vmlinuz-3.12.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.12.0
		}
		menuentry 'Debian GNU/Linux, avec Xen 4.0 et Linux 3.12-1-amd64' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.12-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.0…'
			multiboot	/boot/xen-4.0.gz placeholder  
			echo	'Chargement de Linux 3.12-1-amd64…'
			module	/boot/vmlinuz-3.12-1-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.12-1-amd64
		}
		menuentry 'Debian GNU/Linux, with Xen 4.0 and Linux 3.12-1-amd64 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.12-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.0…'
			multiboot	/boot/xen-4.0.gz placeholder 
			echo	'Chargement de Linux 3.12-1-amd64…'
			module	/boot/vmlinuz-3.12-1-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.12-1-amd64
		}
		menuentry 'Debian GNU/Linux, avec Xen 4.0 et Linux 3.11.0' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.11.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.0…'
			multiboot	/boot/xen-4.0.gz placeholder  
			echo	'Chargement de Linux 3.11.0…'
			module	/boot/vmlinuz-3.11.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.11.0
		}
		menuentry 'Debian GNU/Linux, with Xen 4.0 and Linux 3.11.0 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.11.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.0…'
			multiboot	/boot/xen-4.0.gz placeholder 
			echo	'Chargement de Linux 3.11.0…'
			module	/boot/vmlinuz-3.11.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.11.0
		}
		menuentry 'Debian GNU/Linux, avec Xen 4.0 et Linux 3.11.0.old' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.11.0.old-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.0…'
			multiboot	/boot/xen-4.0.gz placeholder  
			echo	'Chargement de Linux 3.11.0.old…'
			module	/boot/vmlinuz-3.11.0.old placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.11.0
		}
		menuentry 'Debian GNU/Linux, with Xen 4.0 and Linux 3.11.0.old (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.11.0.old-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.0…'
			multiboot	/boot/xen-4.0.gz placeholder 
			echo	'Chargement de Linux 3.11.0.old…'
			module	/boot/vmlinuz-3.11.0.old placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.11.0
		}
		menuentry 'Debian GNU/Linux, avec Xen 4.0 et Linux 3.10.0' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.10.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.0…'
			multiboot	/boot/xen-4.0.gz placeholder  
			echo	'Chargement de Linux 3.10.0…'
			module	/boot/vmlinuz-3.10.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.10.0
		}
		menuentry 'Debian GNU/Linux, with Xen 4.0 and Linux 3.10.0 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.10.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.0…'
			multiboot	/boot/xen-4.0.gz placeholder 
			echo	'Chargement de Linux 3.10.0…'
			module	/boot/vmlinuz-3.10.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.10.0
		}
		menuentry 'Debian GNU/Linux, avec Xen 4.0 et Linux 3.10-3-amd64' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.10-3-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.0…'
			multiboot	/boot/xen-4.0.gz placeholder  
			echo	'Chargement de Linux 3.10-3-amd64…'
			module	/boot/vmlinuz-3.10-3-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.10-3-amd64
		}
		menuentry 'Debian GNU/Linux, with Xen 4.0 and Linux 3.10-3-amd64 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.10-3-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.0…'
			multiboot	/boot/xen-4.0.gz placeholder 
			echo	'Chargement de Linux 3.10-3-amd64…'
			module	/boot/vmlinuz-3.10-3-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.10-3-amd64
		}
		menuentry 'Debian GNU/Linux, avec Xen 4.0 et Linux 3.9.0' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.9.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.0…'
			multiboot	/boot/xen-4.0.gz placeholder  
			echo	'Chargement de Linux 3.9.0…'
			module	/boot/vmlinuz-3.9.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.9.0
		}
		menuentry 'Debian GNU/Linux, with Xen 4.0 and Linux 3.9.0 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.9.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.0…'
			multiboot	/boot/xen-4.0.gz placeholder 
			echo	'Chargement de Linux 3.9.0…'
			module	/boot/vmlinuz-3.9.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.9.0
		}
		menuentry 'Debian GNU/Linux, avec Xen 4.0 et Linux 3.2.0-4-amd64' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.2.0-4-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.0…'
			multiboot	/boot/xen-4.0.gz placeholder  
			echo	'Chargement de Linux 3.2.0-4-amd64…'
			module	/boot/vmlinuz-3.2.0-4-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.2.0-4-amd64
		}
		menuentry 'Debian GNU/Linux, with Xen 4.0 and Linux 3.2.0-4-amd64 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.2.0-4-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.0…'
			multiboot	/boot/xen-4.0.gz placeholder 
			echo	'Chargement de Linux 3.2.0-4-amd64…'
			module	/boot/vmlinuz-3.2.0-4-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.2.0-4-amd64
		}
		menuentry 'Debian GNU/Linux, avec Xen 4.0 et Linux 2.6.32-5-xen-amd64' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-2.6.32-5-xen-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.0…'
			multiboot	/boot/xen-4.0.gz placeholder  
			echo	'Chargement de Linux 2.6.32-5-xen-amd64…'
			module	/boot/vmlinuz-2.6.32-5-xen-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-2.6.32-5-xen-amd64
		}
		menuentry 'Debian GNU/Linux, with Xen 4.0 and Linux 2.6.32-5-xen-amd64 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-2.6.32-5-xen-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.0…'
			multiboot	/boot/xen-4.0.gz placeholder 
			echo	'Chargement de Linux 2.6.32-5-xen-amd64…'
			module	/boot/vmlinuz-2.6.32-5-xen-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-2.6.32-5-xen-amd64
		}
	}
	submenu 'Hyperviseur Xen, version 4.0-amd64' $menuentry_id_option 'xen-hypervisor-4.0-amd64-38e6e493-2f5f-4a98-b1d6-a9434f0683cc' {
		menuentry 'Debian GNU/Linux, avec Xen 4.0-amd64 et Linux 3.13.0' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.13.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.0-amd64…'
			multiboot	/boot/xen-4.0-amd64.gz placeholder  
			echo	'Chargement de Linux 3.13.0…'
			module	/boot/vmlinuz-3.13.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.13.0
		}
		menuentry 'Debian GNU/Linux, with Xen 4.0-amd64 and Linux 3.13.0 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.13.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.0-amd64…'
			multiboot	/boot/xen-4.0-amd64.gz placeholder 
			echo	'Chargement de Linux 3.13.0…'
			module	/boot/vmlinuz-3.13.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.13.0
		}
		menuentry 'Debian GNU/Linux, avec Xen 4.0-amd64 et Linux 3.12.0' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.12.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.0-amd64…'
			multiboot	/boot/xen-4.0-amd64.gz placeholder  
			echo	'Chargement de Linux 3.12.0…'
			module	/boot/vmlinuz-3.12.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.12.0
		}
		menuentry 'Debian GNU/Linux, with Xen 4.0-amd64 and Linux 3.12.0 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.12.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.0-amd64…'
			multiboot	/boot/xen-4.0-amd64.gz placeholder 
			echo	'Chargement de Linux 3.12.0…'
			module	/boot/vmlinuz-3.12.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.12.0
		}
		menuentry 'Debian GNU/Linux, avec Xen 4.0-amd64 et Linux 3.12-1-amd64' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.12-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.0-amd64…'
			multiboot	/boot/xen-4.0-amd64.gz placeholder  
			echo	'Chargement de Linux 3.12-1-amd64…'
			module	/boot/vmlinuz-3.12-1-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.12-1-amd64
		}
		menuentry 'Debian GNU/Linux, with Xen 4.0-amd64 and Linux 3.12-1-amd64 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.12-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.0-amd64…'
			multiboot	/boot/xen-4.0-amd64.gz placeholder 
			echo	'Chargement de Linux 3.12-1-amd64…'
			module	/boot/vmlinuz-3.12-1-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.12-1-amd64
		}
		menuentry 'Debian GNU/Linux, avec Xen 4.0-amd64 et Linux 3.11.0' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.11.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.0-amd64…'
			multiboot	/boot/xen-4.0-amd64.gz placeholder  
			echo	'Chargement de Linux 3.11.0…'
			module	/boot/vmlinuz-3.11.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.11.0
		}
		menuentry 'Debian GNU/Linux, with Xen 4.0-amd64 and Linux 3.11.0 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.11.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.0-amd64…'
			multiboot	/boot/xen-4.0-amd64.gz placeholder 
			echo	'Chargement de Linux 3.11.0…'
			module	/boot/vmlinuz-3.11.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.11.0
		}
		menuentry 'Debian GNU/Linux, avec Xen 4.0-amd64 et Linux 3.11.0.old' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.11.0.old-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.0-amd64…'
			multiboot	/boot/xen-4.0-amd64.gz placeholder  
			echo	'Chargement de Linux 3.11.0.old…'
			module	/boot/vmlinuz-3.11.0.old placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.11.0
		}
		menuentry 'Debian GNU/Linux, with Xen 4.0-amd64 and Linux 3.11.0.old (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.11.0.old-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.0-amd64…'
			multiboot	/boot/xen-4.0-amd64.gz placeholder 
			echo	'Chargement de Linux 3.11.0.old…'
			module	/boot/vmlinuz-3.11.0.old placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.11.0
		}
		menuentry 'Debian GNU/Linux, avec Xen 4.0-amd64 et Linux 3.10.0' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.10.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.0-amd64…'
			multiboot	/boot/xen-4.0-amd64.gz placeholder  
			echo	'Chargement de Linux 3.10.0…'
			module	/boot/vmlinuz-3.10.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.10.0
		}
		menuentry 'Debian GNU/Linux, with Xen 4.0-amd64 and Linux 3.10.0 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.10.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.0-amd64…'
			multiboot	/boot/xen-4.0-amd64.gz placeholder 
			echo	'Chargement de Linux 3.10.0…'
			module	/boot/vmlinuz-3.10.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.10.0
		}
		menuentry 'Debian GNU/Linux, avec Xen 4.0-amd64 et Linux 3.10-3-amd64' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.10-3-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.0-amd64…'
			multiboot	/boot/xen-4.0-amd64.gz placeholder  
			echo	'Chargement de Linux 3.10-3-amd64…'
			module	/boot/vmlinuz-3.10-3-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.10-3-amd64
		}
		menuentry 'Debian GNU/Linux, with Xen 4.0-amd64 and Linux 3.10-3-amd64 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.10-3-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.0-amd64…'
			multiboot	/boot/xen-4.0-amd64.gz placeholder 
			echo	'Chargement de Linux 3.10-3-amd64…'
			module	/boot/vmlinuz-3.10-3-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.10-3-amd64
		}
		menuentry 'Debian GNU/Linux, avec Xen 4.0-amd64 et Linux 3.9.0' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.9.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.0-amd64…'
			multiboot	/boot/xen-4.0-amd64.gz placeholder  
			echo	'Chargement de Linux 3.9.0…'
			module	/boot/vmlinuz-3.9.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.9.0
		}
		menuentry 'Debian GNU/Linux, with Xen 4.0-amd64 and Linux 3.9.0 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.9.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.0-amd64…'
			multiboot	/boot/xen-4.0-amd64.gz placeholder 
			echo	'Chargement de Linux 3.9.0…'
			module	/boot/vmlinuz-3.9.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.9.0
		}
		menuentry 'Debian GNU/Linux, avec Xen 4.0-amd64 et Linux 3.2.0-4-amd64' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.2.0-4-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.0-amd64…'
			multiboot	/boot/xen-4.0-amd64.gz placeholder  
			echo	'Chargement de Linux 3.2.0-4-amd64…'
			module	/boot/vmlinuz-3.2.0-4-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.2.0-4-amd64
		}
		menuentry 'Debian GNU/Linux, with Xen 4.0-amd64 and Linux 3.2.0-4-amd64 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.2.0-4-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.0-amd64…'
			multiboot	/boot/xen-4.0-amd64.gz placeholder 
			echo	'Chargement de Linux 3.2.0-4-amd64…'
			module	/boot/vmlinuz-3.2.0-4-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.2.0-4-amd64
		}
		menuentry 'Debian GNU/Linux, avec Xen 4.0-amd64 et Linux 2.6.32-5-xen-amd64' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-2.6.32-5-xen-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.0-amd64…'
			multiboot	/boot/xen-4.0-amd64.gz placeholder  
			echo	'Chargement de Linux 2.6.32-5-xen-amd64…'
			module	/boot/vmlinuz-2.6.32-5-xen-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-2.6.32-5-xen-amd64
		}
		menuentry 'Debian GNU/Linux, with Xen 4.0-amd64 and Linux 2.6.32-5-xen-amd64 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-2.6.32-5-xen-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.0-amd64…'
			multiboot	/boot/xen-4.0-amd64.gz placeholder 
			echo	'Chargement de Linux 2.6.32-5-xen-amd64…'
			module	/boot/vmlinuz-2.6.32-5-xen-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-2.6.32-5-xen-amd64
		}
	}
	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 3.13.0' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.13.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…'
			multiboot	/boot/xen-3.2-1-amd64.gz placeholder  
			echo	'Chargement de Linux 3.13.0…'
			module	/boot/vmlinuz-3.13.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.13.0
		}
		menuentry 'Debian GNU/Linux, with Xen 3.2-1-amd64 and Linux 3.13.0 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.13.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…'
			multiboot	/boot/xen-3.2-1-amd64.gz placeholder 
			echo	'Chargement de Linux 3.13.0…'
			module	/boot/vmlinuz-3.13.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.13.0
		}
		menuentry 'Debian GNU/Linux, avec Xen 3.2-1-amd64 et Linux 3.12.0' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.12.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…'
			multiboot	/boot/xen-3.2-1-amd64.gz placeholder  
			echo	'Chargement de Linux 3.12.0…'
			module	/boot/vmlinuz-3.12.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.12.0
		}
		menuentry 'Debian GNU/Linux, with Xen 3.2-1-amd64 and Linux 3.12.0 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.12.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…'
			multiboot	/boot/xen-3.2-1-amd64.gz placeholder 
			echo	'Chargement de Linux 3.12.0…'
			module	/boot/vmlinuz-3.12.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.12.0
		}
		menuentry 'Debian GNU/Linux, avec Xen 3.2-1-amd64 et Linux 3.12-1-amd64' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.12-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…'
			multiboot	/boot/xen-3.2-1-amd64.gz placeholder  
			echo	'Chargement de Linux 3.12-1-amd64…'
			module	/boot/vmlinuz-3.12-1-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.12-1-amd64
		}
		menuentry 'Debian GNU/Linux, with Xen 3.2-1-amd64 and Linux 3.12-1-amd64 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.12-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…'
			multiboot	/boot/xen-3.2-1-amd64.gz placeholder 
			echo	'Chargement de Linux 3.12-1-amd64…'
			module	/boot/vmlinuz-3.12-1-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.12-1-amd64
		}
		menuentry 'Debian GNU/Linux, avec Xen 3.2-1-amd64 et Linux 3.11.0' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.11.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…'
			multiboot	/boot/xen-3.2-1-amd64.gz placeholder  
			echo	'Chargement de Linux 3.11.0…'
			module	/boot/vmlinuz-3.11.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.11.0
		}
		menuentry 'Debian GNU/Linux, with Xen 3.2-1-amd64 and Linux 3.11.0 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.11.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…'
			multiboot	/boot/xen-3.2-1-amd64.gz placeholder 
			echo	'Chargement de Linux 3.11.0…'
			module	/boot/vmlinuz-3.11.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.11.0
		}
		menuentry 'Debian GNU/Linux, avec Xen 3.2-1-amd64 et Linux 3.11.0.old' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.11.0.old-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…'
			multiboot	/boot/xen-3.2-1-amd64.gz placeholder  
			echo	'Chargement de Linux 3.11.0.old…'
			module	/boot/vmlinuz-3.11.0.old placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.11.0
		}
		menuentry 'Debian GNU/Linux, with Xen 3.2-1-amd64 and Linux 3.11.0.old (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.11.0.old-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…'
			multiboot	/boot/xen-3.2-1-amd64.gz placeholder 
			echo	'Chargement de Linux 3.11.0.old…'
			module	/boot/vmlinuz-3.11.0.old placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.11.0
		}
		menuentry 'Debian GNU/Linux, avec Xen 3.2-1-amd64 et Linux 3.10.0' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.10.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…'
			multiboot	/boot/xen-3.2-1-amd64.gz placeholder  
			echo	'Chargement de Linux 3.10.0…'
			module	/boot/vmlinuz-3.10.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.10.0
		}
		menuentry 'Debian GNU/Linux, with Xen 3.2-1-amd64 and Linux 3.10.0 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.10.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…'
			multiboot	/boot/xen-3.2-1-amd64.gz placeholder 
			echo	'Chargement de Linux 3.10.0…'
			module	/boot/vmlinuz-3.10.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.10.0
		}
		menuentry 'Debian GNU/Linux, avec Xen 3.2-1-amd64 et Linux 3.10-3-amd64' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.10-3-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…'
			multiboot	/boot/xen-3.2-1-amd64.gz placeholder  
			echo	'Chargement de Linux 3.10-3-amd64…'
			module	/boot/vmlinuz-3.10-3-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.10-3-amd64
		}
		menuentry 'Debian GNU/Linux, with Xen 3.2-1-amd64 and Linux 3.10-3-amd64 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.10-3-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…'
			multiboot	/boot/xen-3.2-1-amd64.gz placeholder 
			echo	'Chargement de Linux 3.10-3-amd64…'
			module	/boot/vmlinuz-3.10-3-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.10-3-amd64
		}
		menuentry 'Debian GNU/Linux, avec Xen 3.2-1-amd64 et Linux 3.9.0' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.9.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…'
			multiboot	/boot/xen-3.2-1-amd64.gz placeholder  
			echo	'Chargement de Linux 3.9.0…'
			module	/boot/vmlinuz-3.9.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.9.0
		}
		menuentry 'Debian GNU/Linux, with Xen 3.2-1-amd64 and Linux 3.9.0 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.9.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…'
			multiboot	/boot/xen-3.2-1-amd64.gz placeholder 
			echo	'Chargement de Linux 3.9.0…'
			module	/boot/vmlinuz-3.9.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.9.0
		}
		menuentry 'Debian GNU/Linux, avec Xen 3.2-1-amd64 et Linux 3.2.0-4-amd64' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.2.0-4-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…'
			multiboot	/boot/xen-3.2-1-amd64.gz placeholder  
			echo	'Chargement de Linux 3.2.0-4-amd64…'
			module	/boot/vmlinuz-3.2.0-4-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.2.0-4-amd64
		}
		menuentry 'Debian GNU/Linux, with Xen 3.2-1-amd64 and Linux 3.2.0-4-amd64 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-3.2.0-4-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…'
			multiboot	/boot/xen-3.2-1-amd64.gz placeholder 
			echo	'Chargement de Linux 3.2.0-4-amd64…'
			module	/boot/vmlinuz-3.2.0-4-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-3.2.0-4-amd64
		}
		menuentry 'Debian GNU/Linux, avec Xen 3.2-1-amd64 et Linux 2.6.32-5-xen-amd64' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-2.6.32-5-xen-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…'
			multiboot	/boot/xen-3.2-1-amd64.gz placeholder  
			echo	'Chargement de Linux 2.6.32-5-xen-amd64…'
			module	/boot/vmlinuz-2.6.32-5-xen-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-2.6.32-5-xen-amd64
		}
		menuentry 'Debian GNU/Linux, with Xen 3.2-1-amd64 and Linux 2.6.32-5-xen-amd64 (recovery mode)' --class debian --class gnu-linux --class gnu --class os --class xen $menuentry_id_option 'xen-gnulinux-2.6.32-5-xen-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…'
			multiboot	/boot/xen-3.2-1-amd64.gz placeholder 
			echo	'Chargement de Linux 2.6.32-5-xen-amd64…'
			module	/boot/vmlinuz-2.6.32-5-xen-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
			echo	'Chargement du disque mémoire initial…'
			module	/boot/initrd.img-2.6.32-5-xen-amd64
		}
	}
}

### 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
	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-mine root=device:sd0s7
	multiboot /boot/gnumach-1.3.99-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 '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 Feb 18 19:42 ata-SAMSUNG_SSD_PM810_2.5__256GB_S0N4NEAB600755 -> ../../sda
lrwxrwxrwx 1 root root 10 Feb 18 19:42 ata-SAMSUNG_SSD_PM810_2.5__256GB_S0N4NEAB600755-part1 -> ../../sda1
lrwxrwxrwx 1 root root 10 Feb 18 19:42 ata-SAMSUNG_SSD_PM810_2.5__256GB_S0N4NEAB600755-part2 -> ../../sda2
lrwxrwxrwx 1 root root 10 Feb 18 19:42 ata-SAMSUNG_SSD_PM810_2.5__256GB_S0N4NEAB600755-part3 -> ../../sda3
lrwxrwxrwx 1 root root 10 Feb 18 19:42 ata-SAMSUNG_SSD_PM810_2.5__256GB_S0N4NEAB600755-part4 -> ../../sda4
lrwxrwxrwx 1 root root 10 Feb 18 19:42 ata-SAMSUNG_SSD_PM810_2.5__256GB_S0N4NEAB600755-part5 -> ../../sda5
lrwxrwxrwx 1 root root 10 Feb 18 19:42 ata-SAMSUNG_SSD_PM810_2.5__256GB_S0N4NEAB600755-part6 -> ../../sda6
lrwxrwxrwx 1 root root 10 Feb 18 19:42 ata-SAMSUNG_SSD_PM810_2.5__256GB_S0N4NEAB600755-part7 -> ../../sda7
lrwxrwxrwx 1 root root 10 Feb 18 19:42 ata-SAMSUNG_SSD_PM810_2.5__256GB_S0N4NEAB600755-part8 -> ../../sda8
lrwxrwxrwx 1 root root 10 Feb 18 19:43 ata-SAMSUNG_SSD_PM810_2.5__256GB_S0N4NEAB600755-part9 -> ../../sda9
lrwxrwxrwx 1 root root  9 Feb 18 19:42 ata-TSSTcorp_DVD+_-RW_SU-208BB_R8VQ6GUCA02FWS -> ../../sr0
lrwxrwxrwx 1 root root  9 Feb 18 19:42 scsi-SATA_SAMSUNG_SSD_PM81_S0N4NEAB600755 -> ../../sda
lrwxrwxrwx 1 root root 10 Feb 18 19:42 scsi-SATA_SAMSUNG_SSD_PM81_S0N4NEAB600755-part1 -> ../../sda1
lrwxrwxrwx 1 root root 10 Feb 18 19:42 scsi-SATA_SAMSUNG_SSD_PM81_S0N4NEAB600755-part2 -> ../../sda2
lrwxrwxrwx 1 root root 10 Feb 18 19:42 scsi-SATA_SAMSUNG_SSD_PM81_S0N4NEAB600755-part3 -> ../../sda3
lrwxrwxrwx 1 root root 10 Feb 18 19:42 scsi-SATA_SAMSUNG_SSD_PM81_S0N4NEAB600755-part4 -> ../../sda4
lrwxrwxrwx 1 root root 10 Feb 18 19:42 scsi-SATA_SAMSUNG_SSD_PM81_S0N4NEAB600755-part5 -> ../../sda5
lrwxrwxrwx 1 root root 10 Feb 18 19:42 scsi-SATA_SAMSUNG_SSD_PM81_S0N4NEAB600755-part6 -> ../../sda6
lrwxrwxrwx 1 root root 10 Feb 18 19:42 scsi-SATA_SAMSUNG_SSD_PM81_S0N4NEAB600755-part7 -> ../../sda7
lrwxrwxrwx 1 root root 10 Feb 18 19:42 scsi-SATA_SAMSUNG_SSD_PM81_S0N4NEAB600755-part8 -> ../../sda8
lrwxrwxrwx 1 root root 10 Feb 18 19:43 scsi-SATA_SAMSUNG_SSD_PM81_S0N4NEAB600755-part9 -> ../../sda9
lrwxrwxrwx 1 root root  9 Feb 18 19:42 wwn-0x50000f0000000000 -> ../../sda
lrwxrwxrwx 1 root root 10 Feb 18 19:42 wwn-0x50000f0000000000-part1 -> ../../sda1
lrwxrwxrwx 1 root root 10 Feb 18 19:42 wwn-0x50000f0000000000-part2 -> ../../sda2
lrwxrwxrwx 1 root root 10 Feb 18 19:42 wwn-0x50000f0000000000-part3 -> ../../sda3
lrwxrwxrwx 1 root root 10 Feb 18 19:42 wwn-0x50000f0000000000-part4 -> ../../sda4
lrwxrwxrwx 1 root root 10 Feb 18 19:42 wwn-0x50000f0000000000-part5 -> ../../sda5
lrwxrwxrwx 1 root root 10 Feb 18 19:42 wwn-0x50000f0000000000-part6 -> ../../sda6
lrwxrwxrwx 1 root root 10 Feb 18 19:42 wwn-0x50000f0000000000-part7 -> ../../sda7
lrwxrwxrwx 1 root root 10 Feb 18 19:42 wwn-0x50000f0000000000-part8 -> ../../sda8
lrwxrwxrwx 1 root root 10 Feb 18 19:43 wwn-0x50000f0000000000-part9 -> ../../sda9
*********************** END /dev/disk/by-id

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

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

Kernel: Linux 3.13.0 (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

Versions of packages grub2 depends on:
ii  grub-common  2.00-22
ii  grub-pc      2.00-22

grub2 recommends no packages.

grub2 suggests no packages.

-- no debconf information

-- 
Samuel
Linux, c'est simple : ça s'adresse à une machine qui est parfois un peu
maraboutée mais qui d'habitude n'a pas d'états d'âme. Sur Usenet y'a
plein d'humains et de primates, et ça devient vraiment gore par moment.
-+- TP in : Guide du linuxien pervers - "Le linuxien a-t-il une âme ?" -+-
-------------- next part --------------
A non-text attachment was scrubbed...
Name: scrambled.png
Type: image/png
Size: 79491 bytes
Desc: not available
URL: <http://lists.alioth.debian.org/pipermail/pkg-grub-devel/attachments/20140218/c475a000/attachment-0001.png>


More information about the Pkg-grub-devel mailing list