From: Trammell Hudson <thudson@newskysaw.eecs.northwestern.edu>
Date: Wed, 22 Oct 2008 16:10:36 +0000 (-0500)
Subject: Better reporting when vmm exits
X-Git-Tag: 1.0^2~4^2~9
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios-OLD.git;a=commitdiff_plain;h=54f20468760aa2c6d232b6478f3d714bb60bb8bf

Better reporting when vmm exits
---

diff --git a/kitten/init/main.c b/kitten/init/main.c
index 070f67c..9b8c086 100644
--- a/kitten/init/main.c
+++ b/kitten/init/main.c
@@ -118,6 +118,8 @@ start_kernel()
 
 #ifdef CONFIG_V3VEE
 	v3vee_run_vmm();
+	printk( "%s: VMM returned.  We're spinning\n", __func__ );
+	while(1) { asm( "hlt" ); }
 #else
 	/*
 	 * Start up user-space...
@@ -128,6 +130,6 @@ start_kernel()
 		panic("Failed to create init_task (status=%d).", status);
 
 	schedule();  /* This should not return */
-#endif
 	BUG();
+#endif
 }