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.


*** empty log message ***
[palacios.git] / palacios / include / geekos / vmm_sizes.h
1 #ifndef __vmm_sizes
2 #define __vmm_sizes
3 #define KERNEL_LOAD_ADDRESS  0x3ff9d000
4 #define KERNEL_SETUP_LENGTH ( 1 *512)
5 #define KERNEL_CORE_LENGTH ( 203 *512)
6 #define KERNEL_START (KERNEL_LOAD_ADDRESS)
7 #define KERNEL_END (KERNEL_LOAD_ADDRESS+KERNEL_CORE_LENGTH-1)
8 #define BIOS_LENGTH ( 128 *512)
9 #define VGA_BIOS_LENGTH ( 55 *512)
10 #define VMXASSIST_LENGTH ( 41 *512)
11 #define BIOS_START (KERNEL_LOAD_ADDRESS+KERNEL_CORE_LENGTH)
12 #define VGA_BIOS_START (BIOS_START+BIOS_LENGTH)
13 #define VMXASSIST_START (VGA_BIOS_START+VGA_BIOS_LENGTH)
14 //Note this is a second copy of the rom bios for debug
15 #define BIOS2_START (VMXASSIST_START+VMXASSIST_LENGTH)
16 #define VM_BOOT_PACKAGE_START (BIOS_START) 
17 #define VM_BOOT_PACKAGE_END  (BIOS2_START+BIOS_LENGTH-1) 
18 #endif