Patrick Georgi (patrick@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@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@secunet.com Signed-off-by: Patrick Georgi patrick.georgi@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. */