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.


added halt to infinite loops
[palacios.git] / geekos / src / geekos / lowlevel.asm
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