X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=kitten%2Finit%2Fmain.c;h=ea9c09b8e73db2d50dbe1adc96b93fe06406b0a0;hb=b92188394ff90164125bc60f8bc05c7870e12e66;hp=cf8ada0c8daef9b12fe29ea5de408c9c26e4b725;hpb=07c81e9a7c58c1b7f4adce4e3db04d5aa65993d6;p=palacios.releases.git

diff --git a/kitten/init/main.c b/kitten/init/main.c
index cf8ada0..ea9c09b 100644
--- a/kitten/init/main.c
+++ b/kitten/init/main.c
@@ -12,8 +12,7 @@
 #include <lwk/task.h>
 #include <lwk/sched.h>
 #include <lwk/timer.h>
-
-#include <palacios/vmm.h>
+#include <lwk/palacios.h>
 
 /**
  * Pristine copy of the LWK boot command line.
@@ -118,6 +117,7 @@ start_kernel()
 			panic("Failed to boot CPU %d.\n", cpu);
 	}
 
+#ifdef CONFIG_V3VEE
         {
   struct v3_os_hooks os_hooks;
   struct v3_ctrl_ops v3_ops;
@@ -128,8 +128,19 @@ start_kernel()
   memset(&v3_ops, 0, sizeof(struct v3_ctrl_ops));
   memset(&vm_config, 0, sizeof(struct v3_vm_config));
 
+	printk( KERN_INFO "Calling Init_V3\n" );
   Init_V3(&os_hooks, &v3_ops);
+	printk( KERN_INFO "Rombios: %p @ %d\n",
+		&rombios_start,
+		&rombios_end - &rombios_start
+	);
+
+	printk( KERN_INFO "VGA Bios: %p @ %d\n",
+		&vgabios_start,
+		&vgabios_end - &vgabios_start
+	);
         }
+#endif
 
 	/*
 	 * Start up user-space...