6 printf("KERNEL_LOAD_ADDRESS = 0x%x\n", KERNEL_LOAD_ADDRESS);
7 printf("KERNEL_SETUP_LENGTH = 0x%x\n", KERNEL_SETUP_LENGTH);
8 printf("KERNEL_CORE_LENGTH = 0x%x\n", KERNEL_CORE_LENGTH);
9 printf("BIOS_START = 0x%x\n", BIOS_START);
10 printf("BIOS_LENGTH = 0x%x\n", BIOS_LENGTH);
11 printf("BIOS2_START = 0x%x\n", BIOS2_START);
12 printf("VGA_BIOS_START = 0x%x\n", VGA_BIOS_START);
13 printf("VGA_BIOS_LENGTH = 0x%x\n", VGA_BIOS_LENGTH);
14 printf("VMXASSIST_START = 0x%x\n", VMXASSIST_START);
15 printf("VMXASSIST_LENGTH = 0x%x\n", VMXASSIST_LENGTH);
17 printf("KERNEL_START = 0x%x\n", KERNEL_START);
18 printf("KERNEL_END = 0x%x\n", KERNEL_END);
19 printf("VM_BOOT_PACKAGE_START = 0x%x\n", VM_BOOT_PACKAGE_START);
20 printf("VM_BOOT_PACKAGE_END = 0x%x\n", VM_BOOT_PACKAGE_END);