#!/bin/sh
exec tail -n +3 $0
# 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 'Debian GNU/Linux, avec Linux 3.2.0-4-amd64' --class debian --class gnu-linux --class gnu --class os {
	load_video
	insmod gzio
	insmod part_gpt
	insmod Btrfs
	set root='(hd0,gpt3)'
	search --no-floppy --fs-uuid --set=root 9201243d-1559-4b27-8973-070aeefa1079
	echo	'Chargement de Linux 3.2.0-4-amd64 ...'
	linux	/debian/root/boot/vmlinuz-3.2.0-4-amd64 root=UUID=9201243d-1559-4b27-8973-070aeefa1079 ro rootflags=subvol=debian/root  quiet
	echo	'Chargement du disque mémoire initial ...'
	initrd	/debian/root/boot/initrd.img-3.2.0-4-amd64
}