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

diff --git a/palacios/src/geekos/show_sizes.c b/palacios/src/geekos/show_sizes.c
deleted file mode 100644
index c75d119..0000000
--- a/palacios/src/geekos/show_sizes.c
+++ /dev/null
@@ -1,25 +0,0 @@
-#include <stdio.h>
-#include "vmm_sizes.h"
-
-int main()
-{
-  printf("KERNEL_LOAD_ADDRESS      =   0x%x\n", KERNEL_LOAD_ADDRESS);
-  printf("KERNEL_SETUP_LENGTH      =   0x%x\n", KERNEL_SETUP_LENGTH);
-  printf("KERNEL_CORE_LENGTH       =   0x%x\n", KERNEL_CORE_LENGTH);
-  printf("BIOS_START               =   0x%x\n", BIOS_START);
-  printf("BIOS_LENGTH              =   0x%x\n", BIOS_LENGTH);
-  printf("BIOS2_START              =   0x%x\n", BIOS2_START);
-  printf("VGA_BIOS_START           =   0x%x\n", VGA_BIOS_START);
-  printf("VGA_BIOS_LENGTH          =   0x%x\n", VGA_BIOS_LENGTH);
-  printf("VMXASSIST_START          =   0x%x\n", VMXASSIST_START);
-  printf("VMXASSIST_LENGTH         =   0x%x\n", VMXASSIST_LENGTH);
-  printf("\n");
-  printf("KERNEL_START             =   0x%x\n", KERNEL_START);
-  printf("KERNEL_END               =   0x%x\n", KERNEL_END);
-  printf("VM_BOOT_PACKAGE_START    =   0x%x\n", VM_BOOT_PACKAGE_START);
-  printf("VM_BOOT_PACKAGE_END      =   0x%x\n", VM_BOOT_PACKAGE_END);
-
-  
-  return 0;
-
-}