ARM: enable earlyprintk="xen"

Signed-off-by: Ian Campbell <ian.campbell@citrix.com>

diff --git a/arch/arm/kernel/early_printk.c b/arch/arm/kernel/early_printk.c
index 85aa2b292692b5296f86ca57851bab1e5c9cab05..5837d7dfffecc3feb6942539119badfd2e70fc67 100644 (file)
--- a/arch/arm/kernel/early_printk.c
+++ b/arch/arm/kernel/early_printk.c
@@ -11,6 +11,8 @@
 #include <linux/kernel.h>
 #include <linux/console.h>
 #include <linux/init.h>
+#include <linux/string.h>
+#include <xen/hvc-console.h>
 
 extern void printch(int);
 
@@ -50,7 +52,12 @@ asmlinkage void early_printk(const char *fmt, ...)
 
 static int __init setup_early_printk(char *buf)
 {
-       register_console(&early_console);
+#ifdef CONFIG_HVC_XEN
+       if (!strncmp(buf, "xen", 3))
+               register_console(&xenboot_console);
+       else
+#endif
+               register_console(&early_console);
        return 0;
 }