5 #include "sw/device/silicon_creator/lib/manifest.h"
9 #if defined(OPENTITAN_IS_ENGLISHBREAKFAST)
10 #include "hw/top_englishbreakfast/sw/autogen/top_englishbreakfast.h"
11 #define EFLASH_SIZE_BYES TOP_ENGLISHBREAKFAST_EFLASH_SIZE_BYTES
12 #elif defined(OPENTITAN_IS_EARLGREY)
14 #define EFLASH_SIZE_BYES TOP_EARLGREY_EFLASH_SIZE_BYTES
15 #elif defined(OPENTITAN_IS_DARJEELING)
16 #include "hw/top_darjeeling/sw/autogen/top_darjeeling.h"
17 #define EFLASH_SIZE_BYES TOP_DARJEELING_RAM_MAIN_SIZE_BYTES
19 #error unsupported top
23 "`CHIP_ROM_EXT_SIZE_MIN` is too small");
25 "`CHIP_ROM_EXT_SIZE_MAX` is too small");
26 static_assert(CHIP_ROM_EXT_RESIZABLE_SIZE_MAX >= CHIP_ROM_EXT_SIZE_MAX,
27 "`CHIP_ROM_EXT_RESIZABLE_SIZE_MAX` is too small");
29 "`CHIP_BL0_SIZE_MIN` is too small");
31 "`CHIP_BL0_SIZE_MAX` is too small");
32 static_assert(CHIP_BL0_SIZE_MAX <=
33 ((EFLASH_SIZE_BYES / 2) - CHIP_ROM_EXT_SIZE_MAX),
34 "`CHIP_BL0_SIZE_MAX` is too large");
42 extern rom_error_t manifest_ext_get_spx_key(
44 extern rom_error_t manifest_ext_get_spx_signature(