X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Finclude%2Fgeekos%2Fvmm_sizes.h;fp=palacios%2Finclude%2Fgeekos%2Fvmm_sizes.h;h=0000000000000000000000000000000000000000;hp=7d8d0bc54389c02787f3c8e79c0d5acc75d9dac8;hb=ddc16b0737cf58f7aa90a69c6652cdf4090aec51;hpb=626595465a2c6987606a6bc697df65130ad8c2d3

diff --git a/palacios/include/geekos/vmm_sizes.h b/palacios/include/geekos/vmm_sizes.h
deleted file mode 100644
index 7d8d0bc..0000000
--- a/palacios/include/geekos/vmm_sizes.h
+++ /dev/null
@@ -1,18 +0,0 @@
-#ifndef __vmm_sizes
-#define __vmm_sizes
-#define KERNEL_LOAD_ADDRESS  0x3ff9d000
-#define KERNEL_SETUP_LENGTH ( 1 *512)
-#define KERNEL_CORE_LENGTH ( 189 *512)
-#define KERNEL_START (KERNEL_LOAD_ADDRESS)
-#define KERNEL_END (KERNEL_LOAD_ADDRESS+KERNEL_CORE_LENGTH-1)
-#define BIOS_LENGTH ( 128 *512)
-#define VGA_BIOS_LENGTH ( 55 *512)
-#define VMXASSIST_LENGTH ( 38 *512)
-#define BIOS_START (KERNEL_LOAD_ADDRESS+KERNEL_CORE_LENGTH)
-#define VGA_BIOS_START (BIOS_START+BIOS_LENGTH)
-#define VMXASSIST_START (VGA_BIOS_START+VGA_BIOS_LENGTH)
-//Note this is a second copy of the rom bios for debug
-#define BIOS2_START (VMXASSIST_START+VMXASSIST_LENGTH)
-#define VM_BOOT_PACKAGE_START (BIOS_START) 
-#define VM_BOOT_PACKAGE_END  (BIOS2_START+BIOS_LENGTH-1) 
-#endif