10#ifndef NO_PICO_PLATFORM
29#define PICOBIN_BLOCK_MARKER_START _u(0xffffded3)
30#define PICOBIN_BLOCK_MARKER_END _u(0xab123579)
32#define PICOBIN_MAX_BLOCK_SIZE _u(0x280)
33#define PICOBIN_MAX_IMAGE_DEF_BLOCK_SIZE _u(0x180)
34#define PICOBIN_MAX_PARTITION_TABLE_BLOCK_SIZE _u(0x280)
37#define PICOBIN_BLOCK_ITEM_1BS_NEXT_BLOCK_OFFSET _u(0x41)
38#define PICOBIN_BLOCK_ITEM_1BS_IMAGE_TYPE _u(0x42)
39#define PICOBIN_BLOCK_ITEM_1BS_VECTOR_TABLE _u(0x03)
40#define PICOBIN_BLOCK_ITEM_1BS_ENTRY_POINT _u(0x44)
41#define PICOBIN_BLOCK_ITEM_1BS_ROLLING_WINDOW_DELTA _u(0x05)
42#define PICOBIN_BLOCK_ITEM_LOAD_MAP _u(0x06)
43#define PICOBIN_BLOCK_ITEM_1BS_HASH_DEF _u(0x47)
44#define PICOBIN_BLOCK_ITEM_1BS_VERSION _u(0x48)
45#define PICOBIN_BLOCK_ITEM_SIGNATURE _u(0x09)
46#define PICOBIN_BLOCK_ITEM_PARTITION_TABLE _u(0x0a)
47#define PICOBIN_BLOCK_ITEM_HASH_VALUE _u(0x4b)
48#define PICOBIN_BLOCK_ITEM_SALT _u(0x0c)
50#define PICOBIN_BLOCK_ITEM_2BS_IGNORED (_u(0x80) | _u(0x7e))
51#define PICOBIN_BLOCK_ITEM_2BS_LAST (_u(0x80) | _u(0x7f))
55#define _PICOBIN_INDEX_TO_BITS(y, x) (y ## x << y ## _LSB)
56#define PICOBIN_INDEX_TO_BITS(y, x) (y ## _ ## x << y ## _LSB)
58#define PICOBIN_IMAGE_TYPE_IMAGE_TYPE_LSB _u(0)
59#define PICOBIN_IMAGE_TYPE_IMAGE_TYPE_BITS _u(0x000f)
60#define PICOBIN_IMAGE_TYPE_IMAGE_TYPE_INVALID _u(0x0)
61#define PICOBIN_IMAGE_TYPE_IMAGE_TYPE_EXE _u(0x1)
62#define PICOBIN_IMAGE_TYPE_IMAGE_TYPE_DATA _u(0x2)
63#define PICOBIN_IMAGE_TYPE_IMAGE_TYPE_AS_BITS(x) _PICOBIN_INDEX_TO_BITS(PICOBIN_IMAGE_TYPE_IMAGE_TYPE, _ ## x)
65#define PICOBIN_IMAGE_TYPE_EXE_SECURITY_LSB _u(4)
66#define PICOBIN_IMAGE_TYPE_EXE_SECURITY_BITS _u(0x0030)
67#define PICOBIN_IMAGE_TYPE_EXE_SECURITY_UNSPECIFIED _u(0x0)
68#define PICOBIN_IMAGE_TYPE_EXE_SECURITY_NS _u(0x1)
69#define PICOBIN_IMAGE_TYPE_EXE_SECURITY_S _u(0x2)
70#define PICOBIN_IMAGE_TYPE_EXE_SECURITY_AS_BITS(x) _PICOBIN_INDEX_TO_BITS(PICOBIN_IMAGE_TYPE_EXE_SECURITY, _ ## x)
72#define PICOBIN_IMAGE_TYPE_EXE_CPU_LSB _u(8)
73#define PICOBIN_IMAGE_TYPE_EXE_CPU_BITS _u(0x0700)
74#define PICOBIN_IMAGE_TYPE_EXE_CPU_ARM _u(0)
75#define PICOBIN_IMAGE_TYPE_EXE_CPU_RISCV _u(1)
76#define PICOBIN_IMAGE_TYPE_EXE_CPU_VARMULET _u(2)
77#define PICOBIN_IMAGE_TYPE_EXE_CPU_AS_BITS(x) _PICOBIN_INDEX_TO_BITS(PICOBIN_IMAGE_TYPE_EXE_CPU, _ ## x)
79#define PICOBIN_IMAGE_TYPE_EXE_EXTRA_SECURITY_LSB _u(11)
80#define PICOBIN_IMAGE_TYPE_EXE_EXTRA_SECURITY_BITS _u(0x0800)
82#define PICOBIN_IMAGE_TYPE_EXE_CHIP_LSB _u(12)
83#define PICOBIN_IMAGE_TYPE_EXE_CHIP_BITS _u(0x7000)
84#define PICOBIN_IMAGE_TYPE_EXE_CHIP_RP2040 _u(0)
85#define PICOBIN_IMAGE_TYPE_EXE_CHIP_RP2350 _u(1)
86#define PICOBIN_IMAGE_TYPE_EXE_CHIP_AS_BITS(x) _PICOBIN_INDEX_TO_BITS(PICOBIN_IMAGE_TYPE_EXE_CHIP, _ ## x)
88#define PICOBIN_IMAGE_TYPE_EXE_TBYB_BITS _u(0x8000)
92#define PICOBIN_PARTITION_PERMISSIONS_LSB _u(26)
93#define PICOBIN_PARTITION_PERMISSIONS_BITS _u(0xfc000000)
95#define PICOBIN_PARTITION_PERMISSION_S_R_BITS _u(0x04000000)
96#define PICOBIN_PARTITION_PERMISSION_S_W_BITS _u(0x08000000)
97#define PICOBIN_PARTITION_PERMISSION_NS_R_BITS _u(0x10000000)
98#define PICOBIN_PARTITION_PERMISSION_NS_W_BITS _u(0x20000000)
99#define PICOBIN_PARTITION_PERMISSION_NSBOOT_R_BITS _u(0x40000000)
100#define PICOBIN_PARTITION_PERMISSION_NSBOOT_W_BITS _u(0x80000000)
102#define PICOBIN_PARTITION_LOCATION_FIRST_SECTOR_LSB _u(0)
103#define PICOBIN_PARTITION_LOCATION_FIRST_SECTOR_BITS _u(0x00001fff)
104#define PICOBIN_PARTITION_LOCATION_LAST_SECTOR_LSB _u(13)
105#define PICOBIN_PARTITION_LOCATION_LAST_SECTOR_BITS _u(0x03ffe000)
107#define PICOBIN_PARTITION_FLAGS_HAS_ID_BITS _u(0x00000001)
108#define PICOBIN_PARTITION_FLAGS_LINK_TYPE_LSB _u(1)
109#define PICOBIN_PARTITION_FLAGS_LINK_TYPE_BITS _u(0x00000006)
110#define PICOBIN_PARTITION_FLAGS_LINK_VALUE_LSB _u(3)
111#define PICOBIN_PARTITION_FLAGS_LINK_VALUE_BITS _u(0x00000078)
113#define PICOBIN_PARTITION_MAX_EXTRA_FAMILIES _u(3)
114#define PICOBIN_PARTITION_FLAGS_ACCEPTS_NUM_EXTRA_FAMILIES_LSB _u(7)
115#define PICOBIN_PARTITION_FLAGS_ACCEPTS_NUM_EXTRA_FAMILIES_BITS _u(0x00000180)
124#define PICOBIN_PARTITION_FLAGS_IGNORED_DURING_ARM_BOOT_BITS _u(0x00000200)
125#define PICOBIN_PARTITION_FLAGS_IGNORED_DURING_RISCV_BOOT_BITS _u(0x00000400)
126#define PICOBIN_PARTITION_FLAGS_UF2_DOWNLOAD_AB_NON_BOOTABLE_OWNER_AFFINITY _u(0x00000800)
127#define PICOBIN_PARTITION_FLAGS_HAS_NAME_BITS _u(0x00001000)
128#define PICOBIN_PARTITION_FLAGS_UF2_DOWNLOAD_NO_REBOOT_BITS _u(0x00002000)
131#define PICOBIN_PARTITION_FLAGS_ACCEPTS_DEFAULT_FAMILIES_LSB _u(14)
132#define PICOBIN_PARTITION_FLAGS_ACCEPTS_DEFAULT_FAMILY_RP2040_BITS _u(0x00004000)
133#define PICOBIN_PARTITION_FLAGS_ACCEPTS_DEFAULT_FAMILY_ABSOLUTE_BITS _u(0x00008000)
134#define PICOBIN_PARTITION_FLAGS_ACCEPTS_DEFAULT_FAMILY_DATA_BITS _u(0x00010000)
135#define PICOBIN_PARTITION_FLAGS_ACCEPTS_DEFAULT_FAMILY_RP2350_ARM_S_BITS _u(0x00020000)
136#define PICOBIN_PARTITION_FLAGS_ACCEPTS_DEFAULT_FAMILY_RP2350_RISCV_BITS _u(0x00040000)
137#define PICOBIN_PARTITION_FLAGS_ACCEPTS_DEFAULT_FAMILY_RP2350_ARM_NS_BITS _u(0x00080000)
139#define PICOBIN_PARTITION_FLAGS_LINK_TYPE_NONE _u(0)
140#define PICOBIN_PARTITION_FLAGS_LINK_TYPE_A_PARTITION _u(1)
141#define PICOBIN_PARTITION_FLAGS_LINK_TYPE_OWNER_PARTITION _u(2)
142#define PICOBIN_PARTITION_FLAGS_LINK_TYPE_AS_BITS(x) _PICOBIN_INDEX_TO_BITS(PICOBIN_PARTITION_FLAGS_LINK_TYPE, _ ## x)
145#define PICOBIN_HASH_SHA256 _u(0x01)
147#define PICOBIN_SIGNATURE_SECP256K1 _u(0x01)
155 uint32_t storage_address_rel;
156 uint32_t runtime_address;
165static inline unsigned int picobin_load_map_entry_count(
const picobin_load_map *lm) {
166 return (lm->header << 1) >> 25;
169static inline bool picobin_load_map_is_relative(
const picobin_load_map *lm) {
170 return (int32_t)lm->header >= 0;