Implement console for Mini-os and also fix 2 bugs:

a) in initialising new page table frames
b) in initialising idle thread.

Signed-off-by: Grzegorz Milos <gm281@cam.ac.uk>

1 files changed, 8 insertions, 2 deletions

diff --git a/extras/mini-os/kernel.c b/extras/mini-os/kernel.c
index d9a58389c2..3bc7809ade 100644
--- a/extras/mini-os/kernel.c
+++ b/extras/mini-os/kernel.c
@@ -76,6 +76,8 @@ static shared_info_t *map_shared_info(unsigned long pa)
 }
 
 
+extern void init_console(void);
+
 /*
  * INITIAL C ENTRY POINT.
  */
@@ -127,15 +129,19 @@ void start_kernel(start_info_t *si)
 
     /* set up events */
     init_events();
+    
     /* init time and timers */
     init_time();
-    
+
+    /* init the console driver */
+    init_console();
+
     /* init scheduler */
     init_sched();
 
     /* init xenbus */
     xs_init();
-    
+   
     /* Everything initialised, start idle thread */
     run_idle_thread();
 }