[coreboot] New patch to review: e4f93b2 Show root device we're booted from in header.

[Patrick Georgi (patrick@georgi-clan.de)]

Patrick Georgi (patrick at georgi-clan.de) just uploaded a new patch set to gerrit, which you can find at http://review.coreboot.org/201

-gerrit

commit e4f93b2957a293efea945dac6566547ede17b591
Author: Mathias Krause <mathias.krause at secunet.com>
Date:   Mon Mar 8 12:05:40 2010 +0100

    Show root device we're booted from in header.
    
    Change-Id: I9288f88f6673fafa41d13f2035ea3b9b6550dbb2
    Signed-off-by: Mathias Krause <mathias.krause at secunet.com>
    Signed-off-by: Patrick Georgi <patrick.georgi at secunet.com>
---
 main/grub/char_io.c |    6 +++++-
 1 files changed, 5 insertions(+), 1 deletions(-)

diff --git a/main/grub/char_io.c b/main/grub/char_io.c
index d2d9f6f..f37cc23 100644
--- a/main/grub/char_io.c
+++ b/main/grub/char_io.c
@@ -24,6 +24,8 @@
 #include <version.h>
 #include <grub/shared.h>
 
+extern char root_device[];
+
 char *err_list[] = {
 	[ERR_NONE] = 0,
 	[ERR_BAD_ARGUMENT] = "Invalid argument",
@@ -98,8 +100,10 @@ void init_page(void)
 {
 	color_set(1, NULL);
 	cls();
-	grub_printf("\n                                  %s %s\n\n", 
+	grub_printf("\n                                  %s %s\n",
 			PROGRAM_NAME, PROGRAM_VERSION);
+	grub_printf("                               root_dev = %s\n",
+			root_device[0] ? root_device : "unset");
 }
 
 /* The number of the history entries.  */