From b82bd5e192aa6776be2214b7d578d662a0a098a7 Mon Sep 17 00:00:00 2001
From: robertmh <robertmh@localhost>
Date: Mon, 2 Nov 2009 19:32:12 +0000
Subject: [PATCH] 2009-11-02  Samuel Thibault  <samuel.thibault@ens-lyon.org>

        * util/grub.d/10_hurd.in: Drop /dev/ prefix from root device path before
        giving it to GNU Mach.
---
 ChangeLog              | 5 +++++
 util/grub.d/10_hurd.in | 2 +-
 2 files changed, 6 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index 38b9ffed1..e2aacd760 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2009-11-02  Samuel Thibault  <samuel.thibault@ens-lyon.org>
+
+	* util/grub.d/10_hurd.in: Drop /dev/ prefix from root device path before
+	giving it to GNU Mach.
+
 2009-11-02  Samuel Thibault  <samuel.thibault@ens-lyon.org>
 
 	* util/hostdisk.c (grub_util_biosdisk_get_grub_dev): Subtract 1 from
diff --git a/util/grub.d/10_hurd.in b/util/grub.d/10_hurd.in
index fdfb7acb7..e693c7dfa 100644
--- a/util/grub.d/10_hurd.in
+++ b/util/grub.d/10_hurd.in
@@ -73,7 +73,7 @@ menuentry "${OS}" {
 EOF
 prepare_grub_to_access_device ${GRUB_DEVICE_BOOT} | sed -e "s/^/\t/"
 cat << EOF
-	multiboot ${kernel} root=device:${GRUB_DEVICE}
+	multiboot ${kernel} root=device:${GRUB_DEVICE#/dev/}
 EOF
 prepare_grub_to_access_device ${GRUB_DEVICE} | sed -e "s/^/\t/"
 cat << EOF