#include <defs_platform.h>
#define BOOT_VERSION	0x00010001