| /* |
| * 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"); |
| } |