X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm.c;fp=palacios%2Fsrc%2Fpalacios%2Fvmm.c;h=c56356d540dfe1579eecd51a38332f429ffd30b3;hp=7077d664f93d31a985e7cae9b66d0d766bc2aab6;hb=8673ba145e725fd9320de4d090a6c123bac17ada;hpb=d287b841e1a6f753fe57a01a5e11b8a069844b2a

diff --git a/palacios/src/palacios/vmm.c b/palacios/src/palacios/vmm.c
index 7077d66..c56356d 100644
--- a/palacios/src/palacios/vmm.c
+++ b/palacios/src/palacios/vmm.c
@@ -74,6 +74,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;