#include <defs_platform.h>

#define RESET_VERSION       0x00010002

#define RESET_STACKS_SIZE   0x11000  /* 64 bytes * 1024 + 4 Kbytes (for P0) = 68 Kbytes */
#define BOOT_LOADER_LBA     2
#define PHDR_ARRAY_SIZE	    16

