From a54b2baac24a08b82791ede1491f31ce9408af3f Mon Sep 17 00:00:00 2001 From: "kaf24@firebug.cl.cam.ac.uk" Date: Wed, 15 Mar 2006 20:25:50 +0100 Subject: 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 --- extras/mini-os/kernel.c | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) (limited to 'extras/mini-os/kernel.c') 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(); } -- cgit v1.2.3