blob: d4b647e118ef2bbad573a811c10a6e569fde97d2 [file] [log] [blame]
/*
* Copyright (c) 2020 Linaro
*
* SPDX-License-Identifier: Apache-2.0
*/
#include <zephyr.h>
#include <sys/printk.h>
#include <storage/flash_map.h>
void main(void)
{
BUILD_ASSERT(DT_FLASH_AREA_MCUBOOT_ID == FLASH_AREA_ID(mcuboot),
"FLASH AREA ID mismatch for MCUBOOT partition");
/* disabled status is ignored for partitions */
BUILD_ASSERT(DT_FLASH_AREA_STORAGE_ID == FLASH_AREA_ID(storage),
"FLASH AREA ID mismatch for STORAGE partition");
BUILD_ASSERT(DT_FLASH_AREA_IMAGE_0_ID == FLASH_AREA_ID(image_0),
"FLASH AREA ID mismatch for IMAGE_0 partition");
BUILD_ASSERT(DT_FLASH_AREA_IMAGE_1_ID == FLASH_AREA_ID(image_1),
"FLASH AREA ID mismatch for IMAGE_1 partition");
BUILD_ASSERT(DT_FLASH_AREA_IMAGE_SCRATCH_ID ==
FLASH_AREA_ID(image_scratch),
"FLASH AREA ID mismatch for IMAGE_SCRATCH partition");
}