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.


got the bios setup ok, now we have to handle the exits
[palacios.git] / palacios / src / geekos / setup.asm
index d49a373..9ddfcb3 100644 (file)
@@ -1,7 +1,7 @@
 ; -*- fundamental -*-
 ; GeekOS setup code
 ; Copyright (c) 2001,2004 David H. Hovemeyer <daveho@cs.umd.edu>
-; $Revision: 1.2 $
+; $Revision: 1.3 $
 
 ; This is free software.  You are permitted to use,
 ; redistribute, and modify it as specified in the file "COPYING".
@@ -89,12 +89,14 @@ setup_32:
        push    eax             ; memSizeKB
        
        mov     eax, GUEST_SIZE 
+       shl     eax, 9          ; Multiply the guest size by 512 to get byte size
        push    eax             ; Size of the guest kernel
 
        mov     eax, 0x100000
        push    eax             ; Load address of the guest
        
        mov     eax, VMM_SIZE
+       shl     eax, 9          ; Multiply the vmm size by 512 to get byte size
        push    eax             ; size of the VMM
 
        push    dword 8         ; bootInfoSize