/* Info region data write to indicate new image availability.  */
static void region_info_write(uint32_t u32Size)
/* Info region data write to indicate new image availability.  */
static void region_info_write(uint32_t u32Size)
{
	void *info_addr;
	regions_info_t info;
	info.length = u32Size;
	info.trigger = TRIGGER_BOOTLAOAD;
	memory_init();
	info_addr = (void *)INFO_ADDR_START;
	printf("Write info area ...\r\n");
	memory_unlock(info_addr, (void *)((uint32_t)info_addr + INFO_SIZE - 1));
	memory_erase(info_addr, INFO_SIZE);
	memory_write(info_addr, &info);
	memory_lock(info_addr, (void *)((uint32_t)info_addr + INFO_SIZE - 1));
	printf("Write info area done\r\n");
}