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.


This code now successfully does the Linux kernel load and
[palacios.git] / palacios / src / geekos / defs.asm
index 77993e4..0135f31 100644 (file)
@@ -1,6 +1,6 @@
 ; Definitions for use in GeekOS boot code
 ; Copyright (c) 2001, 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".
@@ -36,6 +36,12 @@ SETUPSEG equ 0x9020
 ; will be passed on the command line.
 KERNSEG equ 0x1000
 
+;; Load Segment for moving guest kernel to extended memory
+;; Note that this segment must not colide with where the VMM kernel
+;; is initially loaded.  At this point, we just place it in the last
+;; 64K of RAM available before the ISA hole and hope for the best
+VMSEG equ 0x9000               ;
+
 ; Size of PFAT boot record.
 ; Keep up to date with <geekos/pfat.h>.
 PFAT_BOOT_RECORD_SIZE equ 28