Bug#670186: hurd-i386: add userland partition support

Samuel Thibault sthibault at debian.org
Mon Apr 23 20:42:52 UTC 2012


Package: grub2
Version: 1.99-21
Severity: important
Tags: patch

Hello,

hurd-i386 uses userland partition support in the debian installer, i.e.
/dev/hd0s* slices are actually served by userland translators which use
libparted.  The grub probe code needs to be fixed for that, here is a
patch.

I have begun submitting it upstream, but disk detection has changed
considerably, so it will have to be rethought.  The attached patch can
be used in Debian in the meanwhile.

Samuel

-- Package-specific info:

*********************** BEGIN /proc/mounts
/dev/disk/by-uuid/38e6e493-2f5f-4a98-b1d6-a9434f0683cc / ext4 rw,nodiratime,relatime,errors=remount-ro,user_xattr,barrier=1,data=ordered,discard 0 0
/dev/sda9 /home ext4 rw,nodiratime,relatime,user_xattr,barrier=1,data=ordered,discard 0 0
/dev/sda1 /mnt/dell vfat ro,relatime,fmask=0022,dmask=0022,codepage=cp437,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,user_xattr,barrier=1,data=ordered,discard 0 0
/dev/sda9 /home/32/home ext4 rw,nodiratime,relatime,user_xattr,barrier=1,data=ordered,discard 0 0
/dev/sda9 /home/32/usr/src ext4 rw,nodiratime,relatime,user_xattr,barrier=1,data=ordered,discard 0 0
/dev/sda9 /home/unstable/home ext4 rw,nodiratime,relatime,user_xattr,barrier=1,data=ordered,discard 0 0
/dev/sda9 /home/unstable/usr/src ext4 rw,nodiratime,relatime,user_xattr,barrier=1,data=ordered,discard 0 0
/dev/sda9 /home/squeeze/home ext4 rw,nodiratime,relatime,user_xattr,barrier=1,data=ordered,discard 0 0
/dev/sda9 /home/squeeze/usr/src ext4 rw,nodiratime,relatime,user_xattr,barrier=1,data=ordered,discard 0 0
/dev/sda8 /mnt/goinfre vfat rw,nosuid,nodev,noexec,noatime,uid=1000,gid=100,fmask=0002,dmask=0002,allow_utime=0020,codepage=cp437,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
  load_env
fi
set default="6"
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/spacefun-grub.png; then
  set color_normal=light-gray/black
  set color_highlight=white/black
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.3.0' --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.3.0 ...'
	linux	/boot/vmlinuz-3.3.0 root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro i915.i915_enable-fbc=0 
	echo	'Chargement du disque mémoire initial ...'
	initrd	/boot/initrd.img-3.3.0
}
menuentry 'Debian GNU/Linux, avec Linux 3.3.0 (mode de dépannage)' --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.3.0 ...'
	linux	/boot/vmlinuz-3.3.0 root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single i915.i915_enable-fbc=0
	echo	'Chargement du disque mémoire initial ...'
	initrd	/boot/initrd.img-3.3.0
}
menuentry 'Debian GNU/Linux, avec Linux 3.2.0-2-amd64' --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.2.0-2-amd64 ...'
	linux	/boot/vmlinuz-3.2.0-2-amd64 root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro i915.i915_enable-fbc=0 
	echo	'Chargement du disque mémoire initial ...'
	initrd	/boot/initrd.img-3.2.0-2-amd64
}
menuentry 'Debian GNU/Linux, avec Linux 3.2.0-2-amd64 (mode de dépannage)' --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.2.0-2-amd64 ...'
	linux	/boot/vmlinuz-3.2.0-2-amd64 root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single i915.i915_enable-fbc=0
	echo	'Chargement du disque mémoire initial ...'
	initrd	/boot/initrd.img-3.2.0-2-amd64
}
menuentry 'Debian GNU/Linux, avec Linux 3.2.0' --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.2.0 ...'
	linux	/boot/vmlinuz-3.2.0 root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro i915.i915_enable-fbc=0 
	echo	'Chargement du disque mémoire initial ...'
	initrd	/boot/initrd.img-3.2.0
}
menuentry 'Debian GNU/Linux, avec Linux 3.2.0 (mode de dépannage)' --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.2.0 ...'
	linux	/boot/vmlinuz-3.2.0 root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single i915.i915_enable-fbc=0
	echo	'Chargement du disque mémoire initial ...'
	initrd	/boot/initrd.img-3.2.0
}
menuentry 'Debian GNU/Linux, avec Linux 3.0.4' --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.0.4 ...'
	linux	/boot/vmlinuz-3.0.4 root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro i915.i915_enable-fbc=0 
	echo	'Chargement du disque mémoire initial ...'
	initrd	/boot/initrd.img-3.0.4
}
menuentry 'Debian GNU/Linux, avec Linux 3.0.4 (mode de dépannage)' --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.0.4 ...'
	linux	/boot/vmlinuz-3.0.4 root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single i915.i915_enable-fbc=0
	echo	'Chargement du disque mémoire initial ...'
	initrd	/boot/initrd.img-3.0.4
}
menuentry 'Debian GNU/Linux, avec Linux 3.0.0-1-amd64' --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.0.0-1-amd64 ...'
	linux	/boot/vmlinuz-3.0.0-1-amd64 root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro i915.i915_enable-fbc=0 
	echo	'Chargement du disque mémoire initial ...'
	initrd	/boot/initrd.img-3.0.0-1-amd64
}
menuentry 'Debian GNU/Linux, avec Linux 3.0.0-1-amd64 (mode de dépannage)' --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.0.0-1-amd64 ...'
	linux	/boot/vmlinuz-3.0.0-1-amd64 root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single i915.i915_enable-fbc=0
	echo	'Chargement du disque mémoire initial ...'
	initrd	/boot/initrd.img-3.0.0-1-amd64
}
menuentry 'Debian GNU/Linux, avec Linux 2.6.32-5-xen-amd64' --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 2.6.32-5-xen-amd64 ...'
	linux	/boot/vmlinuz-2.6.32-5-xen-amd64 root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro i915.i915_enable-fbc=0 
	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 {
	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 i915.i915_enable-fbc=0
	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_ipxe ###
menuentry "Network boot (iPXE)" --users "" --class network {
	insmod part_msdos
	insmod ext2
	set root='(hd0,msdos6)'
	search --no-floppy --fs-uuid --set=root 38e6e493-2f5f-4a98-b1d6-a9434f0683cc
	linux16 /boot/ipxe.lkrn
}
### END /etc/grub.d/20_ipxe ###

### BEGIN /etc/grub.d/20_linux_xen ###
submenu "Xen syms-3.4-unstable" {
menuentry 'Debian GNU/Linux, avec Xen syms-3.4-unstable et Linux 3.3.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 syms-3.4-unstable ...'
	multiboot	/boot/xen-syms-3.4-unstable placeholder   vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 3.3.0 ...'
	module	/boot/vmlinuz-3.3.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro i915.i915_enable-fbc=0  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.3.0
}
menuentry 'Debian GNU/Linux, avec Xen syms-3.4-unstable et Linux 3.3.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 syms-3.4-unstable ...'
	multiboot	/boot/xen-syms-3.4-unstable placeholder  vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 3.3.0 ...'
	module	/boot/vmlinuz-3.3.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single i915.i915_enable-fbc=0 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.3.0
}
menuentry 'Debian GNU/Linux, avec Xen syms-3.4-unstable et Linux 3.2.0-2-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 syms-3.4-unstable ...'
	multiboot	/boot/xen-syms-3.4-unstable placeholder   vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 3.2.0-2-amd64 ...'
	module	/boot/vmlinuz-3.2.0-2-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro i915.i915_enable-fbc=0  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-2-amd64
}
menuentry 'Debian GNU/Linux, avec Xen syms-3.4-unstable et Linux 3.2.0-2-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 syms-3.4-unstable ...'
	multiboot	/boot/xen-syms-3.4-unstable placeholder  vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 3.2.0-2-amd64 ...'
	module	/boot/vmlinuz-3.2.0-2-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single i915.i915_enable-fbc=0 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-2-amd64
}
menuentry 'Debian GNU/Linux, avec Xen syms-3.4-unstable et Linux 3.2.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 syms-3.4-unstable ...'
	multiboot	/boot/xen-syms-3.4-unstable placeholder   vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 3.2.0 ...'
	module	/boot/vmlinuz-3.2.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro i915.i915_enable-fbc=0  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
}
menuentry 'Debian GNU/Linux, avec Xen syms-3.4-unstable et Linux 3.2.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 syms-3.4-unstable ...'
	multiboot	/boot/xen-syms-3.4-unstable placeholder  vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 3.2.0 ...'
	module	/boot/vmlinuz-3.2.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single i915.i915_enable-fbc=0 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
}
menuentry 'Debian GNU/Linux, avec Xen syms-3.4-unstable et Linux 3.0.4' --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 syms-3.4-unstable ...'
	multiboot	/boot/xen-syms-3.4-unstable placeholder   vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 3.0.4 ...'
	module	/boot/vmlinuz-3.0.4 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro i915.i915_enable-fbc=0  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.0.4
}
menuentry 'Debian GNU/Linux, avec Xen syms-3.4-unstable et Linux 3.0.4 (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 syms-3.4-unstable ...'
	multiboot	/boot/xen-syms-3.4-unstable placeholder  vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 3.0.4 ...'
	module	/boot/vmlinuz-3.0.4 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single i915.i915_enable-fbc=0 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.0.4
}
menuentry 'Debian GNU/Linux, avec Xen syms-3.4-unstable et Linux 3.0.0-1-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 syms-3.4-unstable ...'
	multiboot	/boot/xen-syms-3.4-unstable placeholder   vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 3.0.0-1-amd64 ...'
	module	/boot/vmlinuz-3.0.0-1-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro i915.i915_enable-fbc=0  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.0.0-1-amd64
}
menuentry 'Debian GNU/Linux, avec Xen syms-3.4-unstable et Linux 3.0.0-1-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 syms-3.4-unstable ...'
	multiboot	/boot/xen-syms-3.4-unstable placeholder  vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 3.0.0-1-amd64 ...'
	module	/boot/vmlinuz-3.0.0-1-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single i915.i915_enable-fbc=0 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.0.0-1-amd64
}
menuentry 'Debian GNU/Linux, avec Xen syms-3.4-unstable 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 syms-3.4-unstable ...'
	multiboot	/boot/xen-syms-3.4-unstable 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 i915.i915_enable-fbc=0  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 syms-3.4-unstable 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 syms-3.4-unstable ...'
	multiboot	/boot/xen-syms-3.4-unstable 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 i915.i915_enable-fbc=0 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" {
menuentry 'Debian GNU/Linux, avec Xen 4.1 et Linux 3.3.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.3.0 ...'
	module	/boot/vmlinuz-3.3.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro i915.i915_enable-fbc=0  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.3.0
}
menuentry 'Debian GNU/Linux, avec Xen 4.1 et Linux 3.3.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.3.0 ...'
	module	/boot/vmlinuz-3.3.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single i915.i915_enable-fbc=0 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.3.0
}
menuentry 'Debian GNU/Linux, avec Xen 4.1 et Linux 3.2.0-2-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-2-amd64 ...'
	module	/boot/vmlinuz-3.2.0-2-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro i915.i915_enable-fbc=0  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-2-amd64
}
menuentry 'Debian GNU/Linux, avec Xen 4.1 et Linux 3.2.0-2-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-2-amd64 ...'
	module	/boot/vmlinuz-3.2.0-2-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single i915.i915_enable-fbc=0 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-2-amd64
}
menuentry 'Debian GNU/Linux, avec Xen 4.1 et Linux 3.2.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.2.0 ...'
	module	/boot/vmlinuz-3.2.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro i915.i915_enable-fbc=0  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
}
menuentry 'Debian GNU/Linux, avec Xen 4.1 et Linux 3.2.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.2.0 ...'
	module	/boot/vmlinuz-3.2.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single i915.i915_enable-fbc=0 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
}
menuentry 'Debian GNU/Linux, avec Xen 4.1 et Linux 3.0.4' --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.0.4 ...'
	module	/boot/vmlinuz-3.0.4 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro i915.i915_enable-fbc=0  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.0.4
}
menuentry 'Debian GNU/Linux, avec Xen 4.1 et Linux 3.0.4 (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.0.4 ...'
	module	/boot/vmlinuz-3.0.4 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single i915.i915_enable-fbc=0 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.0.4
}
menuentry 'Debian GNU/Linux, avec Xen 4.1 et Linux 3.0.0-1-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.0.0-1-amd64 ...'
	module	/boot/vmlinuz-3.0.0-1-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro i915.i915_enable-fbc=0  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.0.0-1-amd64
}
menuentry 'Debian GNU/Linux, avec Xen 4.1 et Linux 3.0.0-1-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.0.0-1-amd64 ...'
	module	/boot/vmlinuz-3.0.0-1-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single i915.i915_enable-fbc=0 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.0.0-1-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 i915.i915_enable-fbc=0  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 i915.i915_enable-fbc=0 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.3.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.3.0 ...'
	module	/boot/vmlinuz-3.3.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro i915.i915_enable-fbc=0  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.3.0
}
menuentry 'Debian GNU/Linux, avec Xen 4.1-amd64 et Linux 3.3.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.3.0 ...'
	module	/boot/vmlinuz-3.3.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single i915.i915_enable-fbc=0 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.3.0
}
menuentry 'Debian GNU/Linux, avec Xen 4.1-amd64 et Linux 3.2.0-2-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-2-amd64 ...'
	module	/boot/vmlinuz-3.2.0-2-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro i915.i915_enable-fbc=0  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-2-amd64
}
menuentry 'Debian GNU/Linux, avec Xen 4.1-amd64 et Linux 3.2.0-2-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-2-amd64 ...'
	module	/boot/vmlinuz-3.2.0-2-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single i915.i915_enable-fbc=0 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-2-amd64
}
menuentry 'Debian GNU/Linux, avec Xen 4.1-amd64 et Linux 3.2.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.2.0 ...'
	module	/boot/vmlinuz-3.2.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro i915.i915_enable-fbc=0  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
}
menuentry 'Debian GNU/Linux, avec Xen 4.1-amd64 et Linux 3.2.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.2.0 ...'
	module	/boot/vmlinuz-3.2.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single i915.i915_enable-fbc=0 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
}
menuentry 'Debian GNU/Linux, avec Xen 4.1-amd64 et Linux 3.0.4' --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.0.4 ...'
	module	/boot/vmlinuz-3.0.4 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro i915.i915_enable-fbc=0  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.0.4
}
menuentry 'Debian GNU/Linux, avec Xen 4.1-amd64 et Linux 3.0.4 (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.0.4 ...'
	module	/boot/vmlinuz-3.0.4 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single i915.i915_enable-fbc=0 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.0.4
}
menuentry 'Debian GNU/Linux, avec Xen 4.1-amd64 et Linux 3.0.0-1-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.0.0-1-amd64 ...'
	module	/boot/vmlinuz-3.0.0-1-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro i915.i915_enable-fbc=0  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.0.0-1-amd64
}
menuentry 'Debian GNU/Linux, avec Xen 4.1-amd64 et Linux 3.0.0-1-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.0.0-1-amd64 ...'
	module	/boot/vmlinuz-3.0.0-1-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single i915.i915_enable-fbc=0 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.0.0-1-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 i915.i915_enable-fbc=0  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 i915.i915_enable-fbc=0 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.3.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.3.0 ...'
	module	/boot/vmlinuz-3.3.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro i915.i915_enable-fbc=0  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.3.0
}
menuentry 'Debian GNU/Linux, avec Xen 4.0 et Linux 3.3.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.3.0 ...'
	module	/boot/vmlinuz-3.3.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single i915.i915_enable-fbc=0 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.3.0
}
menuentry 'Debian GNU/Linux, avec Xen 4.0 et Linux 3.2.0-2-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-2-amd64 ...'
	module	/boot/vmlinuz-3.2.0-2-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro i915.i915_enable-fbc=0  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-2-amd64
}
menuentry 'Debian GNU/Linux, avec Xen 4.0 et Linux 3.2.0-2-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-2-amd64 ...'
	module	/boot/vmlinuz-3.2.0-2-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single i915.i915_enable-fbc=0 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-2-amd64
}
menuentry 'Debian GNU/Linux, avec Xen 4.0 et Linux 3.2.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.2.0 ...'
	module	/boot/vmlinuz-3.2.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro i915.i915_enable-fbc=0  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
}
menuentry 'Debian GNU/Linux, avec Xen 4.0 et Linux 3.2.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.2.0 ...'
	module	/boot/vmlinuz-3.2.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single i915.i915_enable-fbc=0 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
}
menuentry 'Debian GNU/Linux, avec Xen 4.0 et Linux 3.0.4' --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.0.4 ...'
	module	/boot/vmlinuz-3.0.4 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro i915.i915_enable-fbc=0  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.0.4
}
menuentry 'Debian GNU/Linux, avec Xen 4.0 et Linux 3.0.4 (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.0.4 ...'
	module	/boot/vmlinuz-3.0.4 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single i915.i915_enable-fbc=0 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.0.4
}
menuentry 'Debian GNU/Linux, avec Xen 4.0 et Linux 3.0.0-1-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.0.0-1-amd64 ...'
	module	/boot/vmlinuz-3.0.0-1-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro i915.i915_enable-fbc=0  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.0.0-1-amd64
}
menuentry 'Debian GNU/Linux, avec Xen 4.0 et Linux 3.0.0-1-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.0.0-1-amd64 ...'
	module	/boot/vmlinuz-3.0.0-1-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single i915.i915_enable-fbc=0 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.0.0-1-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 i915.i915_enable-fbc=0  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 i915.i915_enable-fbc=0 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.3.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.3.0 ...'
	module	/boot/vmlinuz-3.3.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro i915.i915_enable-fbc=0  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.3.0
}
menuentry 'Debian GNU/Linux, avec Xen 4.0-amd64 et Linux 3.3.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.3.0 ...'
	module	/boot/vmlinuz-3.3.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single i915.i915_enable-fbc=0 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.3.0
}
menuentry 'Debian GNU/Linux, avec Xen 4.0-amd64 et Linux 3.2.0-2-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-2-amd64 ...'
	module	/boot/vmlinuz-3.2.0-2-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro i915.i915_enable-fbc=0  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-2-amd64
}
menuentry 'Debian GNU/Linux, avec Xen 4.0-amd64 et Linux 3.2.0-2-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-2-amd64 ...'
	module	/boot/vmlinuz-3.2.0-2-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single i915.i915_enable-fbc=0 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-2-amd64
}
menuentry 'Debian GNU/Linux, avec Xen 4.0-amd64 et Linux 3.2.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.2.0 ...'
	module	/boot/vmlinuz-3.2.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro i915.i915_enable-fbc=0  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
}
menuentry 'Debian GNU/Linux, avec Xen 4.0-amd64 et Linux 3.2.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.2.0 ...'
	module	/boot/vmlinuz-3.2.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single i915.i915_enable-fbc=0 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
}
menuentry 'Debian GNU/Linux, avec Xen 4.0-amd64 et Linux 3.0.4' --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.0.4 ...'
	module	/boot/vmlinuz-3.0.4 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro i915.i915_enable-fbc=0  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.0.4
}
menuentry 'Debian GNU/Linux, avec Xen 4.0-amd64 et Linux 3.0.4 (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.0.4 ...'
	module	/boot/vmlinuz-3.0.4 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single i915.i915_enable-fbc=0 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.0.4
}
menuentry 'Debian GNU/Linux, avec Xen 4.0-amd64 et Linux 3.0.0-1-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.0.0-1-amd64 ...'
	module	/boot/vmlinuz-3.0.0-1-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro i915.i915_enable-fbc=0  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.0.0-1-amd64
}
menuentry 'Debian GNU/Linux, avec Xen 4.0-amd64 et Linux 3.0.0-1-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.0.0-1-amd64 ...'
	module	/boot/vmlinuz-3.0.0-1-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single i915.i915_enable-fbc=0 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.0.0-1-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 i915.i915_enable-fbc=0  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 i915.i915_enable-fbc=0 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.4-unstable" {
menuentry 'Debian GNU/Linux, avec Xen 3.4-unstable et Linux 3.3.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.4-unstable ...'
	multiboot	/boot/xen-3.4-unstable.gz placeholder   vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 3.3.0 ...'
	module	/boot/vmlinuz-3.3.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro i915.i915_enable-fbc=0  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.3.0
}
menuentry 'Debian GNU/Linux, avec Xen 3.4-unstable et Linux 3.3.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.4-unstable ...'
	multiboot	/boot/xen-3.4-unstable.gz placeholder  vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 3.3.0 ...'
	module	/boot/vmlinuz-3.3.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single i915.i915_enable-fbc=0 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.3.0
}
menuentry 'Debian GNU/Linux, avec Xen 3.4-unstable et Linux 3.2.0-2-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.4-unstable ...'
	multiboot	/boot/xen-3.4-unstable.gz placeholder   vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 3.2.0-2-amd64 ...'
	module	/boot/vmlinuz-3.2.0-2-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro i915.i915_enable-fbc=0  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-2-amd64
}
menuentry 'Debian GNU/Linux, avec Xen 3.4-unstable et Linux 3.2.0-2-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.4-unstable ...'
	multiboot	/boot/xen-3.4-unstable.gz placeholder  vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 3.2.0-2-amd64 ...'
	module	/boot/vmlinuz-3.2.0-2-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single i915.i915_enable-fbc=0 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-2-amd64
}
menuentry 'Debian GNU/Linux, avec Xen 3.4-unstable et Linux 3.2.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.4-unstable ...'
	multiboot	/boot/xen-3.4-unstable.gz placeholder   vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 3.2.0 ...'
	module	/boot/vmlinuz-3.2.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro i915.i915_enable-fbc=0  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
}
menuentry 'Debian GNU/Linux, avec Xen 3.4-unstable et Linux 3.2.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.4-unstable ...'
	multiboot	/boot/xen-3.4-unstable.gz placeholder  vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 3.2.0 ...'
	module	/boot/vmlinuz-3.2.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single i915.i915_enable-fbc=0 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
}
menuentry 'Debian GNU/Linux, avec Xen 3.4-unstable et Linux 3.0.4' --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.4-unstable ...'
	multiboot	/boot/xen-3.4-unstable.gz placeholder   vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 3.0.4 ...'
	module	/boot/vmlinuz-3.0.4 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro i915.i915_enable-fbc=0  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.0.4
}
menuentry 'Debian GNU/Linux, avec Xen 3.4-unstable et Linux 3.0.4 (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.4-unstable ...'
	multiboot	/boot/xen-3.4-unstable.gz placeholder  vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 3.0.4 ...'
	module	/boot/vmlinuz-3.0.4 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single i915.i915_enable-fbc=0 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.0.4
}
menuentry 'Debian GNU/Linux, avec Xen 3.4-unstable et Linux 3.0.0-1-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.4-unstable ...'
	multiboot	/boot/xen-3.4-unstable.gz placeholder   vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 3.0.0-1-amd64 ...'
	module	/boot/vmlinuz-3.0.0-1-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro i915.i915_enable-fbc=0  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.0.0-1-amd64
}
menuentry 'Debian GNU/Linux, avec Xen 3.4-unstable et Linux 3.0.0-1-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.4-unstable ...'
	multiboot	/boot/xen-3.4-unstable.gz placeholder  vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 3.0.0-1-amd64 ...'
	module	/boot/vmlinuz-3.0.0-1-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single i915.i915_enable-fbc=0 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.0.0-1-amd64
}
menuentry 'Debian GNU/Linux, avec Xen 3.4-unstable 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.4-unstable ...'
	multiboot	/boot/xen-3.4-unstable.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 i915.i915_enable-fbc=0  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.4-unstable 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.4-unstable ...'
	multiboot	/boot/xen-3.4-unstable.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 i915.i915_enable-fbc=0 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.4-amd64" {
menuentry 'Debian GNU/Linux, avec Xen 3.4-amd64 et Linux 3.3.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.4-amd64 ...'
	multiboot	/boot/xen-3.4-amd64.gz placeholder   vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 3.3.0 ...'
	module	/boot/vmlinuz-3.3.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro i915.i915_enable-fbc=0  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.3.0
}
menuentry 'Debian GNU/Linux, avec Xen 3.4-amd64 et Linux 3.3.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.4-amd64 ...'
	multiboot	/boot/xen-3.4-amd64.gz placeholder  vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 3.3.0 ...'
	module	/boot/vmlinuz-3.3.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single i915.i915_enable-fbc=0 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.3.0
}
menuentry 'Debian GNU/Linux, avec Xen 3.4-amd64 et Linux 3.2.0-2-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.4-amd64 ...'
	multiboot	/boot/xen-3.4-amd64.gz placeholder   vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 3.2.0-2-amd64 ...'
	module	/boot/vmlinuz-3.2.0-2-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro i915.i915_enable-fbc=0  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-2-amd64
}
menuentry 'Debian GNU/Linux, avec Xen 3.4-amd64 et Linux 3.2.0-2-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.4-amd64 ...'
	multiboot	/boot/xen-3.4-amd64.gz placeholder  vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 3.2.0-2-amd64 ...'
	module	/boot/vmlinuz-3.2.0-2-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single i915.i915_enable-fbc=0 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-2-amd64
}
menuentry 'Debian GNU/Linux, avec Xen 3.4-amd64 et Linux 3.2.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.4-amd64 ...'
	multiboot	/boot/xen-3.4-amd64.gz placeholder   vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 3.2.0 ...'
	module	/boot/vmlinuz-3.2.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro i915.i915_enable-fbc=0  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
}
menuentry 'Debian GNU/Linux, avec Xen 3.4-amd64 et Linux 3.2.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.4-amd64 ...'
	multiboot	/boot/xen-3.4-amd64.gz placeholder  vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 3.2.0 ...'
	module	/boot/vmlinuz-3.2.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single i915.i915_enable-fbc=0 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
}
menuentry 'Debian GNU/Linux, avec Xen 3.4-amd64 et Linux 3.0.4' --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.4-amd64 ...'
	multiboot	/boot/xen-3.4-amd64.gz placeholder   vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 3.0.4 ...'
	module	/boot/vmlinuz-3.0.4 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro i915.i915_enable-fbc=0  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.0.4
}
menuentry 'Debian GNU/Linux, avec Xen 3.4-amd64 et Linux 3.0.4 (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.4-amd64 ...'
	multiboot	/boot/xen-3.4-amd64.gz placeholder  vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 3.0.4 ...'
	module	/boot/vmlinuz-3.0.4 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single i915.i915_enable-fbc=0 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.0.4
}
menuentry 'Debian GNU/Linux, avec Xen 3.4-amd64 et Linux 3.0.0-1-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.4-amd64 ...'
	multiboot	/boot/xen-3.4-amd64.gz placeholder   vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 3.0.0-1-amd64 ...'
	module	/boot/vmlinuz-3.0.0-1-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro i915.i915_enable-fbc=0  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.0.0-1-amd64
}
menuentry 'Debian GNU/Linux, avec Xen 3.4-amd64 et Linux 3.0.0-1-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.4-amd64 ...'
	multiboot	/boot/xen-3.4-amd64.gz placeholder  vga=text-80x60 dom0_mem=3000M
	echo	'Chargement de Linux 3.0.0-1-amd64 ...'
	module	/boot/vmlinuz-3.0.0-1-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single i915.i915_enable-fbc=0 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.0.0-1-amd64
}
menuentry 'Debian GNU/Linux, avec Xen 3.4-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.4-amd64 ...'
	multiboot	/boot/xen-3.4-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 i915.i915_enable-fbc=0  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.4-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.4-amd64 ...'
	multiboot	/boot/xen-3.4-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 i915.i915_enable-fbc=0 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.3.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.3.0 ...'
	module	/boot/vmlinuz-3.3.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro i915.i915_enable-fbc=0  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.3.0
}
menuentry 'Debian GNU/Linux, avec Xen 3.2-1-amd64 et Linux 3.3.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.3.0 ...'
	module	/boot/vmlinuz-3.3.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single i915.i915_enable-fbc=0 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.3.0
}
menuentry 'Debian GNU/Linux, avec Xen 3.2-1-amd64 et Linux 3.2.0-2-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-2-amd64 ...'
	module	/boot/vmlinuz-3.2.0-2-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro i915.i915_enable-fbc=0  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-2-amd64
}
menuentry 'Debian GNU/Linux, avec Xen 3.2-1-amd64 et Linux 3.2.0-2-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-2-amd64 ...'
	module	/boot/vmlinuz-3.2.0-2-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single i915.i915_enable-fbc=0 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-2-amd64
}
menuentry 'Debian GNU/Linux, avec Xen 3.2-1-amd64 et Linux 3.2.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.2.0 ...'
	module	/boot/vmlinuz-3.2.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro i915.i915_enable-fbc=0  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
}
menuentry 'Debian GNU/Linux, avec Xen 3.2-1-amd64 et Linux 3.2.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.2.0 ...'
	module	/boot/vmlinuz-3.2.0 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single i915.i915_enable-fbc=0 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
}
menuentry 'Debian GNU/Linux, avec Xen 3.2-1-amd64 et Linux 3.0.4' --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.0.4 ...'
	module	/boot/vmlinuz-3.0.4 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro i915.i915_enable-fbc=0  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.0.4
}
menuentry 'Debian GNU/Linux, avec Xen 3.2-1-amd64 et Linux 3.0.4 (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.0.4 ...'
	module	/boot/vmlinuz-3.0.4 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single i915.i915_enable-fbc=0 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.0.4
}
menuentry 'Debian GNU/Linux, avec Xen 3.2-1-amd64 et Linux 3.0.0-1-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.0.0-1-amd64 ...'
	module	/boot/vmlinuz-3.0.0-1-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro i915.i915_enable-fbc=0  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.0.0-1-amd64
}
menuentry 'Debian GNU/Linux, avec Xen 3.2-1-amd64 et Linux 3.0.0-1-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.0.0-1-amd64 ...'
	module	/boot/vmlinuz-3.0.0-1-amd64 placeholder root=UUID=38e6e493-2f5f-4a98-b1d6-a9434f0683cc ro single i915.i915_enable-fbc=0 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.0.0-1-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 i915.i915_enable-fbc=0  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 i915.i915_enable-fbc=0 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:hd0s7
	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) 2" {
	set root=(hd0,6)
	multiboot /boot/gnumach-mine-nocache root=device:hd0s7
	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 "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 "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 ###
*********************** 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 Apr 20 19:34 ata-HL-DT-ST_DVD+_-RW_GU40N_KWDB5TG4030 -> ../../sr0
lrwxrwxrwx 1 root root  9 Apr 20 19:34 ata-SAMSUNG_SSD_PM810_2.5__256GB_S0N4NEAB600755 -> ../../sda
lrwxrwxrwx 1 root root 10 Apr 20 19:34 ata-SAMSUNG_SSD_PM810_2.5__256GB_S0N4NEAB600755-part1 -> ../../sda1
lrwxrwxrwx 1 root root 10 Apr 20 19:34 ata-SAMSUNG_SSD_PM810_2.5__256GB_S0N4NEAB600755-part2 -> ../../sda2
lrwxrwxrwx 1 root root 10 Apr 20 19:34 ata-SAMSUNG_SSD_PM810_2.5__256GB_S0N4NEAB600755-part3 -> ../../sda3
lrwxrwxrwx 1 root root 10 Apr 20 19:34 ata-SAMSUNG_SSD_PM810_2.5__256GB_S0N4NEAB600755-part4 -> ../../sda4
lrwxrwxrwx 1 root root 10 Apr 20 19:34 ata-SAMSUNG_SSD_PM810_2.5__256GB_S0N4NEAB600755-part5 -> ../../sda5
lrwxrwxrwx 1 root root 10 Apr 20 19:34 ata-SAMSUNG_SSD_PM810_2.5__256GB_S0N4NEAB600755-part6 -> ../../sda6
lrwxrwxrwx 1 root root 10 Apr 22 02:33 ata-SAMSUNG_SSD_PM810_2.5__256GB_S0N4NEAB600755-part7 -> ../../sda7
lrwxrwxrwx 1 root root 10 Apr 20 19:34 ata-SAMSUNG_SSD_PM810_2.5__256GB_S0N4NEAB600755-part8 -> ../../sda8
lrwxrwxrwx 1 root root 10 Apr 20 19:34 ata-SAMSUNG_SSD_PM810_2.5__256GB_S0N4NEAB600755-part9 -> ../../sda9
lrwxrwxrwx 1 root root  9 Apr 20 19:34 scsi-SATA_SAMSUNG_SSD_PM8_S0N4NEAB600755 -> ../../sda
lrwxrwxrwx 1 root root 10 Apr 20 19:34 scsi-SATA_SAMSUNG_SSD_PM8_S0N4NEAB600755-part1 -> ../../sda1
lrwxrwxrwx 1 root root 10 Apr 20 19:34 scsi-SATA_SAMSUNG_SSD_PM8_S0N4NEAB600755-part2 -> ../../sda2
lrwxrwxrwx 1 root root 10 Apr 20 19:34 scsi-SATA_SAMSUNG_SSD_PM8_S0N4NEAB600755-part3 -> ../../sda3
lrwxrwxrwx 1 root root 10 Apr 20 19:34 scsi-SATA_SAMSUNG_SSD_PM8_S0N4NEAB600755-part4 -> ../../sda4
lrwxrwxrwx 1 root root 10 Apr 20 19:34 scsi-SATA_SAMSUNG_SSD_PM8_S0N4NEAB600755-part5 -> ../../sda5
lrwxrwxrwx 1 root root 10 Apr 20 19:34 scsi-SATA_SAMSUNG_SSD_PM8_S0N4NEAB600755-part6 -> ../../sda6
lrwxrwxrwx 1 root root 10 Apr 22 02:33 scsi-SATA_SAMSUNG_SSD_PM8_S0N4NEAB600755-part7 -> ../../sda7
lrwxrwxrwx 1 root root 10 Apr 20 19:34 scsi-SATA_SAMSUNG_SSD_PM8_S0N4NEAB600755-part8 -> ../../sda8
lrwxrwxrwx 1 root root 10 Apr 20 19:34 scsi-SATA_SAMSUNG_SSD_PM8_S0N4NEAB600755-part9 -> ../../sda9
lrwxrwxrwx 1 root root  9 Apr 20 19:34 wwn-0x50000f0000000000 -> ../../sda
lrwxrwxrwx 1 root root 10 Apr 20 19:34 wwn-0x50000f0000000000-part1 -> ../../sda1
lrwxrwxrwx 1 root root 10 Apr 20 19:34 wwn-0x50000f0000000000-part2 -> ../../sda2
lrwxrwxrwx 1 root root 10 Apr 20 19:34 wwn-0x50000f0000000000-part3 -> ../../sda3
lrwxrwxrwx 1 root root 10 Apr 20 19:34 wwn-0x50000f0000000000-part4 -> ../../sda4
lrwxrwxrwx 1 root root 10 Apr 20 19:34 wwn-0x50000f0000000000-part5 -> ../../sda5
lrwxrwxrwx 1 root root 10 Apr 20 19:34 wwn-0x50000f0000000000-part6 -> ../../sda6
lrwxrwxrwx 1 root root 10 Apr 22 02:33 wwn-0x50000f0000000000-part7 -> ../../sda7
lrwxrwxrwx 1 root root 10 Apr 20 19:34 wwn-0x50000f0000000000-part8 -> ../../sda8
lrwxrwxrwx 1 root root 10 Apr 20 19:34 wwn-0x50000f0000000000-part9 -> ../../sda9
*********************** END /dev/disk/by-id

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

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

Kernel: Linux 3.0.4 (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-21
ii  grub-pc      1.99-21

grub2 recommends no packages.

grub2 suggests no packages.

-- no debconf information

-- 
Samuel Thibault <samuel.thibault at fnac.net>
 CN > J'ai enseigné l'algorythmique.
 GLG> C'est quoi l'algorythmique ? Une contrebasse programmée en Algol ?
 -+- in : Guide du Neuneu d'Usenet - Neuneu fait ses gammes. -+-
-------------- next part --------------
--- grub-core/Makefile.in.orig	2010-12-05 21:14:09.000000000 +0000
+++ grub-core/Makefile.in	2010-12-05 21:19:55.000000000 +0000
@@ -18,7 +18,7 @@
 # -*- makefile -*-
 
 
-
+LIBSTORE = @LIBSTORE@
 
 VPATH = @srcdir@
 pkgdatadir = $(datadir)/@PACKAGE@
Index: configure.ac
===================================================================
--- configure.ac.orig	2010-08-12 02:27:39.000000000 +0000
+++ configure.ac	2010-08-12 02:28:29.000000000 +0000
@@ -319,6 +319,18 @@
 ])
 AC_SUBST([LIBUTIL])
 
+# On Hurd we need libstore for kern/emu/getroot.c
+case "$host_kernel" in 
+  hurd)
+    AC_CHECK_HEADER([hurd/store.h], [], [AC_MSG_ERROR([hurd/store.h is needed])])
+    AC_CHECK_LIB([store], [store_create], [], [AC_MSG_ERROR([libstore is needed])])
+    LIBSTORE="-lstore"
+    ;;
+  *)
+    ;;
+esac
+AC_SUBST([LIBSTORE])
+
 #
 # Check for target programs.
 #
Index: grub-core/kern/emu/getroot.c
===================================================================
--- grub-core/kern/emu/getroot.c.orig	2010-08-12 02:27:40.000000000 +0000
+++ grub-core/kern/emu/getroot.c	2010-08-12 02:28:29.000000000 +0000
@@ -235,6 +235,163 @@
   return 0;
 }
 
+#elif defined(__GNU__)
+
+#include <mach.h>
+#include <hurd/hurd_types.h>
+#include <hurd/store.h>
+#include <grub/disk.h>
+#include <grub/partition.h>
+
+/* from hostdisk.c */
+extern struct
+{
+	char *drive;
+	char *device;
+} map[256];
+
+
+/* Open a store for storage information only. */
+static struct store *
+storeinfo_store (const char *path)
+{
+  file_t file;
+  struct store *store;
+  int err;
+
+  file = file_name_lookup (path, 0, 0);
+  if (file == MACH_PORT_NULL)
+    return NULL;
+
+  err = store_create (file, STORE_INACTIVE | STORE_NO_FILEIO, NULL, &store);
+  return err ? NULL : store;
+}
+
+/* Determine whether two stores share the same underlying storage. */
+static int
+same_storage (struct store *s1, struct store *s2)
+{
+  if (s1->class->id != s2->class->id)
+    return 0;
+
+  switch (s1->class->id)
+    {
+      case STORAGE_DEVICE:
+      case STORAGE_HURD_FILE:
+      case STORAGE_TASK:
+      case STORAGE_MEMORY:
+	if (s1->port != MACH_PORT_NULL && s1->port == s2->port)
+	  return 1;
+	else if (s1->name && s2->name && strcmp (s1->name, s2->name) == 0)
+	  return 1;
+	else
+	  return 0;
+
+      default:
+	return 0;
+    }
+}
+
+/* Retrieve the storage information for PATH, and search the device map until
+ * we find the matching disk, and maybe partition. */
+static char *
+find_hurd_root_device (const char *path)
+{
+  auto int check_part (grub_disk_t disk __attribute__((unused)),
+		  const grub_partition_t partition);
+  auto int check_disk (const char *name);
+
+  int winner_disk = -1, winner_part = -1;
+  struct store *path_store;
+  char *devpath = NULL;
+
+  int check_part (grub_disk_t disk __attribute__((unused)),
+		  const grub_partition_t partition)
+    {
+      store_offset_t start = partition->start * GRUB_DISK_SECTOR_SIZE,
+		     length = partition->len * GRUB_DISK_SECTOR_SIZE,
+		     fstart = path_store->runs->start * path_store->block_size;
+
+      grub_util_info ("Trying partition #%d (%ld+%ld)", partition->number,
+		      (long) start, (long) length);
+
+      if (fstart >= start && fstart < start + length)
+	winner_part = partition->number;
+      else
+	grub_util_info ("The target is outside (%ld)", (long) fstart);
+
+      return winner_part >= 0;
+    }
+
+  int check_disk (const char *name)
+    {
+      grub_disk_t disk;
+      struct store *disk_store;
+
+      grub_util_info ("Trying disk `%s'", name);
+
+      disk = grub_disk_open (name);
+      if (! disk)
+	goto out;
+
+      if (disk->dev->id != GRUB_DISK_DEVICE_BIOSDISK_ID)
+	{
+	  grub_util_info ("`%s' is not a biosdisk", name);
+	  goto out_disk;
+	}
+
+      disk_store = storeinfo_store (map[disk->id].device);
+      if (! disk_store)
+	{
+	  grub_util_info ("Could not retrieve storage info for `%s'", map[disk->id].device);
+	  goto out_disk;
+	}
+
+      if (! same_storage (disk_store, path_store))
+	{
+	  grub_util_info ("`%s' does not use the same storage as `%s'", name, path);
+	  goto out_store;
+	}
+
+      winner_disk = disk->id;
+      grub_partition_iterate (disk, check_part);
+
+    out_store:
+      store_free (disk_store);
+    out_disk:
+      grub_disk_close (disk);
+    out:
+      return winner_disk >= 0;
+    }
+
+  path_store = storeinfo_store (path);
+  if (! path_store)
+    grub_util_error ("Could not retrieve storage information for `%s'", path);
+
+  if (path_store->num_runs >= 1)
+    grub_disk_dev_iterate (check_disk);
+
+  if (winner_disk >= 0)
+    {
+      const char *diskpath = map[winner_disk].device;
+      devpath = xmalloc (strlen (diskpath) + 3 * sizeof (int) + 2);
+
+      strcpy (devpath, diskpath);
+      if (winner_part >= 0)
+	sprintf (devpath + strlen (devpath), "s%d", winner_part + 1);
+    }
+  else if (path_store->class->id == STORAGE_DEVICE && path_store->name)
+    {
+      /* use whatever device PATH_STORE is based on */
+      devpath = xmalloc (strlen (path_store->name) + sizeof "/dev/");
+      sprintf (devpath, "/dev/%s", path_store->name);
+    }
+
+  store_free (path_store);
+
+  return devpath;
+}
+
 #elif ! defined(__CYGWIN__)
 
 static char *
@@ -452,64 +609,10 @@
 char *
 grub_guess_root_device (const char *dir)
 {
-  char *os_dev = NULL;
 #ifdef __GNU__
-  file_t file;
-  mach_port_t *ports;
-  int *ints;
-  loff_t *offsets;
-  char *data;
-  error_t err;
-  mach_msg_type_number_t num_ports = 0, num_ints = 0, num_offsets = 0, data_len = 0;
-  size_t name_len;
-
-  file = file_name_lookup (dir, 0, 0);
-  if (file == MACH_PORT_NULL)
-    return 0;
-
-  err = file_get_storage_info (file,
-			       &ports, &num_ports,
-			       &ints, &num_ints,
-			       &offsets, &num_offsets,
-			       &data, &data_len);
-
-  if (num_ints < 1)
-    grub_util_error ("Storage info for `%s' does not include type", dir);
-  if (ints[0] != STORAGE_DEVICE)
-    grub_util_error ("Filesystem of `%s' is not stored on local disk", dir);
-
-  if (num_ints < 5)
-    grub_util_error ("Storage info for `%s' does not include name", dir);
-  name_len = ints[4];
-  if (name_len < data_len)
-    grub_util_error ("Bogus name length for storage info for `%s'", dir);
-  if (data[name_len - 1] != '\0')
-    grub_util_error ("Storage name for `%s' not NUL-terminated", dir);
-
-  os_dev = xmalloc (strlen ("/dev/") + data_len);
-  memcpy (os_dev, "/dev/", strlen ("/dev/"));
-  memcpy (os_dev + strlen ("/dev/"), data, data_len);
-
-  if (ports && num_ports > 0)
-    {
-      mach_msg_type_number_t i;
-      for (i = 0; i < num_ports; i++)
-        {
-	  mach_port_t port = ports[i];
-	  if (port != MACH_PORT_NULL)
-	    mach_port_deallocate (mach_task_self(), port);
-        }
-      munmap ((caddr_t) ports, num_ports * sizeof (*ports));
-    }
-
-  if (ints && num_ints > 0)
-    munmap ((caddr_t) ints, num_ints * sizeof (*ints));
-  if (offsets && num_offsets > 0)
-    munmap ((caddr_t) offsets, num_offsets * sizeof (*offsets));
-  if (data && data_len > 0)
-    munmap (data, data_len);
-  mach_port_deallocate (mach_task_self (), file);
+  return find_hurd_root_device (dir);
 #else /* !__GNU__ */
+  char *os_dev = NULL;
   struct stat st;
 
 #ifdef __linux__
@@ -536,9 +639,9 @@
   /* This might be truly slow, but is there any better way?  */
   os_dev = find_root_device ("/dev", st.st_dev);
 #endif
-#endif /* !__GNU__ */
 
   return os_dev;
+#endif /* !__GNU__ */
 }
 
 static int
--- Makefile.util.def.orig	2011-06-25 11:22:07.000000000 +0000
+++ Makefile.util.def	2011-06-25 11:22:13.000000000 +0000
@@ -273,7 +273,7 @@
   ldadd = libgrubmods.a;
   ldadd = libgrubkern.a;
   ldadd = grub-core/gnulib/libgnu.a;
-  ldadd = '$(LIBINTL) $(LIBDEVMAPPER) $(LIBUTIL) $(LIBZFS) $(LIBNVPAIR) $(LIBGEOM)';
+  ldadd = '$(LIBINTL) $(LIBDEVMAPPER) $(LIBUTIL) $(LIBZFS) $(LIBNVPAIR) $(LIBGEOM) $(LIBSTORE)';
 };
 
 program = {
@@ -290,7 +290,7 @@
   ldadd = libgrubmods.a;
   ldadd = libgrubkern.a;
   ldadd = grub-core/gnulib/libgnu.a;
-  ldadd = '$(LIBINTL) $(LIBDEVMAPPER) $(LIBUTIL) $(LIBZFS) $(LIBNVPAIR) $(LIBGEOM)';
+  ldadd = '$(LIBINTL) $(LIBDEVMAPPER) $(LIBUTIL) $(LIBZFS) $(LIBNVPAIR) $(LIBGEOM) $(LIBSTORE)';
 
   enable = i386_pc;
   enable = sparc64_ieee1275;
--- grub-core/Makefile.core.def.orig	2011-06-25 11:46:23.000000000 +0000
+++ grub-core/Makefile.core.def	2011-06-25 11:46:26.000000000 +0000
@@ -201,7 +201,7 @@
 
   ldadd = 'kernel.img$(EXEEXT)';
   ldadd = '$(MODULE_FILES)';
-  ldadd = '$(LIBUTIL) $(LIBCURSES) $(LIBSDL) $(LIBUSB) $(LIBPCIACCESS) $(LIBDEVMAPPER) $(LIBZFS) $(LIBNVPAIR) $(LIBGEOM)';
+  ldadd = '$(LIBUTIL) $(LIBCURSES) $(LIBSDL) $(LIBUSB) $(LIBPCIACCESS) $(LIBDEVMAPPER) $(LIBZFS) $(LIBNVPAIR) $(LIBGEOM) $(LIBSTORE)';
 
   enable = emu;
 };
@@ -212,7 +212,7 @@
   emu_nodist = symlist.c;
 
   ldadd = 'kernel.img$(EXEEXT)';
-  ldadd = '$(LIBUTIL) $(LIBCURSES) $(LIBSDL) $(LIBUSB) $(LIBPCIACCESS) $(LIBDEVMAPPER) $(LIBZFS) $(LIBNVPAIR) $(LIBGEOM)';
+  ldadd = '$(LIBUTIL) $(LIBCURSES) $(LIBSDL) $(LIBUSB) $(LIBPCIACCESS) $(LIBDEVMAPPER) $(LIBZFS) $(LIBNVPAIR) $(LIBGEOM) $(LIBSTORE)';
 
   enable = emu;
 };


More information about the Pkg-grub-devel mailing list