X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=geekos%2Fsrc%2Fgeekos%2Fmain.c;fp=geekos%2Fsrc%2Fgeekos%2Fmain.c;h=1fbd1c97eb4eda9fd3d1eee8c34704234fe1ff04;hp=5d71341cb32d87814c48ecb588f08a9e73eb608c;hb=efa8dd51a542d75cbe3f897f19f11eed13536e07;hpb=4e78dc8d5ae0bcf146eb425c8a53178a1fb758e8

diff --git a/geekos/src/geekos/main.c b/geekos/src/geekos/main.c
index 5d71341..1fbd1c9 100644
--- a/geekos/src/geekos/main.c
+++ b/geekos/src/geekos/main.c
@@ -47,11 +47,12 @@
 
 
 
+extern void Halt();
 
 void Spin()
 {
   // hack - competing thread
-  while (1) {};
+  while (1) {Halt();};
 
 }
 
@@ -276,7 +277,7 @@ void Main(struct Boot_Info* bootInfo)
 
 
   SerialPrint("RunVMM returned, spinning\n");
-  while (1) {} 
+  while (1) {Halt();} 
 
 
   TODO("Write a Virtual Machine Monitor");