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, 0 insertions, 13 deletions

diff --git a/extras/mini-os/lib/printf.c b/extras/mini-os/lib/printf.c
index 09da566af6..bb81c7b028 100644
--- a/extras/mini-os/lib/printf.c
+++ b/extras/mini-os/lib/printf.c
@@ -556,19 +556,6 @@ int sprintf(char * buf, const char *fmt, ...)
     return i;
 }
 
-
-void printf(const char *fmt, ...)
-{
-    static char   buf[1024];
-    va_list       args;
-    
-    va_start(args, fmt);
-    (void)vsnprintf(buf, sizeof(buf), fmt, args);
-    va_end(args);        
-   
-    (void)HYPERVISOR_console_io(CONSOLEIO_write, strlen(buf), buf);
-}
-
 /**
  * vsscanf - Unformat a buffer into a list of arguments
  * @buf:	input buffer