X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm.c;h=402cedf5efbb3e4bbd77d5ff3b817e5e70a456ca;hp=7077d664f93d31a985e7cae9b66d0d766bc2aab6;hb=68521eca0f94f8c22aa60e762c83e24beec7233c;hpb=cfcc5717f659b3ed2954f41cf363d3bceae8dc84

diff --git a/palacios/src/palacios/vmm.c b/palacios/src/palacios/vmm.c
index 7077d66..402cedf 100644
--- a/palacios/src/palacios/vmm.c
+++ b/palacios/src/palacios/vmm.c
@@ -25,6 +25,7 @@
 #include <palacios/vmm_ctrl_regs.h>
 #include <palacios/vmm_lowlevel.h>
 #include <palacios/vmm_sprintf.h>
+#include <palacios/vmm_vnet.h>
 
 #ifdef CONFIG_SVM
 #include <palacios/svm.h>
@@ -74,6 +75,8 @@ static void init_cpu(void * arg) {
 void Init_V3(struct v3_os_hooks * hooks, int num_cpus) {
     int i;
 
+    V3_Print("V3 Print statement to fix a Kitten page fault bug\n");
+
     // Set global variables. 
     os_hooks = hooks;
 
@@ -96,6 +99,10 @@ void Init_V3(struct v3_os_hooks * hooks, int num_cpus) {
 	    hooks->call_on_cpu(i, &init_cpu, (void *)(addr_t)i);
 	}
     }
+
+#ifdef CONFIG_VNET
+    v3_init_vnet();
+#endif
 }