#include <defs_platform.h>

#define BOOT_VERSION    0x00010001

#define BOOT_STACK_SIZE 0x8000     /* 32 KB */
#define BOOT_LOADER_LBA 2
#define PHDR_ARRAY_SIZE	16