initialize xen printf at the start of bootstrap

diff --git a/platform/xen/xen/console/console.c b/platform/xen/xen/console/console.c
index ffacda5f76aaf54749e0d3435358a9e95c8f0a28..a5b376079549e34282d667714429657e7f662894 100644 (file)
--- a/platform/xen/xen/console/console.c
+++ b/platform/xen/xen/console/console.c
@@ -143,7 +143,7 @@ void print(int direct, const char *fmt, va_list args)
 }
 
 /* XXX: should use a putc/flush combo ... later */
-static void minios_putc(int c)
+void minios_putc(int c)
 {
 
     minios_printk("%c", c);
@@ -166,7 +166,6 @@ void xprintk(const char *fmt, ...)
 }
 void init_console(void)
 {   
-    bmk_printf_init(minios_putc, NULL);
     minios_printk("Initialising console ... ");
     xencons_ring_init();    
     console_initialised = 1;

diff --git a/platform/xen/xen/include/mini-os/console.h b/platform/xen/xen/include/mini-os/console.h
index efb633c6eaeb5915b54d179104496700e6e6ee04..d67b5e21c653d240b2f7cbb9a7838c59a41114dd 100644 (file)
--- a/platform/xen/xen/include/mini-os/console.h
+++ b/platform/xen/xen/include/mini-os/console.h
@@ -64,6 +64,7 @@ struct consfront_dev {
 
 void print(int direct, const char *fmt, va_list args);
 void minios_printk(const char *fmt, ...);
+void minios_putc(int);
 void xprintk(const char *fmt, ...);
 void panic(const char *fmt, ...);
 

diff --git a/platform/xen/xen/kernel.c b/platform/xen/xen/kernel.c
index 3ad7d0391dc375a0bb89d0c000ad10830663351c..b65738b7fb9bc4af4dcbeebd1f670069509d32f8 100644 (file)
--- a/platform/xen/xen/kernel.c
+++ b/platform/xen/xen/kernel.c
@@ -44,6 +44,7 @@
 #include <xen/version.h>
 
 #include <bmk-core/core.h>
+#include <bmk-core/printf.h>
 
 uint8_t _minios_xen_features[XENFEAT_NR_SUBMAPS * 32];
 
@@ -129,6 +130,7 @@ bmk_platform_splx(unsigned long x)
 void _minios_start_kernel(start_info_t *si)
 {
 
+    bmk_printf_init(minios_putc, NULL);
     bmk_core_init(STACK_SIZE_PAGE_ORDER, PAGE_SIZE);
 
     arch_init(si);