#define READ_ONLY_SPACE_START   (0x00200000)
#define READ_ONLY_SPACE_SIZE    (0x0bdf8000)

#define STATIC_SPACE_START	(0x0c000000)
#define STATIC_SPACE_SIZE	(0x03ff8000)

#define DYNAMIC_0_SPACE_START	(0x10000000)
#define DYNAMIC_1_SPACE_START	(0x18000000)
#define DYNAMIC_SPACE_SIZE	(0x07ff8000)

#define CONTROL_STACK_START	(0x00100000)
#define CONTROL_STACK_SIZE	(0x00078000)

#define BINDING_STACK_START	(0x00180000)
#define BINDING_STACK_SIZE	(0x00078000)

#define HOLES {0x0bff8000, 0x0fff8000, 0x17ff8000, 0x1fff8000}
#define HOLE_SIZE 0x2000