#define BOOT_HEAP_SIZE (512 * 1024)
#define BOOT_STACK_SIZE (64 * 1024)
#define LOAD_PHYSICAL_ADDR (0x100000)

#define BOOT_PGTABLE_SIZE (32 * 4096)
#define BOOT_INIT_PGTABLE_SIZE (6 * 4096)