Bug#725451: grub2: Please sort gnumach kernels per version

Samuel Thibault sthibault at debian.org
Sat Oct 5 23:55:29 UTC 2013


Package: grub2
Version: 2.00-19
Severity: normal
Tags: upstream patch

Hello,

I have pushed upstream a patch to sort gnumach kernels per version
(r5232), could you please cherry-pick it into the debian package, to fix
grub menu generation, and most of all, default entry generation?

Thanks,
Samuel

-- Package-specific info:

*********************** BEGIN /proc/mounts
/dev/disk/by-uuid/38e6e493-2f5f-4a98-b1d6-a9434f0683cc / ext4 rw,nodiratime,relatime,discard,errors=remount-ro,data=ordered 0 0
/dev/sda9 /home ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda1 /mnt/dell vfat ro,relatime,fmask=0022,dmask=0022,codepage=437,iocharset=utf8,shortname=mixed,utf8,errors=remount-ro 0 0
/dev/sda3 /mnt/win fuseblk rw,nosuid,nodev,relatime,user_id=0,group_id=0,allow_other,blksize=4096 0 0
/dev/sda9 /usr/src ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /var/cache/pbuilder ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /var/tmp ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/32/home ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/32/usr/src ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/32/var/cache/pbuilder/result ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/squeeze/home ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/squeeze/usr/src ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/squeeze/var/cache/pbuilder/result ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/squeeze-32/home ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/squeeze-32/usr/src ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/squeeze-32/var/cache/pbuilder/result ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/wheezy/home ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/wheezy/usr/src ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/wheezy-32/home ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
/dev/sda9 /home/wheezy-32/usr/src ext4 rw,nodiratime,relatime,discard,data=ordered 0 0
*********************** 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
  load_env
fi
set default="0"
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 {
  insmod vbe
  insmod vga
  insmod video_bochs
  insmod video_cirrus
}

insmod part_msdos
insmod ext2
set root='(hd0,msdos6)'
search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
if loadfont /usr/share/grub/unicode.pf2 ; then
  set gfxmode=640x480
  load_video
  insmod gfxterm
  insmod part_msdos
  insmod ext2
  set root='(hd0,msdos6)'
  search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
  set locale_dir=($root)/boot/grub/locale
  set lang=fr_FR
  insmod gettext
fi
terminal_output gfxterm
set timeout=5
### END /etc/grub.d/00_header ###

### BEGIN /etc/grub.d/05_debian_theme ###
insmod part_msdos
insmod ext2
set root='(hd0,msdos6)'
search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
insmod png
if background_image /usr/share/images/desktop-base/joy-grub.png; then
  set color_normal=white/black
  set color_highlight=black/white
else
  set menu_color_normal=cyan/blue
  set menu_color_highlight=white/blue
fi
### END /etc/grub.d/05_debian_theme ###

### BEGIN /etc/grub.d/10_linux ###
menuentry 'Debian GNU/Linux, avec Linux 3.11.0' --class debian --class gnu-linux --class gnu --class os {
	load_video
	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.11.0 ...'
	linux	/boot/vmlinuz-3.11.0 root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
	echo	'Chargement du disque mémoire initial ...'
	initrd	/boot/initrd.img-3.11.0
}
menuentry 'Debian GNU/Linux, avec Linux 3.11.0 (mode de dépannage)' --class debian --class gnu-linux --class gnu --class os {
	load_video
	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.11.0 ...'
	linux	/boot/vmlinuz-3.11.0 root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
	echo	'Chargement du disque mémoire initial ...'
	initrd	/boot/initrd.img-3.11.0
}
menuentry 'Debian GNU/Linux, avec Linux 3.10.0' --class debian --class gnu-linux --class gnu --class os {
	load_video
	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.10.0 ...'
	linux	/boot/vmlinuz-3.10.0 root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
	echo	'Chargement du disque mémoire initial ...'
	initrd	/boot/initrd.img-3.10.0
}
menuentry 'Debian GNU/Linux, avec Linux 3.10.0 (mode de dépannage)' --class debian --class gnu-linux --class gnu --class os {
	load_video
	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.10.0 ...'
	linux	/boot/vmlinuz-3.10.0 root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
	echo	'Chargement du disque mémoire initial ...'
	initrd	/boot/initrd.img-3.10.0
}
menuentry 'Debian GNU/Linux, avec Linux 3.10-3-amd64' --class debian --class gnu-linux --class gnu --class os {
	load_video
	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.10-3-amd64 ...'
	linux	/boot/vmlinuz-3.10-3-amd64 root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
	echo	'Chargement du disque mémoire initial ...'
	initrd	/boot/initrd.img-3.10-3-amd64
}
menuentry 'Debian GNU/Linux, avec Linux 3.10-3-amd64 (mode de dépannage)' --class debian --class gnu-linux --class gnu --class os {
	load_video
	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.10-3-amd64 ...'
	linux	/boot/vmlinuz-3.10-3-amd64 root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
	echo	'Chargement du disque mémoire initial ...'
	initrd	/boot/initrd.img-3.10-3-amd64
}
menuentry 'Debian GNU/Linux, avec Linux 3.9.0' --class debian --class gnu-linux --class gnu --class os {
	load_video
	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.9.0 ...'
	linux	/boot/vmlinuz-3.9.0 root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
	echo	'Chargement du disque mémoire initial ...'
	initrd	/boot/initrd.img-3.9.0
}
menuentry 'Debian GNU/Linux, avec Linux 3.9.0 (mode de dépannage)' --class debian --class gnu-linux --class gnu --class os {
	load_video
	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.9.0 ...'
	linux	/boot/vmlinuz-3.9.0 root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
	echo	'Chargement du disque mémoire initial ...'
	initrd	/boot/initrd.img-3.9.0
}
menuentry 'Debian GNU/Linux, avec Linux 3.2.0-4-amd64' --class debian --class gnu-linux --class gnu --class os {
	load_video
	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.2.0-4-amd64 ...'
	linux	/boot/vmlinuz-3.2.0-4-amd64 root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
	echo	'Chargement du disque mémoire initial ...'
	initrd	/boot/initrd.img-3.2.0-4-amd64
}
menuentry 'Debian GNU/Linux, avec Linux 3.2.0-4-amd64 (mode de dépannage)' --class debian --class gnu-linux --class gnu --class os {
	load_video
	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.2.0-4-amd64 ...'
	linux	/boot/vmlinuz-3.2.0-4-amd64 root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
	echo	'Chargement du disque mémoire initial ...'
	initrd	/boot/initrd.img-3.2.0-4-amd64
}
menuentry 'Debian GNU/Linux, avec Linux 2.6.32-5-xen-amd64' --class debian --class gnu-linux --class gnu --class os {
	load_video
	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 2.6.32-5-xen-amd64 ...'
	linux	/boot/vmlinuz-2.6.32-5-xen-amd64 root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro  
	echo	'Chargement du disque mémoire initial ...'
	initrd	/boot/initrd.img-2.6.32-5-xen-amd64
}
menuentry 'Debian GNU/Linux, avec Linux 2.6.32-5-xen-amd64 (mode de dépannage)' --class debian --class gnu-linux --class gnu --class os {
	load_video
	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 2.6.32-5-xen-amd64 ...'
	linux	/boot/vmlinuz-2.6.32-5-xen-amd64 root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single 
	echo	'Chargement du disque mémoire initial ...'
	initrd	/boot/initrd.img-2.6.32-5-xen-amd64
}
### END /etc/grub.d/10_linux ###

### BEGIN /etc/grub.d/20_linux_xen ###
submenu "Xen 4.1" {
menuentry 'Debian GNU/Linux, avec Xen 4.1 et Linux 3.11.0' --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=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
	echo	'Chargement de Xen 4.1 ...'
	multiboot	/boot/xen-4.1.gz placeholder   vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 3.11.0 ...'
	module	/boot/vmlinuz-3.11.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro   intelfb.noinit=1 intelfb.fixed=1 intelfb.noregister=1 video=intelfb:noinit=1,fixed=1,noregister=1 nomodeset nofb vga=711
	echo	'Chargement du disque mémoire initial ...'
	module	/boot/initrd.img-3.11.0
}
menuentry 'Debian GNU/Linux, avec Xen 4.1 et Linux 3.11.0 (mode de dépannage)' --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=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
	echo	'Chargement de Xen 4.1 ...'
	multiboot	/boot/xen-4.1.gz placeholder  vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 3.11.0 ...'
	module	/boot/vmlinuz-3.11.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single  intelfb.noinit=1 intelfb.fixed=1 intelfb.noregister=1 video=intelfb:noinit=1,fixed=1,noregister=1 nomodeset nofb vga=711
	echo	'Chargement du disque mémoire initial ...'
	module	/boot/initrd.img-3.11.0
}
menuentry 'Debian GNU/Linux, avec Xen 4.1 et Linux 3.10.0' --class debian --class gnu-linux --class gnu --class os --class xen {
	insmod part_msdos
	insmod ext2
	set root='(hd0,msdos6)'
	search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
	echo	'Chargement de Xen 4.1 ...'
	multiboot	/boot/xen-4.1.gz placeholder   vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 3.10.0 ...'
	module	/boot/vmlinuz-3.10.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro   intelfb.noinit=1 intelfb.fixed=1 intelfb.noregister=1 video=intelfb:noinit=1,fixed=1,noregister=1 nomodeset nofb vga=711
	echo	'Chargement du disque mémoire initial ...'
	module	/boot/initrd.img-3.10.0
}
menuentry 'Debian GNU/Linux, avec Xen 4.1 et Linux 3.10.0 (mode de dépannage)' --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=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
	echo	'Chargement de Xen 4.1 ...'
	multiboot	/boot/xen-4.1.gz placeholder  vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 3.10.0 ...'
	module	/boot/vmlinuz-3.10.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single  intelfb.noinit=1 intelfb.fixed=1 intelfb.noregister=1 video=intelfb:noinit=1,fixed=1,noregister=1 nomodeset nofb vga=711
	echo	'Chargement du disque mémoire initial ...'
	module	/boot/initrd.img-3.10.0
}
menuentry 'Debian GNU/Linux, avec Xen 4.1 et Linux 3.10-3-amd64' --class debian --class gnu-linux --class gnu --class os --class xen {
	insmod part_msdos
	insmod ext2
	set root='(hd0,msdos6)'
	search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
	echo	'Chargement de Xen 4.1 ...'
	multiboot	/boot/xen-4.1.gz placeholder   vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 3.10-3-amd64 ...'
	module	/boot/vmlinuz-3.10-3-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro   intelfb.noinit=1 intelfb.fixed=1 intelfb.noregister=1 video=intelfb:noinit=1,fixed=1,noregister=1 nomodeset nofb vga=711
	echo	'Chargement du disque mémoire initial ...'
	module	/boot/initrd.img-3.10-3-amd64
}
menuentry 'Debian GNU/Linux, avec Xen 4.1 et Linux 3.10-3-amd64 (mode de dépannage)' --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=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
	echo	'Chargement de Xen 4.1 ...'
	multiboot	/boot/xen-4.1.gz placeholder  vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 3.10-3-amd64 ...'
	module	/boot/vmlinuz-3.10-3-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single  intelfb.noinit=1 intelfb.fixed=1 intelfb.noregister=1 video=intelfb:noinit=1,fixed=1,noregister=1 nomodeset nofb vga=711
	echo	'Chargement du disque mémoire initial ...'
	module	/boot/initrd.img-3.10-3-amd64
}
menuentry 'Debian GNU/Linux, avec Xen 4.1 et Linux 3.9.0' --class debian --class gnu-linux --class gnu --class os --class xen {
	insmod part_msdos
	insmod ext2
	set root='(hd0,msdos6)'
	search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
	echo	'Chargement de Xen 4.1 ...'
	multiboot	/boot/xen-4.1.gz placeholder   vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 3.9.0 ...'
	module	/boot/vmlinuz-3.9.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro   intelfb.noinit=1 intelfb.fixed=1 intelfb.noregister=1 video=intelfb:noinit=1,fixed=1,noregister=1 nomodeset nofb vga=711
	echo	'Chargement du disque mémoire initial ...'
	module	/boot/initrd.img-3.9.0
}
menuentry 'Debian GNU/Linux, avec Xen 4.1 et Linux 3.9.0 (mode de dépannage)' --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=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
	echo	'Chargement de Xen 4.1 ...'
	multiboot	/boot/xen-4.1.gz placeholder  vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 3.9.0 ...'
	module	/boot/vmlinuz-3.9.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single  intelfb.noinit=1 intelfb.fixed=1 intelfb.noregister=1 video=intelfb:noinit=1,fixed=1,noregister=1 nomodeset nofb vga=711
	echo	'Chargement du disque mémoire initial ...'
	module	/boot/initrd.img-3.9.0
}
menuentry 'Debian GNU/Linux, avec Xen 4.1 et Linux 3.2.0-4-amd64' --class debian --class gnu-linux --class gnu --class os --class xen {
	insmod part_msdos
	insmod ext2
	set root='(hd0,msdos6)'
	search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
	echo	'Chargement de Xen 4.1 ...'
	multiboot	/boot/xen-4.1.gz placeholder   vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 3.2.0-4-amd64 ...'
	module	/boot/vmlinuz-3.2.0-4-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro   intelfb.noinit=1 intelfb.fixed=1 intelfb.noregister=1 video=intelfb:noinit=1,fixed=1,noregister=1 nomodeset nofb vga=711
	echo	'Chargement du disque mémoire initial ...'
	module	/boot/initrd.img-3.2.0-4-amd64
}
menuentry 'Debian GNU/Linux, avec Xen 4.1 et Linux 3.2.0-4-amd64 (mode de dépannage)' --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=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
	echo	'Chargement de Xen 4.1 ...'
	multiboot	/boot/xen-4.1.gz placeholder  vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 3.2.0-4-amd64 ...'
	module	/boot/vmlinuz-3.2.0-4-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single  intelfb.noinit=1 intelfb.fixed=1 intelfb.noregister=1 video=intelfb:noinit=1,fixed=1,noregister=1 nomodeset nofb vga=711
	echo	'Chargement du disque mémoire initial ...'
	module	/boot/initrd.img-3.2.0-4-amd64
}
menuentry 'Debian GNU/Linux, avec Xen 4.1 et Linux 2.6.32-5-xen-amd64' --class debian --class gnu-linux --class gnu --class os --class xen {
	insmod part_msdos
	insmod ext2
	set root='(hd0,msdos6)'
	search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
	echo	'Chargement de Xen 4.1 ...'
	multiboot	/boot/xen-4.1.gz placeholder   vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 2.6.32-5-xen-amd64 ...'
	module	/boot/vmlinuz-2.6.32-5-xen-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro   intelfb.noinit=1 intelfb.fixed=1 intelfb.noregister=1 video=intelfb:noinit=1,fixed=1,noregister=1 nomodeset nofb vga=711
	echo	'Chargement du disque mémoire initial ...'
	module	/boot/initrd.img-2.6.32-5-xen-amd64
}
menuentry 'Debian GNU/Linux, avec Xen 4.1 et Linux 2.6.32-5-xen-amd64 (mode de dépannage)' --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=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
	echo	'Chargement de Xen 4.1 ...'
	multiboot	/boot/xen-4.1.gz placeholder  vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 2.6.32-5-xen-amd64 ...'
	module	/boot/vmlinuz-2.6.32-5-xen-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single  intelfb.noinit=1 intelfb.fixed=1 intelfb.noregister=1 video=intelfb:noinit=1,fixed=1,noregister=1 nomodeset nofb vga=711
	echo	'Chargement du disque mémoire initial ...'
	module	/boot/initrd.img-2.6.32-5-xen-amd64
}
}
submenu "Xen 4.1-amd64" {
menuentry 'Debian GNU/Linux, avec Xen 4.1-amd64 et Linux 3.11.0' --class debian --class gnu-linux --class gnu --class os --class xen {
	insmod part_msdos
	insmod ext2
	set root='(hd0,msdos6)'
	search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
	echo	'Chargement de Xen 4.1-amd64 ...'
	multiboot	/boot/xen-4.1-amd64.gz placeholder   vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 3.11.0 ...'
	module	/boot/vmlinuz-3.11.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro   intelfb.noinit=1 intelfb.fixed=1 intelfb.noregister=1 video=intelfb:noinit=1,fixed=1,noregister=1 nomodeset nofb vga=711
	echo	'Chargement du disque mémoire initial ...'
	module	/boot/initrd.img-3.11.0
}
menuentry 'Debian GNU/Linux, avec Xen 4.1-amd64 et Linux 3.11.0 (mode de dépannage)' --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=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
	echo	'Chargement de Xen 4.1-amd64 ...'
	multiboot	/boot/xen-4.1-amd64.gz placeholder  vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 3.11.0 ...'
	module	/boot/vmlinuz-3.11.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single  intelfb.noinit=1 intelfb.fixed=1 intelfb.noregister=1 video=intelfb:noinit=1,fixed=1,noregister=1 nomodeset nofb vga=711
	echo	'Chargement du disque mémoire initial ...'
	module	/boot/initrd.img-3.11.0
}
menuentry 'Debian GNU/Linux, avec Xen 4.1-amd64 et Linux 3.10.0' --class debian --class gnu-linux --class gnu --class os --class xen {
	insmod part_msdos
	insmod ext2
	set root='(hd0,msdos6)'
	search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
	echo	'Chargement de Xen 4.1-amd64 ...'
	multiboot	/boot/xen-4.1-amd64.gz placeholder   vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 3.10.0 ...'
	module	/boot/vmlinuz-3.10.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro   intelfb.noinit=1 intelfb.fixed=1 intelfb.noregister=1 video=intelfb:noinit=1,fixed=1,noregister=1 nomodeset nofb vga=711
	echo	'Chargement du disque mémoire initial ...'
	module	/boot/initrd.img-3.10.0
}
menuentry 'Debian GNU/Linux, avec Xen 4.1-amd64 et Linux 3.10.0 (mode de dépannage)' --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=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
	echo	'Chargement de Xen 4.1-amd64 ...'
	multiboot	/boot/xen-4.1-amd64.gz placeholder  vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 3.10.0 ...'
	module	/boot/vmlinuz-3.10.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single  intelfb.noinit=1 intelfb.fixed=1 intelfb.noregister=1 video=intelfb:noinit=1,fixed=1,noregister=1 nomodeset nofb vga=711
	echo	'Chargement du disque mémoire initial ...'
	module	/boot/initrd.img-3.10.0
}
menuentry 'Debian GNU/Linux, avec Xen 4.1-amd64 et Linux 3.10-3-amd64' --class debian --class gnu-linux --class gnu --class os --class xen {
	insmod part_msdos
	insmod ext2
	set root='(hd0,msdos6)'
	search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
	echo	'Chargement de Xen 4.1-amd64 ...'
	multiboot	/boot/xen-4.1-amd64.gz placeholder   vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 3.10-3-amd64 ...'
	module	/boot/vmlinuz-3.10-3-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro   intelfb.noinit=1 intelfb.fixed=1 intelfb.noregister=1 video=intelfb:noinit=1,fixed=1,noregister=1 nomodeset nofb vga=711
	echo	'Chargement du disque mémoire initial ...'
	module	/boot/initrd.img-3.10-3-amd64
}
menuentry 'Debian GNU/Linux, avec Xen 4.1-amd64 et Linux 3.10-3-amd64 (mode de dépannage)' --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=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
	echo	'Chargement de Xen 4.1-amd64 ...'
	multiboot	/boot/xen-4.1-amd64.gz placeholder  vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 3.10-3-amd64 ...'
	module	/boot/vmlinuz-3.10-3-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single  intelfb.noinit=1 intelfb.fixed=1 intelfb.noregister=1 video=intelfb:noinit=1,fixed=1,noregister=1 nomodeset nofb vga=711
	echo	'Chargement du disque mémoire initial ...'
	module	/boot/initrd.img-3.10-3-amd64
}
menuentry 'Debian GNU/Linux, avec Xen 4.1-amd64 et Linux 3.9.0' --class debian --class gnu-linux --class gnu --class os --class xen {
	insmod part_msdos
	insmod ext2
	set root='(hd0,msdos6)'
	search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
	echo	'Chargement de Xen 4.1-amd64 ...'
	multiboot	/boot/xen-4.1-amd64.gz placeholder   vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 3.9.0 ...'
	module	/boot/vmlinuz-3.9.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro   intelfb.noinit=1 intelfb.fixed=1 intelfb.noregister=1 video=intelfb:noinit=1,fixed=1,noregister=1 nomodeset nofb vga=711
	echo	'Chargement du disque mémoire initial ...'
	module	/boot/initrd.img-3.9.0
}
menuentry 'Debian GNU/Linux, avec Xen 4.1-amd64 et Linux 3.9.0 (mode de dépannage)' --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=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
	echo	'Chargement de Xen 4.1-amd64 ...'
	multiboot	/boot/xen-4.1-amd64.gz placeholder  vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 3.9.0 ...'
	module	/boot/vmlinuz-3.9.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single  intelfb.noinit=1 intelfb.fixed=1 intelfb.noregister=1 video=intelfb:noinit=1,fixed=1,noregister=1 nomodeset nofb vga=711
	echo	'Chargement du disque mémoire initial ...'
	module	/boot/initrd.img-3.9.0
}
menuentry 'Debian GNU/Linux, avec Xen 4.1-amd64 et Linux 3.2.0-4-amd64' --class debian --class gnu-linux --class gnu --class os --class xen {
	insmod part_msdos
	insmod ext2
	set root='(hd0,msdos6)'
	search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
	echo	'Chargement de Xen 4.1-amd64 ...'
	multiboot	/boot/xen-4.1-amd64.gz placeholder   vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 3.2.0-4-amd64 ...'
	module	/boot/vmlinuz-3.2.0-4-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro   intelfb.noinit=1 intelfb.fixed=1 intelfb.noregister=1 video=intelfb:noinit=1,fixed=1,noregister=1 nomodeset nofb vga=711
	echo	'Chargement du disque mémoire initial ...'
	module	/boot/initrd.img-3.2.0-4-amd64
}
menuentry 'Debian GNU/Linux, avec Xen 4.1-amd64 et Linux 3.2.0-4-amd64 (mode de dépannage)' --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=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
	echo	'Chargement de Xen 4.1-amd64 ...'
	multiboot	/boot/xen-4.1-amd64.gz placeholder  vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 3.2.0-4-amd64 ...'
	module	/boot/vmlinuz-3.2.0-4-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single  intelfb.noinit=1 intelfb.fixed=1 intelfb.noregister=1 video=intelfb:noinit=1,fixed=1,noregister=1 nomodeset nofb vga=711
	echo	'Chargement du disque mémoire initial ...'
	module	/boot/initrd.img-3.2.0-4-amd64
}
menuentry 'Debian GNU/Linux, avec Xen 4.1-amd64 et Linux 2.6.32-5-xen-amd64' --class debian --class gnu-linux --class gnu --class os --class xen {
	insmod part_msdos
	insmod ext2
	set root='(hd0,msdos6)'
	search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
	echo	'Chargement de Xen 4.1-amd64 ...'
	multiboot	/boot/xen-4.1-amd64.gz placeholder   vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 2.6.32-5-xen-amd64 ...'
	module	/boot/vmlinuz-2.6.32-5-xen-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro   intelfb.noinit=1 intelfb.fixed=1 intelfb.noregister=1 video=intelfb:noinit=1,fixed=1,noregister=1 nomodeset nofb vga=711
	echo	'Chargement du disque mémoire initial ...'
	module	/boot/initrd.img-2.6.32-5-xen-amd64
}
menuentry 'Debian GNU/Linux, avec Xen 4.1-amd64 et Linux 2.6.32-5-xen-amd64 (mode de dépannage)' --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=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
	echo	'Chargement de Xen 4.1-amd64 ...'
	multiboot	/boot/xen-4.1-amd64.gz placeholder  vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 2.6.32-5-xen-amd64 ...'
	module	/boot/vmlinuz-2.6.32-5-xen-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single  intelfb.noinit=1 intelfb.fixed=1 intelfb.noregister=1 video=intelfb:noinit=1,fixed=1,noregister=1 nomodeset nofb vga=711
	echo	'Chargement du disque mémoire initial ...'
	module	/boot/initrd.img-2.6.32-5-xen-amd64
}
}
submenu "Xen 4.0" {
menuentry 'Debian GNU/Linux, avec Xen 4.0 et Linux 3.11.0' --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=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
	echo	'Chargement de Xen 4.0 ...'
	multiboot	/boot/xen-4.0.gz placeholder   vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 3.11.0 ...'
	module	/boot/vmlinuz-3.11.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro   intelfb.noinit=1 intelfb.fixed=1 intelfb.noregister=1 video=intelfb:noinit=1,fixed=1,noregister=1 nomodeset nofb vga=711
	echo	'Chargement du disque mémoire initial ...'
	module	/boot/initrd.img-3.11.0
}
menuentry 'Debian GNU/Linux, avec Xen 4.0 et Linux 3.11.0 (mode de dépannage)' --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=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
	echo	'Chargement de Xen 4.0 ...'
	multiboot	/boot/xen-4.0.gz placeholder  vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 3.11.0 ...'
	module	/boot/vmlinuz-3.11.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single  intelfb.noinit=1 intelfb.fixed=1 intelfb.noregister=1 video=intelfb:noinit=1,fixed=1,noregister=1 nomodeset nofb vga=711
	echo	'Chargement du disque mémoire initial ...'
	module	/boot/initrd.img-3.11.0
}
menuentry 'Debian GNU/Linux, avec Xen 4.0 et Linux 3.10.0' --class debian --class gnu-linux --class gnu --class os --class xen {
	insmod part_msdos
	insmod ext2
	set root='(hd0,msdos6)'
	search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
	echo	'Chargement de Xen 4.0 ...'
	multiboot	/boot/xen-4.0.gz placeholder   vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 3.10.0 ...'
	module	/boot/vmlinuz-3.10.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro   intelfb.noinit=1 intelfb.fixed=1 intelfb.noregister=1 video=intelfb:noinit=1,fixed=1,noregister=1 nomodeset nofb vga=711
	echo	'Chargement du disque mémoire initial ...'
	module	/boot/initrd.img-3.10.0
}
menuentry 'Debian GNU/Linux, avec Xen 4.0 et Linux 3.10.0 (mode de dépannage)' --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=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
	echo	'Chargement de Xen 4.0 ...'
	multiboot	/boot/xen-4.0.gz placeholder  vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 3.10.0 ...'
	module	/boot/vmlinuz-3.10.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single  intelfb.noinit=1 intelfb.fixed=1 intelfb.noregister=1 video=intelfb:noinit=1,fixed=1,noregister=1 nomodeset nofb vga=711
	echo	'Chargement du disque mémoire initial ...'
	module	/boot/initrd.img-3.10.0
}
menuentry 'Debian GNU/Linux, avec Xen 4.0 et Linux 3.10-3-amd64' --class debian --class gnu-linux --class gnu --class os --class xen {
	insmod part_msdos
	insmod ext2
	set root='(hd0,msdos6)'
	search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
	echo	'Chargement de Xen 4.0 ...'
	multiboot	/boot/xen-4.0.gz placeholder   vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 3.10-3-amd64 ...'
	module	/boot/vmlinuz-3.10-3-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro   intelfb.noinit=1 intelfb.fixed=1 intelfb.noregister=1 video=intelfb:noinit=1,fixed=1,noregister=1 nomodeset nofb vga=711
	echo	'Chargement du disque mémoire initial ...'
	module	/boot/initrd.img-3.10-3-amd64
}
menuentry 'Debian GNU/Linux, avec Xen 4.0 et Linux 3.10-3-amd64 (mode de dépannage)' --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=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
	echo	'Chargement de Xen 4.0 ...'
	multiboot	/boot/xen-4.0.gz placeholder  vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 3.10-3-amd64 ...'
	module	/boot/vmlinuz-3.10-3-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single  intelfb.noinit=1 intelfb.fixed=1 intelfb.noregister=1 video=intelfb:noinit=1,fixed=1,noregister=1 nomodeset nofb vga=711
	echo	'Chargement du disque mémoire initial ...'
	module	/boot/initrd.img-3.10-3-amd64
}
menuentry 'Debian GNU/Linux, avec Xen 4.0 et Linux 3.9.0' --class debian --class gnu-linux --class gnu --class os --class xen {
	insmod part_msdos
	insmod ext2
	set root='(hd0,msdos6)'
	search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
	echo	'Chargement de Xen 4.0 ...'
	multiboot	/boot/xen-4.0.gz placeholder   vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 3.9.0 ...'
	module	/boot/vmlinuz-3.9.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro   intelfb.noinit=1 intelfb.fixed=1 intelfb.noregister=1 video=intelfb:noinit=1,fixed=1,noregister=1 nomodeset nofb vga=711
	echo	'Chargement du disque mémoire initial ...'
	module	/boot/initrd.img-3.9.0
}
menuentry 'Debian GNU/Linux, avec Xen 4.0 et Linux 3.9.0 (mode de dépannage)' --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=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
	echo	'Chargement de Xen 4.0 ...'
	multiboot	/boot/xen-4.0.gz placeholder  vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 3.9.0 ...'
	module	/boot/vmlinuz-3.9.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single  intelfb.noinit=1 intelfb.fixed=1 intelfb.noregister=1 video=intelfb:noinit=1,fixed=1,noregister=1 nomodeset nofb vga=711
	echo	'Chargement du disque mémoire initial ...'
	module	/boot/initrd.img-3.9.0
}
menuentry 'Debian GNU/Linux, avec Xen 4.0 et Linux 3.2.0-4-amd64' --class debian --class gnu-linux --class gnu --class os --class xen {
	insmod part_msdos
	insmod ext2
	set root='(hd0,msdos6)'
	search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
	echo	'Chargement de Xen 4.0 ...'
	multiboot	/boot/xen-4.0.gz placeholder   vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 3.2.0-4-amd64 ...'
	module	/boot/vmlinuz-3.2.0-4-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro   intelfb.noinit=1 intelfb.fixed=1 intelfb.noregister=1 video=intelfb:noinit=1,fixed=1,noregister=1 nomodeset nofb vga=711
	echo	'Chargement du disque mémoire initial ...'
	module	/boot/initrd.img-3.2.0-4-amd64
}
menuentry 'Debian GNU/Linux, avec Xen 4.0 et Linux 3.2.0-4-amd64 (mode de dépannage)' --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=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
	echo	'Chargement de Xen 4.0 ...'
	multiboot	/boot/xen-4.0.gz placeholder  vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 3.2.0-4-amd64 ...'
	module	/boot/vmlinuz-3.2.0-4-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single  intelfb.noinit=1 intelfb.fixed=1 intelfb.noregister=1 video=intelfb:noinit=1,fixed=1,noregister=1 nomodeset nofb vga=711
	echo	'Chargement du disque mémoire initial ...'
	module	/boot/initrd.img-3.2.0-4-amd64
}
menuentry 'Debian GNU/Linux, avec Xen 4.0 et Linux 2.6.32-5-xen-amd64' --class debian --class gnu-linux --class gnu --class os --class xen {
	insmod part_msdos
	insmod ext2
	set root='(hd0,msdos6)'
	search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
	echo	'Chargement de Xen 4.0 ...'
	multiboot	/boot/xen-4.0.gz placeholder   vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 2.6.32-5-xen-amd64 ...'
	module	/boot/vmlinuz-2.6.32-5-xen-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro   intelfb.noinit=1 intelfb.fixed=1 intelfb.noregister=1 video=intelfb:noinit=1,fixed=1,noregister=1 nomodeset nofb vga=711
	echo	'Chargement du disque mémoire initial ...'
	module	/boot/initrd.img-2.6.32-5-xen-amd64
}
menuentry 'Debian GNU/Linux, avec Xen 4.0 et Linux 2.6.32-5-xen-amd64 (mode de dépannage)' --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=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
	echo	'Chargement de Xen 4.0 ...'
	multiboot	/boot/xen-4.0.gz placeholder  vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 2.6.32-5-xen-amd64 ...'
	module	/boot/vmlinuz-2.6.32-5-xen-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single  intelfb.noinit=1 intelfb.fixed=1 intelfb.noregister=1 video=intelfb:noinit=1,fixed=1,noregister=1 nomodeset nofb vga=711
	echo	'Chargement du disque mémoire initial ...'
	module	/boot/initrd.img-2.6.32-5-xen-amd64
}
}
submenu "Xen 4.0-amd64" {
menuentry 'Debian GNU/Linux, avec Xen 4.0-amd64 et Linux 3.11.0' --class debian --class gnu-linux --class gnu --class os --class xen {
	insmod part_msdos
	insmod ext2
	set root='(hd0,msdos6)'
	search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
	echo	'Chargement de Xen 4.0-amd64 ...'
	multiboot	/boot/xen-4.0-amd64.gz placeholder   vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 3.11.0 ...'
	module	/boot/vmlinuz-3.11.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro   intelfb.noinit=1 intelfb.fixed=1 intelfb.noregister=1 video=intelfb:noinit=1,fixed=1,noregister=1 nomodeset nofb vga=711
	echo	'Chargement du disque mémoire initial ...'
	module	/boot/initrd.img-3.11.0
}
menuentry 'Debian GNU/Linux, avec Xen 4.0-amd64 et Linux 3.11.0 (mode de dépannage)' --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=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
	echo	'Chargement de Xen 4.0-amd64 ...'
	multiboot	/boot/xen-4.0-amd64.gz placeholder  vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 3.11.0 ...'
	module	/boot/vmlinuz-3.11.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single  intelfb.noinit=1 intelfb.fixed=1 intelfb.noregister=1 video=intelfb:noinit=1,fixed=1,noregister=1 nomodeset nofb vga=711
	echo	'Chargement du disque mémoire initial ...'
	module	/boot/initrd.img-3.11.0
}
menuentry 'Debian GNU/Linux, avec Xen 4.0-amd64 et Linux 3.10.0' --class debian --class gnu-linux --class gnu --class os --class xen {
	insmod part_msdos
	insmod ext2
	set root='(hd0,msdos6)'
	search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
	echo	'Chargement de Xen 4.0-amd64 ...'
	multiboot	/boot/xen-4.0-amd64.gz placeholder   vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 3.10.0 ...'
	module	/boot/vmlinuz-3.10.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro   intelfb.noinit=1 intelfb.fixed=1 intelfb.noregister=1 video=intelfb:noinit=1,fixed=1,noregister=1 nomodeset nofb vga=711
	echo	'Chargement du disque mémoire initial ...'
	module	/boot/initrd.img-3.10.0
}
menuentry 'Debian GNU/Linux, avec Xen 4.0-amd64 et Linux 3.10.0 (mode de dépannage)' --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=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
	echo	'Chargement de Xen 4.0-amd64 ...'
	multiboot	/boot/xen-4.0-amd64.gz placeholder  vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 3.10.0 ...'
	module	/boot/vmlinuz-3.10.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single  intelfb.noinit=1 intelfb.fixed=1 intelfb.noregister=1 video=intelfb:noinit=1,fixed=1,noregister=1 nomodeset nofb vga=711
	echo	'Chargement du disque mémoire initial ...'
	module	/boot/initrd.img-3.10.0
}
menuentry 'Debian GNU/Linux, avec Xen 4.0-amd64 et Linux 3.10-3-amd64' --class debian --class gnu-linux --class gnu --class os --class xen {
	insmod part_msdos
	insmod ext2
	set root='(hd0,msdos6)'
	search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
	echo	'Chargement de Xen 4.0-amd64 ...'
	multiboot	/boot/xen-4.0-amd64.gz placeholder   vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 3.10-3-amd64 ...'
	module	/boot/vmlinuz-3.10-3-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro   intelfb.noinit=1 intelfb.fixed=1 intelfb.noregister=1 video=intelfb:noinit=1,fixed=1,noregister=1 nomodeset nofb vga=711
	echo	'Chargement du disque mémoire initial ...'
	module	/boot/initrd.img-3.10-3-amd64
}
menuentry 'Debian GNU/Linux, avec Xen 4.0-amd64 et Linux 3.10-3-amd64 (mode de dépannage)' --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=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
	echo	'Chargement de Xen 4.0-amd64 ...'
	multiboot	/boot/xen-4.0-amd64.gz placeholder  vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 3.10-3-amd64 ...'
	module	/boot/vmlinuz-3.10-3-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single  intelfb.noinit=1 intelfb.fixed=1 intelfb.noregister=1 video=intelfb:noinit=1,fixed=1,noregister=1 nomodeset nofb vga=711
	echo	'Chargement du disque mémoire initial ...'
	module	/boot/initrd.img-3.10-3-amd64
}
menuentry 'Debian GNU/Linux, avec Xen 4.0-amd64 et Linux 3.9.0' --class debian --class gnu-linux --class gnu --class os --class xen {
	insmod part_msdos
	insmod ext2
	set root='(hd0,msdos6)'
	search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
	echo	'Chargement de Xen 4.0-amd64 ...'
	multiboot	/boot/xen-4.0-amd64.gz placeholder   vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 3.9.0 ...'
	module	/boot/vmlinuz-3.9.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro   intelfb.noinit=1 intelfb.fixed=1 intelfb.noregister=1 video=intelfb:noinit=1,fixed=1,noregister=1 nomodeset nofb vga=711
	echo	'Chargement du disque mémoire initial ...'
	module	/boot/initrd.img-3.9.0
}
menuentry 'Debian GNU/Linux, avec Xen 4.0-amd64 et Linux 3.9.0 (mode de dépannage)' --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=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
	echo	'Chargement de Xen 4.0-amd64 ...'
	multiboot	/boot/xen-4.0-amd64.gz placeholder  vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 3.9.0 ...'
	module	/boot/vmlinuz-3.9.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single  intelfb.noinit=1 intelfb.fixed=1 intelfb.noregister=1 video=intelfb:noinit=1,fixed=1,noregister=1 nomodeset nofb vga=711
	echo	'Chargement du disque mémoire initial ...'
	module	/boot/initrd.img-3.9.0
}
menuentry 'Debian GNU/Linux, avec Xen 4.0-amd64 et Linux 3.2.0-4-amd64' --class debian --class gnu-linux --class gnu --class os --class xen {
	insmod part_msdos
	insmod ext2
	set root='(hd0,msdos6)'
	search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
	echo	'Chargement de Xen 4.0-amd64 ...'
	multiboot	/boot/xen-4.0-amd64.gz placeholder   vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 3.2.0-4-amd64 ...'
	module	/boot/vmlinuz-3.2.0-4-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro   intelfb.noinit=1 intelfb.fixed=1 intelfb.noregister=1 video=intelfb:noinit=1,fixed=1,noregister=1 nomodeset nofb vga=711
	echo	'Chargement du disque mémoire initial ...'
	module	/boot/initrd.img-3.2.0-4-amd64
}
menuentry 'Debian GNU/Linux, avec Xen 4.0-amd64 et Linux 3.2.0-4-amd64 (mode de dépannage)' --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=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
	echo	'Chargement de Xen 4.0-amd64 ...'
	multiboot	/boot/xen-4.0-amd64.gz placeholder  vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 3.2.0-4-amd64 ...'
	module	/boot/vmlinuz-3.2.0-4-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single  intelfb.noinit=1 intelfb.fixed=1 intelfb.noregister=1 video=intelfb:noinit=1,fixed=1,noregister=1 nomodeset nofb vga=711
	echo	'Chargement du disque mémoire initial ...'
	module	/boot/initrd.img-3.2.0-4-amd64
}
menuentry 'Debian GNU/Linux, avec Xen 4.0-amd64 et Linux 2.6.32-5-xen-amd64' --class debian --class gnu-linux --class gnu --class os --class xen {
	insmod part_msdos
	insmod ext2
	set root='(hd0,msdos6)'
	search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
	echo	'Chargement de Xen 4.0-amd64 ...'
	multiboot	/boot/xen-4.0-amd64.gz placeholder   vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 2.6.32-5-xen-amd64 ...'
	module	/boot/vmlinuz-2.6.32-5-xen-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro   intelfb.noinit=1 intelfb.fixed=1 intelfb.noregister=1 video=intelfb:noinit=1,fixed=1,noregister=1 nomodeset nofb vga=711
	echo	'Chargement du disque mémoire initial ...'
	module	/boot/initrd.img-2.6.32-5-xen-amd64
}
menuentry 'Debian GNU/Linux, avec Xen 4.0-amd64 et Linux 2.6.32-5-xen-amd64 (mode de dépannage)' --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=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
	echo	'Chargement de Xen 4.0-amd64 ...'
	multiboot	/boot/xen-4.0-amd64.gz placeholder  vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 2.6.32-5-xen-amd64 ...'
	module	/boot/vmlinuz-2.6.32-5-xen-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single  intelfb.noinit=1 intelfb.fixed=1 intelfb.noregister=1 video=intelfb:noinit=1,fixed=1,noregister=1 nomodeset nofb vga=711
	echo	'Chargement du disque mémoire initial ...'
	module	/boot/initrd.img-2.6.32-5-xen-amd64
}
}
submenu "Xen 3.2-1-amd64" {
menuentry 'Debian GNU/Linux, avec Xen 3.2-1-amd64 et Linux 3.11.0' --class debian --class gnu-linux --class gnu --class os --class xen {
	insmod part_msdos
	insmod ext2
	set root='(hd0,msdos6)'
	search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
	echo	'Chargement de Xen 3.2-1-amd64 ...'
	multiboot	/boot/xen-3.2-1-amd64.gz placeholder   vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 3.11.0 ...'
	module	/boot/vmlinuz-3.11.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro   intelfb.noinit=1 intelfb.fixed=1 intelfb.noregister=1 video=intelfb:noinit=1,fixed=1,noregister=1 nomodeset nofb vga=711
	echo	'Chargement du disque mémoire initial ...'
	module	/boot/initrd.img-3.11.0
}
menuentry 'Debian GNU/Linux, avec Xen 3.2-1-amd64 et Linux 3.11.0 (mode de dépannage)' --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=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
	echo	'Chargement de Xen 3.2-1-amd64 ...'
	multiboot	/boot/xen-3.2-1-amd64.gz placeholder  vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 3.11.0 ...'
	module	/boot/vmlinuz-3.11.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single  intelfb.noinit=1 intelfb.fixed=1 intelfb.noregister=1 video=intelfb:noinit=1,fixed=1,noregister=1 nomodeset nofb vga=711
	echo	'Chargement du disque mémoire initial ...'
	module	/boot/initrd.img-3.11.0
}
menuentry 'Debian GNU/Linux, avec Xen 3.2-1-amd64 et Linux 3.10.0' --class debian --class gnu-linux --class gnu --class os --class xen {
	insmod part_msdos
	insmod ext2
	set root='(hd0,msdos6)'
	search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
	echo	'Chargement de Xen 3.2-1-amd64 ...'
	multiboot	/boot/xen-3.2-1-amd64.gz placeholder   vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 3.10.0 ...'
	module	/boot/vmlinuz-3.10.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro   intelfb.noinit=1 intelfb.fixed=1 intelfb.noregister=1 video=intelfb:noinit=1,fixed=1,noregister=1 nomodeset nofb vga=711
	echo	'Chargement du disque mémoire initial ...'
	module	/boot/initrd.img-3.10.0
}
menuentry 'Debian GNU/Linux, avec Xen 3.2-1-amd64 et Linux 3.10.0 (mode de dépannage)' --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=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
	echo	'Chargement de Xen 3.2-1-amd64 ...'
	multiboot	/boot/xen-3.2-1-amd64.gz placeholder  vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 3.10.0 ...'
	module	/boot/vmlinuz-3.10.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single  intelfb.noinit=1 intelfb.fixed=1 intelfb.noregister=1 video=intelfb:noinit=1,fixed=1,noregister=1 nomodeset nofb vga=711
	echo	'Chargement du disque mémoire initial ...'
	module	/boot/initrd.img-3.10.0
}
menuentry 'Debian GNU/Linux, avec Xen 3.2-1-amd64 et Linux 3.10-3-amd64' --class debian --class gnu-linux --class gnu --class os --class xen {
	insmod part_msdos
	insmod ext2
	set root='(hd0,msdos6)'
	search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
	echo	'Chargement de Xen 3.2-1-amd64 ...'
	multiboot	/boot/xen-3.2-1-amd64.gz placeholder   vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 3.10-3-amd64 ...'
	module	/boot/vmlinuz-3.10-3-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro   intelfb.noinit=1 intelfb.fixed=1 intelfb.noregister=1 video=intelfb:noinit=1,fixed=1,noregister=1 nomodeset nofb vga=711
	echo	'Chargement du disque mémoire initial ...'
	module	/boot/initrd.img-3.10-3-amd64
}
menuentry 'Debian GNU/Linux, avec Xen 3.2-1-amd64 et Linux 3.10-3-amd64 (mode de dépannage)' --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=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
	echo	'Chargement de Xen 3.2-1-amd64 ...'
	multiboot	/boot/xen-3.2-1-amd64.gz placeholder  vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 3.10-3-amd64 ...'
	module	/boot/vmlinuz-3.10-3-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single  intelfb.noinit=1 intelfb.fixed=1 intelfb.noregister=1 video=intelfb:noinit=1,fixed=1,noregister=1 nomodeset nofb vga=711
	echo	'Chargement du disque mémoire initial ...'
	module	/boot/initrd.img-3.10-3-amd64
}
menuentry 'Debian GNU/Linux, avec Xen 3.2-1-amd64 et Linux 3.9.0' --class debian --class gnu-linux --class gnu --class os --class xen {
	insmod part_msdos
	insmod ext2
	set root='(hd0,msdos6)'
	search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
	echo	'Chargement de Xen 3.2-1-amd64 ...'
	multiboot	/boot/xen-3.2-1-amd64.gz placeholder   vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 3.9.0 ...'
	module	/boot/vmlinuz-3.9.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro   intelfb.noinit=1 intelfb.fixed=1 intelfb.noregister=1 video=intelfb:noinit=1,fixed=1,noregister=1 nomodeset nofb vga=711
	echo	'Chargement du disque mémoire initial ...'
	module	/boot/initrd.img-3.9.0
}
menuentry 'Debian GNU/Linux, avec Xen 3.2-1-amd64 et Linux 3.9.0 (mode de dépannage)' --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=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
	echo	'Chargement de Xen 3.2-1-amd64 ...'
	multiboot	/boot/xen-3.2-1-amd64.gz placeholder  vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 3.9.0 ...'
	module	/boot/vmlinuz-3.9.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single  intelfb.noinit=1 intelfb.fixed=1 intelfb.noregister=1 video=intelfb:noinit=1,fixed=1,noregister=1 nomodeset nofb vga=711
	echo	'Chargement du disque mémoire initial ...'
	module	/boot/initrd.img-3.9.0
}
menuentry 'Debian GNU/Linux, avec Xen 3.2-1-amd64 et Linux 3.2.0-4-amd64' --class debian --class gnu-linux --class gnu --class os --class xen {
	insmod part_msdos
	insmod ext2
	set root='(hd0,msdos6)'
	search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
	echo	'Chargement de Xen 3.2-1-amd64 ...'
	multiboot	/boot/xen-3.2-1-amd64.gz placeholder   vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 3.2.0-4-amd64 ...'
	module	/boot/vmlinuz-3.2.0-4-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro   intelfb.noinit=1 intelfb.fixed=1 intelfb.noregister=1 video=intelfb:noinit=1,fixed=1,noregister=1 nomodeset nofb vga=711
	echo	'Chargement du disque mémoire initial ...'
	module	/boot/initrd.img-3.2.0-4-amd64
}
menuentry 'Debian GNU/Linux, avec Xen 3.2-1-amd64 et Linux 3.2.0-4-amd64 (mode de dépannage)' --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=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
	echo	'Chargement de Xen 3.2-1-amd64 ...'
	multiboot	/boot/xen-3.2-1-amd64.gz placeholder  vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 3.2.0-4-amd64 ...'
	module	/boot/vmlinuz-3.2.0-4-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single  intelfb.noinit=1 intelfb.fixed=1 intelfb.noregister=1 video=intelfb:noinit=1,fixed=1,noregister=1 nomodeset nofb vga=711
	echo	'Chargement du disque mémoire initial ...'
	module	/boot/initrd.img-3.2.0-4-amd64
}
menuentry 'Debian GNU/Linux, avec Xen 3.2-1-amd64 et Linux 2.6.32-5-xen-amd64' --class debian --class gnu-linux --class gnu --class os --class xen {
	insmod part_msdos
	insmod ext2
	set root='(hd0,msdos6)'
	search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
	echo	'Chargement de Xen 3.2-1-amd64 ...'
	multiboot	/boot/xen-3.2-1-amd64.gz placeholder   vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 2.6.32-5-xen-amd64 ...'
	module	/boot/vmlinuz-2.6.32-5-xen-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro   intelfb.noinit=1 intelfb.fixed=1 intelfb.noregister=1 video=intelfb:noinit=1,fixed=1,noregister=1 nomodeset nofb vga=711
	echo	'Chargement du disque mémoire initial ...'
	module	/boot/initrd.img-2.6.32-5-xen-amd64
}
menuentry 'Debian GNU/Linux, avec Xen 3.2-1-amd64 et Linux 2.6.32-5-xen-amd64 (mode de dépannage)' --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=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
	echo	'Chargement de Xen 3.2-1-amd64 ...'
	multiboot	/boot/xen-3.2-1-amd64.gz placeholder  vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 2.6.32-5-xen-amd64 ...'
	module	/boot/vmlinuz-2.6.32-5-xen-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single  intelfb.noinit=1 intelfb.fixed=1 intelfb.noregister=1 video=intelfb:noinit=1,fixed=1,noregister=1 nomodeset nofb vga=711
	echo	'Chargement du disque mémoire initial ...'
	module	/boot/initrd.img-2.6.32-5-xen-amd64
}
}
### END /etc/grub.d/20_linux_xen ###

### BEGIN /etc/grub.d/30_os-prober ###
menuentry "Windows 7 (loader) (on /dev/sda2)" --class windows --class os {
	insmod part_msdos
	insmod ntfs
	set root='(hd0,msdos2)'
	search --no-floppy --fs-uuid --set=root 1E78587E7858569D
	chainloader +1
}
menuentry "GNU/Hurd (on /dev/sda7)" --class hurd --class gnu --class os {
	insmod part_msdos
	insmod ext2
	set root='(hd0,msdos7)'
	search --no-floppy --fs-uuid --set=root aa626238-1e6d-4190-a750-226979812bd9
	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/40_custom ###
# This file provides an easy way to add custom menu entries.  Simply type the
# menu entries you want to add after this comment.  Be careful not to change
# the 'exec tail' line above.

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

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


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

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

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

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

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

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

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

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

### BEGIN /etc/grub.d/41_custom ###
if [ -f  $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 Oct  4 19:22 ata-HL-DT-ST_DVD+_-RW_GU40N_KWDB5TG4030 -> ../../sr0
lrwxrwxrwx 1 root root  9 Oct  4 19:22 ata-SAMSUNG_SSD_PM810_2.5__256GB_S0N4NEAB600755 -> ../../sda
lrwxrwxrwx 1 root root 10 Oct  4 19:22 ata-SAMSUNG_SSD_PM810_2.5__256GB_S0N4NEAB600755-part1 -> ../../sda1
lrwxrwxrwx 1 root root 10 Oct  4 19:22 ata-SAMSUNG_SSD_PM810_2.5__256GB_S0N4NEAB600755-part2 -> ../../sda2
lrwxrwxrwx 1 root root 10 Oct  4 19:22 ata-SAMSUNG_SSD_PM810_2.5__256GB_S0N4NEAB600755-part3 -> ../../sda3
lrwxrwxrwx 1 root root 10 Oct  4 19:22 ata-SAMSUNG_SSD_PM810_2.5__256GB_S0N4NEAB600755-part4 -> ../../sda4
lrwxrwxrwx 1 root root 10 Oct  4 19:22 ata-SAMSUNG_SSD_PM810_2.5__256GB_S0N4NEAB600755-part5 -> ../../sda5
lrwxrwxrwx 1 root root 10 Oct  4 19:22 ata-SAMSUNG_SSD_PM810_2.5__256GB_S0N4NEAB600755-part6 -> ../../sda6
lrwxrwxrwx 1 root root 10 Oct  4 19:22 ata-SAMSUNG_SSD_PM810_2.5__256GB_S0N4NEAB600755-part7 -> ../../sda7
lrwxrwxrwx 1 root root 10 Oct  5 23:08 ata-SAMSUNG_SSD_PM810_2.5__256GB_S0N4NEAB600755-part8 -> ../../sda8
lrwxrwxrwx 1 root root 10 Oct  4 19:22 ata-SAMSUNG_SSD_PM810_2.5__256GB_S0N4NEAB600755-part9 -> ../../sda9
lrwxrwxrwx 1 root root  9 Oct  4 19:22 scsi-SATA_SAMSUNG_SSD_PM81_S0N4NEAB600755 -> ../../sda
lrwxrwxrwx 1 root root 10 Oct  4 19:22 scsi-SATA_SAMSUNG_SSD_PM81_S0N4NEAB600755-part1 -> ../../sda1
lrwxrwxrwx 1 root root 10 Oct  4 19:22 scsi-SATA_SAMSUNG_SSD_PM81_S0N4NEAB600755-part2 -> ../../sda2
lrwxrwxrwx 1 root root 10 Oct  4 19:22 scsi-SATA_SAMSUNG_SSD_PM81_S0N4NEAB600755-part3 -> ../../sda3
lrwxrwxrwx 1 root root 10 Oct  4 19:22 scsi-SATA_SAMSUNG_SSD_PM81_S0N4NEAB600755-part4 -> ../../sda4
lrwxrwxrwx 1 root root 10 Oct  4 19:22 scsi-SATA_SAMSUNG_SSD_PM81_S0N4NEAB600755-part5 -> ../../sda5
lrwxrwxrwx 1 root root 10 Oct  4 19:22 scsi-SATA_SAMSUNG_SSD_PM81_S0N4NEAB600755-part6 -> ../../sda6
lrwxrwxrwx 1 root root 10 Oct  4 19:22 scsi-SATA_SAMSUNG_SSD_PM81_S0N4NEAB600755-part7 -> ../../sda7
lrwxrwxrwx 1 root root 10 Oct  5 23:08 scsi-SATA_SAMSUNG_SSD_PM81_S0N4NEAB600755-part8 -> ../../sda8
lrwxrwxrwx 1 root root 10 Oct  4 19:22 scsi-SATA_SAMSUNG_SSD_PM81_S0N4NEAB600755-part9 -> ../../sda9
lrwxrwxrwx 1 root root  9 Oct  4 19:22 wwn-0x50000f0000000000 -> ../../sda
lrwxrwxrwx 1 root root 10 Oct  4 19:22 wwn-0x50000f0000000000-part1 -> ../../sda1
lrwxrwxrwx 1 root root 10 Oct  4 19:22 wwn-0x50000f0000000000-part2 -> ../../sda2
lrwxrwxrwx 1 root root 10 Oct  4 19:22 wwn-0x50000f0000000000-part3 -> ../../sda3
lrwxrwxrwx 1 root root 10 Oct  4 19:22 wwn-0x50000f0000000000-part4 -> ../../sda4
lrwxrwxrwx 1 root root 10 Oct  4 19:22 wwn-0x50000f0000000000-part5 -> ../../sda5
lrwxrwxrwx 1 root root 10 Oct  4 19:22 wwn-0x50000f0000000000-part6 -> ../../sda6
lrwxrwxrwx 1 root root 10 Oct  4 19:22 wwn-0x50000f0000000000-part7 -> ../../sda7
lrwxrwxrwx 1 root root 10 Oct  5 23:08 wwn-0x50000f0000000000-part8 -> ../../sda8
lrwxrwxrwx 1 root root 10 Oct  4 19:22 wwn-0x50000f0000000000-part9 -> ../../sda9
*********************** END /dev/disk/by-id

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

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

Kernel: Linux 3.11.0 (SMP w/8 CPU cores)
Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/bash

Versions of packages grub2 depends on:
ii  grub-common  1.99-27+deb7u1
ii  grub-pc      1.99-27+deb7u1

grub2 recommends no packages.

grub2 suggests no packages.

-- no debconf information

-- 
Samuel
 jr> J'ai fait.
 Ne bougez pas, l'aide soignante va venir nettoyer.
 -+- FF in GNU - Le vieil homme et la merde -+-



More information about the Pkg-grub-devel mailing list