X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Finclude%2Fgeekos%2Fvmm_sizes.h;h=563267e88e38e9207ec179662d48e2b7ea91d000;hp=7d8d0bc54389c02787f3c8e79c0d5acc75d9dac8;hb=23882ef53edbe4dfd5029b54c5ecfe7256bfec23;hpb=a74d47844b74d7f20540037ec949a23461559e53

diff --git a/palacios/include/geekos/vmm_sizes.h b/palacios/include/geekos/vmm_sizes.h
index 7d8d0bc..563267e 100644
--- a/palacios/include/geekos/vmm_sizes.h
+++ b/palacios/include/geekos/vmm_sizes.h
@@ -2,12 +2,12 @@
 #define __vmm_sizes
 #define KERNEL_LOAD_ADDRESS  0x3ff9d000
 #define KERNEL_SETUP_LENGTH ( 1 *512)
-#define KERNEL_CORE_LENGTH ( 189 *512)
+#define KERNEL_CORE_LENGTH ( 203 *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 VMXASSIST_LENGTH ( 41 *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)