Palacios Public Git Repository

To checkout Palacios execute

  git clone http://v3vee.org/palacios/palacios.web/palacios.git
This will give you the master branch. You probably want the devel branch or one of the release branches. To switch to the devel branch, simply execute
  cd palacios
  git checkout --track -b devel origin/devel
The other branches are similar.


changed loops to use halt instead of while(1);
Jack Lange [Fri, 19 Dec 2008 07:27:01 +0000 (01:27 -0600)]
geekos/src/geekos/lowlevel.asm
geekos/src/geekos/main.c

index 2c64e8a..c8d0b8d 100644 (file)
@@ -160,6 +160,9 @@ EXPORT Get_ESP
 ; EBP
 EXPORT Get_EBP
 
+; Halt machine
+EXPORT Halt
+
 ; Virtual memory support.
 EXPORT Enable_Paging
 EXPORT Set_PDBR
@@ -381,6 +384,11 @@ Get_MSR:
 
 
 align 8
+Halt:
+       hlt
+
+
+align 8
 Get_CR2:
        mov     eax, cr2
        ret
index 5d71341..1fbd1c9 100644 (file)
 
 
 
+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");