From e22690a6e0d7cb511503f5addef76eab53e6f284 Mon Sep 17 00:00:00 2001
From: Ingo Molnar <mingo@elte.hu>
Date: Mon, 15 Sep 2008 08:26:15 +0200
Subject: [PATCH] --- yaml --- r: 113518 b: refs/heads/master c:
 3e6de5a393661c5cdabe44115e93bcbde6a742fc h: refs/heads/master v: v3

---
 [refs]                       | 2 +-
 trunk/arch/x86/kernel/head.c | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/[refs] b/[refs]
index ad2a10eadcf3..f57390dcb727 100644
--- a/[refs]
+++ b/[refs]
@@ -1,2 +1,2 @@
 ---
-refs/heads/master: a73aaedd95703bd49f4c3f9df06fb7b7373ba905
+refs/heads/master: 3e6de5a393661c5cdabe44115e93bcbde6a742fc
diff --git a/trunk/arch/x86/kernel/head.c b/trunk/arch/x86/kernel/head.c
index 3e66bd364a9d..1dcb0f13897e 100644
--- a/trunk/arch/x86/kernel/head.c
+++ b/trunk/arch/x86/kernel/head.c
@@ -35,6 +35,7 @@ void __init reserve_ebda_region(void)
 
 	/* start of EBDA area */
 	ebda_addr = get_bios_ebda();
+	printk(KERN_INFO "BIOS EBDA/lowmem at: %08x/%08x\n", ebda_addr, lowmem);
 
 	/* Fixup: bios puts an EBDA in the top 64K segment */
 	/* of conventional memory, but does not adjust lowmem. */