X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fgeekos%2Fmain.c;h=41ece4db92de318eb20ca03cf9151bc90c8215dc;hp=2cd5a6a7909034395126d0abc5a518b3978d78be;hb=01e2bfdc462dbbe8d62b71c7e99e198c27844f0f;hpb=72a450936e2da159d5febe1e96475493badd9070 diff --git a/palacios/src/geekos/main.c b/palacios/src/geekos/main.c index 2cd5a6a..41ece4d 100644 --- a/palacios/src/geekos/main.c +++ b/palacios/src/geekos/main.c @@ -3,7 +3,7 @@ * Copyright (c) 2001,2003,2004 David H. Hovemeyer * Copyright (c) 2003, Jeffrey K. Hollingsworth * Copyright (c) 2004, Iulian Neamtiu - * $Revision: 1.10 $ + * $Revision: 1.11 $ * * This is free software. You are permitted to use, * redistribute, and modify it as specified in the file "COPYING". @@ -27,6 +27,7 @@ #include #include +#include #include #include @@ -285,7 +286,7 @@ void Main(struct Boot_Info* bootInfo) Init_Screen(); - InitSerial(); + Init_Serial(); Init_Mem(bootInfo); Init_CRC32(); Init_TSS(); @@ -319,15 +320,13 @@ void Main(struct Boot_Info* bootInfo) - - SerialPrint("\n\nHello, Welcome to this horrid output-only serial interface\n"); - SerialPrint("Eventually, this will let us control the VMM\n\n"); - - SerialPrint("\n\n===>"); - + struct vmm_os_hooks os_hooks; + os_hooks.print_debug = &PrintBoth; + os_hooks.print_info = &Print; + os_hooks.print_trace = &SerialPrint; - Init_VMM(); + Init_VMM(&os_hooks); SerialPrintLevel(1000,"Launching Noisemaker and keyboard listener threads\n");