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

Hello,

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

Samuel

-- Package-specific info:

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

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

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

### BEGIN /etc/grub.d/00_header ###
if [ -s $prefix/grubenv ]; then
  set have_grubenv=true
  load_env
fi
if [ "${next_entry}" ] ; then
   set default="${next_entry}"
   set next_entry=
   save_env next_entry
   set boot_once=true
else
   set default="0"
fi

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

export menuentry_id_option

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

function savedefault {
  if [ -z "${boot_once}" ]; then
    saved_entry="${chosen}"
    save_env saved_entry
  fi
}
function load_video {
  if [ x$feature_all_video_module = xy ]; then
    insmod all_video
  else
    insmod efi_gop
    insmod efi_uga
    insmod ieee1275_fb
    insmod vbe
    insmod vga
    insmod video_bochs
    insmod video_cirrus
  fi
}

if [ x$feature_default_font_path = xy ] ; then
   font=unicode
else
insmod part_msdos
insmod ext2
set root='hd0,msdos6'
if [ x$feature_platform_search_hint = xy ]; then
  search --no-floppy --fs-uuid --set=root --hint-bios=hd0,msdos6 
--hint-efi=hd0,msdos6 --hint-baremetal=ahci0,msdos6 --hint='hd0,msdos6'  
38e6e493-2f5f-4a98-b1d6-a9434f0683cc
else
  search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
fi
    font="/usr/share/grub/unicode.pf2"
fi

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

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

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

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

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

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

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

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

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

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

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

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


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

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

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

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

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

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

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

menuentry "halt" {
        halt
}
### END /etc/grub.d/40_custom ###

### BEGIN /etc/grub.d/41_custom ###
if [ -f  ${config_directory}/custom.cfg ]; then
  source ${config_directory}/custom.cfg
elif [ -z "${config_directory}" -a -f  $prefix/custom.cfg ]; then
  source $prefix/custom.cfg;
fi
### END /etc/grub.d/41_custom ###

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

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

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

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

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

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

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

grub-pc-bin recommends no packages.

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

-- no debconf information

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

Reply via email to