blob: 97066e7958d0ec48b97071f425cb0281d3b193ed [file] [log] [blame]
Christopher Collins92ea77f2016-12-12 15:59:26 -08001/*
2 * Licensed to the Apache Software Foundation (ASF) under one
3 * or more contributor license agreements. See the NOTICE file
4 * distributed with this work for additional information
5 * regarding copyright ownership. The ASF licenses this file
6 * to you under the Apache License, Version 2.0 (the
7 * "License"); you may not use this file except in compliance
8 * with the License. You may obtain a copy of the License at
9 *
10 * http://www.apache.org/licenses/LICENSE-2.0
11 *
12 * Unless required by applicable law or agreed to in writing,
13 * software distributed under the License is distributed on an
14 * "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
15 * KIND, either express or implied. See the License for the
16 * specific language governing permissions and limitations
17 * under the License.
18 */
19
David Vinczee2453472019-06-17 12:31:59 +020020/*
21 * Modifications are Copyright (c) 2019 Arm Limited.
22 */
23
Christopher Collins92ea77f2016-12-12 15:59:26 -080024#include <assert.h>
25#include <string.h>
26#include <inttypes.h>
Fabio Utziga0bc9b52017-06-28 09:19:55 -030027#include <stddef.h>
Christopher Collins92ea77f2016-12-12 15:59:26 -080028
Christopher Collins92ea77f2016-12-12 15:59:26 -080029#include "sysflash/sysflash.h"
Andrzej Puzdrowskib788c712018-04-12 12:42:49 +020030#include "flash_map_backend/flash_map_backend.h"
31
Christopher Collins92ea77f2016-12-12 15:59:26 -080032#include "bootutil/image.h"
33#include "bootutil/bootutil.h"
34#include "bootutil_priv.h"
Fabio Utzig7ebb7c22017-04-26 10:59:31 -030035#include "bootutil/bootutil_log.h"
Fabio Utzigba829042018-09-18 08:29:34 -030036#ifdef MCUBOOT_ENC_IMAGES
37#include "bootutil/enc_key.h"
38#endif
Fabio Utzig7ebb7c22017-04-26 10:59:31 -030039
Emanuele Di Santo9f1933d2018-11-20 10:59:59 +010040MCUBOOT_LOG_MODULE_DECLARE(mcuboot);
41
Fabio Utzig10ee6482019-08-01 12:04:52 -030042/* Currently only used by imgmgr */
Christopher Collins92ea77f2016-12-12 15:59:26 -080043int boot_current_slot;
44
Fabio Utzig24a273d2017-04-20 08:21:31 -030045const uint32_t boot_img_magic[] = {
Christopher Collins92ea77f2016-12-12 15:59:26 -080046 0xf395c277,
47 0x7fefd260,
48 0x0f505235,
49 0x8079b62c,
50};
51
Hovland, Sigvart1d96f362018-09-25 13:23:42 +020052#define BOOT_MAGIC_ARR_SZ \
53 (sizeof boot_img_magic / sizeof boot_img_magic[0])
54
Fabio Utzig24a273d2017-04-20 08:21:31 -030055const uint32_t BOOT_MAGIC_SZ = sizeof boot_img_magic;
Fabio Utziga0bc9b52017-06-28 09:19:55 -030056const uint32_t BOOT_MAX_ALIGN = MAX_FLASH_ALIGN;
Fabio Utzig24a273d2017-04-20 08:21:31 -030057
Christopher Collins92ea77f2016-12-12 15:59:26 -080058struct boot_swap_table {
David Vincze2d736ad2019-02-18 11:50:22 +010059 uint8_t magic_primary_slot;
60 uint8_t magic_secondary_slot;
61 uint8_t image_ok_primary_slot;
62 uint8_t image_ok_secondary_slot;
63 uint8_t copy_done_primary_slot;
Christopher Collins92ea77f2016-12-12 15:59:26 -080064
Fabio Utzigb5b2f552017-06-30 10:03:47 -030065 uint8_t swap_type;
Christopher Collins92ea77f2016-12-12 15:59:26 -080066};
67
68/**
69 * This set of tables maps image trailer contents to swap operation type.
70 * When searching for a match, these tables must be iterated sequentially.
Fabio Utzigb5b2f552017-06-30 10:03:47 -030071 *
David Vincze2d736ad2019-02-18 11:50:22 +010072 * NOTE: the table order is very important. The settings in the secondary
73 * slot always are priority to the primary slot and should be located
74 * earlier in the table.
Fabio Utzigb5b2f552017-06-30 10:03:47 -030075 *
76 * The table lists only states where there is action needs to be taken by
77 * the bootloader, as in starting/finishing a swap operation.
Christopher Collins92ea77f2016-12-12 15:59:26 -080078 */
79static const struct boot_swap_table boot_swap_tables[] = {
80 {
David Vincze2d736ad2019-02-18 11:50:22 +010081 .magic_primary_slot = BOOT_MAGIC_ANY,
82 .magic_secondary_slot = BOOT_MAGIC_GOOD,
83 .image_ok_primary_slot = BOOT_FLAG_ANY,
84 .image_ok_secondary_slot = BOOT_FLAG_UNSET,
85 .copy_done_primary_slot = BOOT_FLAG_ANY,
86 .swap_type = BOOT_SWAP_TYPE_TEST,
Christopher Collins92ea77f2016-12-12 15:59:26 -080087 },
Christopher Collins92ea77f2016-12-12 15:59:26 -080088 {
David Vincze2d736ad2019-02-18 11:50:22 +010089 .magic_primary_slot = BOOT_MAGIC_ANY,
90 .magic_secondary_slot = BOOT_MAGIC_GOOD,
91 .image_ok_primary_slot = BOOT_FLAG_ANY,
92 .image_ok_secondary_slot = BOOT_FLAG_SET,
93 .copy_done_primary_slot = BOOT_FLAG_ANY,
94 .swap_type = BOOT_SWAP_TYPE_PERM,
Christopher Collins92ea77f2016-12-12 15:59:26 -080095 },
Christopher Collins92ea77f2016-12-12 15:59:26 -080096 {
David Vincze2d736ad2019-02-18 11:50:22 +010097 .magic_primary_slot = BOOT_MAGIC_GOOD,
98 .magic_secondary_slot = BOOT_MAGIC_UNSET,
99 .image_ok_primary_slot = BOOT_FLAG_UNSET,
100 .image_ok_secondary_slot = BOOT_FLAG_ANY,
101 .copy_done_primary_slot = BOOT_FLAG_SET,
102 .swap_type = BOOT_SWAP_TYPE_REVERT,
Christopher Collins92ea77f2016-12-12 15:59:26 -0800103 },
104};
105
106#define BOOT_SWAP_TABLES_COUNT \
107 (sizeof boot_swap_tables / sizeof boot_swap_tables[0])
108
Fabio Utzig39000012018-07-30 12:40:20 -0300109static int
Fabio Utzig178be542018-09-19 08:12:56 -0300110boot_magic_decode(const uint32_t *magic)
Christopher Collins92ea77f2016-12-12 15:59:26 -0800111{
Fabio Utzig24a273d2017-04-20 08:21:31 -0300112 if (memcmp(magic, boot_img_magic, BOOT_MAGIC_SZ) == 0) {
Christopher Collins92ea77f2016-12-12 15:59:26 -0800113 return BOOT_MAGIC_GOOD;
114 }
Fabio Utzig178be542018-09-19 08:12:56 -0300115 return BOOT_MAGIC_BAD;
Christopher Collins92ea77f2016-12-12 15:59:26 -0800116}
117
Fabio Utzig39000012018-07-30 12:40:20 -0300118static int
Fabio Utzig178be542018-09-19 08:12:56 -0300119boot_flag_decode(uint8_t flag)
Fabio Utzig39000012018-07-30 12:40:20 -0300120{
Fabio Utzig39000012018-07-30 12:40:20 -0300121 if (flag != BOOT_FLAG_SET) {
122 return BOOT_FLAG_BAD;
123 }
124 return BOOT_FLAG_SET;
125}
126
Christopher Collinsa1c12042019-05-23 14:00:28 -0700127/**
128 * Determines if a status source table is satisfied by the specified magic
129 * code.
130 *
131 * @param tbl_val A magic field from a status source table.
132 * @param val The magic value in a trailer, encoded as a
133 * BOOT_MAGIC_[...].
134 *
135 * @return 1 if the two values are compatible;
136 * 0 otherwise.
137 */
138int
139boot_magic_compatible_check(uint8_t tbl_val, uint8_t val)
140{
141 switch (tbl_val) {
142 case BOOT_MAGIC_ANY:
143 return 1;
144
145 case BOOT_MAGIC_NOTGOOD:
146 return val != BOOT_MAGIC_GOOD;
147
148 default:
149 return tbl_val == val;
150 }
151}
152
Christopher Collins92ea77f2016-12-12 15:59:26 -0800153uint32_t
Christopher Collins2adef702019-05-22 14:37:31 -0700154boot_trailer_sz(uint8_t min_write_sz)
Christopher Collins92ea77f2016-12-12 15:59:26 -0800155{
Fabio Utziga0bc9b52017-06-28 09:19:55 -0300156 return /* state for all sectors */
Fabio Utzig7ebb7c22017-04-26 10:59:31 -0300157 BOOT_STATUS_MAX_ENTRIES * BOOT_STATUS_STATE_COUNT * min_write_sz +
Fabio Utzigba829042018-09-18 08:29:34 -0300158#ifdef MCUBOOT_ENC_IMAGES
159 /* encryption keys */
160 BOOT_ENC_KEY_SIZE * 2 +
161#endif
Christopher Collins2adef702019-05-22 14:37:31 -0700162 /* swap_type + copy_done + image_ok + swap_size */
163 BOOT_MAX_ALIGN * 4 +
Fabio Utziga0bc9b52017-06-28 09:19:55 -0300164 BOOT_MAGIC_SZ;
Christopher Collins92ea77f2016-12-12 15:59:26 -0800165}
166
167static uint32_t
168boot_magic_off(const struct flash_area *fap)
169{
Fabio Utziga0bc9b52017-06-28 09:19:55 -0300170 return fap->fa_size - BOOT_MAGIC_SZ;
Christopher Collins92ea77f2016-12-12 15:59:26 -0800171}
172
Fabio Utzig4cee4f72017-05-22 10:59:57 -0400173int
Fabio Utzigb0f04732019-07-31 09:49:19 -0300174boot_status_entries(int image_index, const struct flash_area *fap)
Fabio Utzig4cee4f72017-05-22 10:59:57 -0400175{
David Vinczeb75c12a2019-03-22 14:58:33 +0100176 if (fap->fa_id == FLASH_AREA_IMAGE_SCRATCH) {
Fabio Utzig4cee4f72017-05-22 10:59:57 -0400177 return BOOT_STATUS_STATE_COUNT;
Fabio Utzigb0f04732019-07-31 09:49:19 -0300178 } else if (fap->fa_id == FLASH_AREA_IMAGE_PRIMARY(image_index) ||
179 fap->fa_id == FLASH_AREA_IMAGE_SECONDARY(image_index)) {
David Vinczeb75c12a2019-03-22 14:58:33 +0100180 return BOOT_STATUS_STATE_COUNT * BOOT_STATUS_MAX_ENTRIES;
181 } else {
Fabio Utzigb0f04732019-07-31 09:49:19 -0300182 /* FIXME: make error values negative and check on caller */
183 assert(0);
Fabio Utzig4cee4f72017-05-22 10:59:57 -0400184 return BOOT_EBADARGS;
185 }
186}
187
Christopher Collins92ea77f2016-12-12 15:59:26 -0800188uint32_t
189boot_status_off(const struct flash_area *fap)
190{
Fabio Utziga0bc9b52017-06-28 09:19:55 -0300191 uint32_t off_from_end;
192 uint8_t elem_sz;
193
194 elem_sz = flash_area_align(fap);
195
Christopher Collins2adef702019-05-22 14:37:31 -0700196 off_from_end = boot_trailer_sz(elem_sz);
Fabio Utziga0bc9b52017-06-28 09:19:55 -0300197
198 assert(off_from_end <= fap->fa_size);
199 return fap->fa_size - off_from_end;
Christopher Collins92ea77f2016-12-12 15:59:26 -0800200}
201
Christopher Collinsa1c12042019-05-23 14:00:28 -0700202uint32_t
David Vinczee2453472019-06-17 12:31:59 +0200203boot_swap_info_off(const struct flash_area *fap)
Christopher Collinsa1c12042019-05-23 14:00:28 -0700204{
205 return fap->fa_size - BOOT_MAGIC_SZ - BOOT_MAX_ALIGN * 3;
206}
207
Christopher Collins92ea77f2016-12-12 15:59:26 -0800208static uint32_t
209boot_copy_done_off(const struct flash_area *fap)
210{
Fabio Utziga0bc9b52017-06-28 09:19:55 -0300211 return fap->fa_size - BOOT_MAGIC_SZ - BOOT_MAX_ALIGN * 2;
Christopher Collins92ea77f2016-12-12 15:59:26 -0800212}
213
214static uint32_t
215boot_image_ok_off(const struct flash_area *fap)
216{
Fabio Utziga0bc9b52017-06-28 09:19:55 -0300217 return fap->fa_size - BOOT_MAGIC_SZ - BOOT_MAX_ALIGN;
Christopher Collins92ea77f2016-12-12 15:59:26 -0800218}
219
Fabio Utzig46490722017-09-04 15:34:32 -0300220static uint32_t
221boot_swap_size_off(const struct flash_area *fap)
222{
Christopher Collins2adef702019-05-22 14:37:31 -0700223 return fap->fa_size - BOOT_MAGIC_SZ - BOOT_MAX_ALIGN * 4;
Fabio Utzig46490722017-09-04 15:34:32 -0300224}
225
Fabio Utzigba829042018-09-18 08:29:34 -0300226#ifdef MCUBOOT_ENC_IMAGES
227static uint32_t
228boot_enc_key_off(const struct flash_area *fap, uint8_t slot)
229{
Christopher Collins2adef702019-05-22 14:37:31 -0700230 return fap->fa_size - BOOT_MAGIC_SZ - BOOT_MAX_ALIGN * 4 -
Fabio Utzigba829042018-09-18 08:29:34 -0300231 ((slot + 1) * BOOT_ENC_KEY_SIZE);
232}
233#endif
234
Christopher Collins92ea77f2016-12-12 15:59:26 -0800235int
236boot_read_swap_state(const struct flash_area *fap,
237 struct boot_swap_state *state)
238{
Hovland, Sigvart1d96f362018-09-25 13:23:42 +0200239 uint32_t magic[BOOT_MAGIC_ARR_SZ];
Christopher Collins92ea77f2016-12-12 15:59:26 -0800240 uint32_t off;
David Vinczee2453472019-06-17 12:31:59 +0200241 uint8_t swap_info;
Christopher Collins92ea77f2016-12-12 15:59:26 -0800242 int rc;
243
244 off = boot_magic_off(fap);
Fabio Utzig178be542018-09-19 08:12:56 -0300245 rc = flash_area_read_is_empty(fap, off, magic, BOOT_MAGIC_SZ);
246 if (rc < 0) {
Christopher Collins92ea77f2016-12-12 15:59:26 -0800247 return BOOT_EFLASH;
248 }
Fabio Utzig178be542018-09-19 08:12:56 -0300249 if (rc == 1) {
250 state->magic = BOOT_MAGIC_UNSET;
251 } else {
252 state->magic = boot_magic_decode(magic);
253 }
Christopher Collins92ea77f2016-12-12 15:59:26 -0800254
David Vinczee2453472019-06-17 12:31:59 +0200255 off = boot_swap_info_off(fap);
256 rc = flash_area_read_is_empty(fap, off, &swap_info, sizeof swap_info);
Christopher Collinsa1c12042019-05-23 14:00:28 -0700257 if (rc < 0) {
258 return BOOT_EFLASH;
259 }
David Vinczee2453472019-06-17 12:31:59 +0200260
261 /* Extract the swap type and image number */
262 state->swap_type = BOOT_GET_SWAP_TYPE(swap_info);
263 state->image_num = BOOT_GET_IMAGE_NUM(swap_info);
264
Christopher Collinsa1c12042019-05-23 14:00:28 -0700265 if (rc == 1 || state->swap_type > BOOT_SWAP_TYPE_REVERT) {
266 state->swap_type = BOOT_SWAP_TYPE_NONE;
David Vinczee2453472019-06-17 12:31:59 +0200267 state->image_num = 0;
Christopher Collinsa1c12042019-05-23 14:00:28 -0700268 }
269
Christopher Collins2adef702019-05-22 14:37:31 -0700270 off = boot_copy_done_off(fap);
271 rc = flash_area_read_is_empty(fap, off, &state->copy_done,
272 sizeof state->copy_done);
273 if (rc < 0) {
274 return BOOT_EFLASH;
275 }
276 if (rc == 1) {
277 state->copy_done = BOOT_FLAG_UNSET;
278 } else {
279 state->copy_done = boot_flag_decode(state->copy_done);
Christopher Collins92ea77f2016-12-12 15:59:26 -0800280 }
281
282 off = boot_image_ok_off(fap);
David Vincze2d736ad2019-02-18 11:50:22 +0100283 rc = flash_area_read_is_empty(fap, off, &state->image_ok,
284 sizeof state->image_ok);
Fabio Utzig178be542018-09-19 08:12:56 -0300285 if (rc < 0) {
Christopher Collins92ea77f2016-12-12 15:59:26 -0800286 return BOOT_EFLASH;
287 }
Fabio Utzig178be542018-09-19 08:12:56 -0300288 if (rc == 1) {
289 state->image_ok = BOOT_FLAG_UNSET;
290 } else {
291 state->image_ok = boot_flag_decode(state->image_ok);
292 }
Christopher Collins92ea77f2016-12-12 15:59:26 -0800293
294 return 0;
295}
296
297/**
298 * Reads the image trailer from the scratch area.
299 */
300int
Fabio Utzig2473ac02017-05-02 12:45:02 -0300301boot_read_swap_state_by_id(int flash_area_id, struct boot_swap_state *state)
Christopher Collins92ea77f2016-12-12 15:59:26 -0800302{
303 const struct flash_area *fap;
304 int rc;
305
Fabio Utzigb0f04732019-07-31 09:49:19 -0300306 rc = flash_area_open(flash_area_id, &fap);
307 if (rc != 0) {
308 return BOOT_EFLASH;
Fabio Utzig2473ac02017-05-02 12:45:02 -0300309 }
310
311 rc = boot_read_swap_state(fap, state);
Fabio Utzigacfba2e2017-05-22 11:06:29 -0400312 flash_area_close(fap);
313 return rc;
Christopher Collins92ea77f2016-12-12 15:59:26 -0800314}
315
316int
Fabio Utzigb0f04732019-07-31 09:49:19 -0300317boot_read_swap_size(int image_index, uint32_t *swap_size)
Fabio Utzig46490722017-09-04 15:34:32 -0300318{
Hovland, Sigvart1d96f362018-09-25 13:23:42 +0200319 uint32_t magic[BOOT_MAGIC_ARR_SZ];
Fabio Utzig46490722017-09-04 15:34:32 -0300320 uint32_t off;
321 const struct flash_area *fap;
322 int rc;
323
324 /*
325 * In the middle a swap, tries to locate the saved swap size. Looks
David Vincze2d736ad2019-02-18 11:50:22 +0100326 * for a valid magic, first on the primary slot, then on scratch.
327 * Both "slots" can end up being temporary storage for a swap and it
328 * is assumed that if magic is valid then swap size is too, because
329 * magic is always written in the last step.
Fabio Utzig46490722017-09-04 15:34:32 -0300330 */
331
Fabio Utzigb0f04732019-07-31 09:49:19 -0300332 rc = flash_area_open(FLASH_AREA_IMAGE_PRIMARY(image_index), &fap);
Fabio Utzig46490722017-09-04 15:34:32 -0300333 if (rc != 0) {
334 return BOOT_EFLASH;
335 }
336
337 off = boot_magic_off(fap);
338 rc = flash_area_read(fap, off, magic, BOOT_MAGIC_SZ);
339 if (rc != 0) {
340 rc = BOOT_EFLASH;
341 goto out;
342 }
343
344 if (memcmp(magic, boot_img_magic, BOOT_MAGIC_SZ) != 0) {
345 /*
David Vincze2d736ad2019-02-18 11:50:22 +0100346 * If the primary slot's magic is not valid, try scratch...
Fabio Utzig46490722017-09-04 15:34:32 -0300347 */
348
349 flash_area_close(fap);
350
351 rc = flash_area_open(FLASH_AREA_IMAGE_SCRATCH, &fap);
352 if (rc != 0) {
353 return BOOT_EFLASH;
354 }
355
356 off = boot_magic_off(fap);
357 rc = flash_area_read(fap, off, magic, BOOT_MAGIC_SZ);
358 if (rc != 0) {
359 rc = BOOT_EFLASH;
360 goto out;
361 }
362
363 assert(memcmp(magic, boot_img_magic, BOOT_MAGIC_SZ) == 0);
364 }
365
366 off = boot_swap_size_off(fap);
367 rc = flash_area_read(fap, off, swap_size, sizeof *swap_size);
368 if (rc != 0) {
369 rc = BOOT_EFLASH;
370 }
371
372out:
373 flash_area_close(fap);
374 return rc;
375}
376
Fabio Utzigba829042018-09-18 08:29:34 -0300377#ifdef MCUBOOT_ENC_IMAGES
378int
Fabio Utzigb0f04732019-07-31 09:49:19 -0300379boot_read_enc_key(int image_index, uint8_t slot, uint8_t *enckey)
Fabio Utzigba829042018-09-18 08:29:34 -0300380{
381 uint32_t magic[BOOT_MAGIC_SZ];
382 uint32_t off;
383 const struct flash_area *fap;
384 int rc;
385
Fabio Utzigb0f04732019-07-31 09:49:19 -0300386 rc = flash_area_open(FLASH_AREA_IMAGE_PRIMARY(image_index), &fap);
Fabio Utzigba829042018-09-18 08:29:34 -0300387 if (rc != 0) {
388 return BOOT_EFLASH;
389 }
390
391 off = boot_magic_off(fap);
392 rc = flash_area_read(fap, off, magic, BOOT_MAGIC_SZ);
393 if (rc != 0) {
394 rc = BOOT_EFLASH;
395 goto out;
396 }
397
398 if (memcmp(magic, boot_img_magic, BOOT_MAGIC_SZ) != 0) {
399 /*
David Vincze2d736ad2019-02-18 11:50:22 +0100400 * If the primary slot's magic is not valid, try scratch...
Fabio Utzigba829042018-09-18 08:29:34 -0300401 */
402
403 flash_area_close(fap);
404
405 rc = flash_area_open(FLASH_AREA_IMAGE_SCRATCH, &fap);
406 if (rc != 0) {
407 return BOOT_EFLASH;
408 }
409
410 off = boot_magic_off(fap);
411 rc = flash_area_read(fap, off, magic, BOOT_MAGIC_SZ);
412 if (rc != 0) {
413 rc = BOOT_EFLASH;
414 goto out;
415 }
416
417 assert(memcmp(magic, boot_img_magic, BOOT_MAGIC_SZ) == 0);
418 }
419
420 off = boot_enc_key_off(fap, slot);
421 rc = flash_area_read(fap, off, enckey, BOOT_ENC_KEY_SIZE);
422 if (rc != 0) {
423 rc = BOOT_EFLASH;
424 }
425
426out:
427 flash_area_close(fap);
428 return rc;
429}
430#endif
Fabio Utzig46490722017-09-04 15:34:32 -0300431
432int
Christopher Collins92ea77f2016-12-12 15:59:26 -0800433boot_write_magic(const struct flash_area *fap)
434{
435 uint32_t off;
436 int rc;
437
438 off = boot_magic_off(fap);
439
Christopher Collins2c88e692019-05-22 15:10:14 -0700440 BOOT_LOG_DBG("writing magic; fa_id=%d off=0x%x (0x%x)",
441 fap->fa_id, off, fap->fa_off + off);
Fabio Utzig24a273d2017-04-20 08:21:31 -0300442 rc = flash_area_write(fap, off, boot_img_magic, BOOT_MAGIC_SZ);
Christopher Collins92ea77f2016-12-12 15:59:26 -0800443 if (rc != 0) {
444 return BOOT_EFLASH;
445 }
446
447 return 0;
448}
449
Fabio Utzig2473ac02017-05-02 12:45:02 -0300450static int
Christopher Collinsa1c12042019-05-23 14:00:28 -0700451boot_write_trailer_byte(const struct flash_area *fap, uint32_t off,
452 uint8_t val)
Christopher Collins92ea77f2016-12-12 15:59:26 -0800453{
Fabio Utzig644b8d42017-04-20 07:56:05 -0300454 uint8_t buf[BOOT_MAX_ALIGN];
David Brown9d725462017-01-23 15:50:58 -0700455 uint8_t align;
Fabio Utzig39000012018-07-30 12:40:20 -0300456 uint8_t erased_val;
Christopher Collinsa1c12042019-05-23 14:00:28 -0700457 int rc;
Christopher Collins92ea77f2016-12-12 15:59:26 -0800458
Andrzej Puzdrowskib788c712018-04-12 12:42:49 +0200459 align = flash_area_align(fap);
Fabio Utzig644b8d42017-04-20 07:56:05 -0300460 assert(align <= BOOT_MAX_ALIGN);
Fabio Utzig39000012018-07-30 12:40:20 -0300461 erased_val = flash_area_erased_val(fap);
462 memset(buf, erased_val, BOOT_MAX_ALIGN);
Christopher Collinsa1c12042019-05-23 14:00:28 -0700463 buf[0] = val;
David Brown9d725462017-01-23 15:50:58 -0700464
465 rc = flash_area_write(fap, off, buf, align);
Christopher Collins92ea77f2016-12-12 15:59:26 -0800466 if (rc != 0) {
467 return BOOT_EFLASH;
468 }
469
470 return 0;
471}
472
473int
Fabio Utzig2473ac02017-05-02 12:45:02 -0300474boot_write_copy_done(const struct flash_area *fap)
475{
Christopher Collinsa1c12042019-05-23 14:00:28 -0700476 uint32_t off;
477
478 off = boot_copy_done_off(fap);
479 BOOT_LOG_DBG("writing copy_done; fa_id=%d off=0x%x (0x%x)",
480 fap->fa_id, off, fap->fa_off + off);
481 return boot_write_trailer_byte(fap, off, BOOT_FLAG_SET);
Fabio Utzig2473ac02017-05-02 12:45:02 -0300482}
483
484int
Christopher Collins92ea77f2016-12-12 15:59:26 -0800485boot_write_image_ok(const struct flash_area *fap)
486{
Christopher Collinsa1c12042019-05-23 14:00:28 -0700487 uint32_t off;
488
489 off = boot_image_ok_off(fap);
490 BOOT_LOG_DBG("writing image_ok; fa_id=%d off=0x%x (0x%x)",
491 fap->fa_id, off, fap->fa_off + off);
492 return boot_write_trailer_byte(fap, off, BOOT_FLAG_SET);
493}
494
495/**
496 * Writes the specified value to the `swap-type` field of an image trailer.
497 * This value is persisted so that the boot loader knows what swap operation to
498 * resume in case of an unexpected reset.
499 */
500int
David Vinczee2453472019-06-17 12:31:59 +0200501boot_write_swap_info(const struct flash_area *fap, uint8_t swap_type,
502 uint8_t image_num)
Christopher Collinsa1c12042019-05-23 14:00:28 -0700503{
504 uint32_t off;
David Vinczee2453472019-06-17 12:31:59 +0200505 uint8_t swap_info;
Christopher Collinsa1c12042019-05-23 14:00:28 -0700506
David Vinczee2453472019-06-17 12:31:59 +0200507 BOOT_SET_SWAP_INFO(swap_info, image_num, swap_type);
508 off = boot_swap_info_off(fap);
509 BOOT_LOG_DBG("writing swap_info; fa_id=%d off=0x%x (0x%x), swap_type=0x%x"
510 " image_num=0x%x",
511 fap->fa_id, off, fap->fa_off + off, swap_type, image_num);
512 return boot_write_trailer_byte(fap, off, swap_info);
Christopher Collins92ea77f2016-12-12 15:59:26 -0800513}
514
515int
Fabio Utzig46490722017-09-04 15:34:32 -0300516boot_write_swap_size(const struct flash_area *fap, uint32_t swap_size)
517{
518 uint32_t off;
519 int rc;
520 uint8_t buf[BOOT_MAX_ALIGN];
521 uint8_t align;
Fabio Utzig39000012018-07-30 12:40:20 -0300522 uint8_t erased_val;
Fabio Utzig46490722017-09-04 15:34:32 -0300523
524 off = boot_swap_size_off(fap);
Andrzej Puzdrowskib788c712018-04-12 12:42:49 +0200525 align = flash_area_align(fap);
Fabio Utzig46490722017-09-04 15:34:32 -0300526 assert(align <= BOOT_MAX_ALIGN);
527 if (align < sizeof swap_size) {
528 align = sizeof swap_size;
529 }
Fabio Utzig39000012018-07-30 12:40:20 -0300530 erased_val = flash_area_erased_val(fap);
531 memset(buf, erased_val, BOOT_MAX_ALIGN);
Fabio Utzig46490722017-09-04 15:34:32 -0300532 memcpy(buf, (uint8_t *)&swap_size, sizeof swap_size);
533
Christopher Collins2c88e692019-05-22 15:10:14 -0700534 BOOT_LOG_DBG("writing swap_size; fa_id=%d off=0x%x (0x%x)",
535 fap->fa_id, off, fap->fa_off + off);
536
Fabio Utzig46490722017-09-04 15:34:32 -0300537 rc = flash_area_write(fap, off, buf, align);
538 if (rc != 0) {
539 return BOOT_EFLASH;
540 }
541
542 return 0;
543}
544
Fabio Utzigba829042018-09-18 08:29:34 -0300545#ifdef MCUBOOT_ENC_IMAGES
546int
547boot_write_enc_key(const struct flash_area *fap, uint8_t slot, const uint8_t *enckey)
548{
549 uint32_t off;
550 int rc;
551
552 off = boot_enc_key_off(fap, slot);
553 rc = flash_area_write(fap, off, enckey, BOOT_ENC_KEY_SIZE);
554 if (rc != 0) {
555 return BOOT_EFLASH;
556 }
557
558 return 0;
559}
560#endif
561
Fabio Utzig46490722017-09-04 15:34:32 -0300562int
Fabio Utzigb0f04732019-07-31 09:49:19 -0300563boot_swap_type_multi(int image_index)
Christopher Collins92ea77f2016-12-12 15:59:26 -0800564{
565 const struct boot_swap_table *table;
David Vincze2d736ad2019-02-18 11:50:22 +0100566 struct boot_swap_state primary_slot;
567 struct boot_swap_state secondary_slot;
Christopher Collins92ea77f2016-12-12 15:59:26 -0800568 int rc;
Fabio Utzigcd5774b2017-11-29 10:18:26 -0200569 size_t i;
Christopher Collins92ea77f2016-12-12 15:59:26 -0800570
Fabio Utzigb0f04732019-07-31 09:49:19 -0300571 rc = boot_read_swap_state_by_id(FLASH_AREA_IMAGE_PRIMARY(image_index),
572 &primary_slot);
Fabio Utzigb5b2f552017-06-30 10:03:47 -0300573 if (rc) {
574 return BOOT_SWAP_TYPE_PANIC;
575 }
Christopher Collins92ea77f2016-12-12 15:59:26 -0800576
Fabio Utzigb0f04732019-07-31 09:49:19 -0300577 rc = boot_read_swap_state_by_id(FLASH_AREA_IMAGE_SECONDARY(image_index),
David Vincze2d736ad2019-02-18 11:50:22 +0100578 &secondary_slot);
Fabio Utzigb5b2f552017-06-30 10:03:47 -0300579 if (rc) {
580 return BOOT_SWAP_TYPE_PANIC;
581 }
Christopher Collins92ea77f2016-12-12 15:59:26 -0800582
583 for (i = 0; i < BOOT_SWAP_TABLES_COUNT; i++) {
584 table = boot_swap_tables + i;
585
Christopher Collinsa1c12042019-05-23 14:00:28 -0700586 if (boot_magic_compatible_check(table->magic_primary_slot,
587 primary_slot.magic) &&
588 boot_magic_compatible_check(table->magic_secondary_slot,
589 secondary_slot.magic) &&
David Vincze2d736ad2019-02-18 11:50:22 +0100590 (table->image_ok_primary_slot == BOOT_FLAG_ANY ||
591 table->image_ok_primary_slot == primary_slot.image_ok) &&
592 (table->image_ok_secondary_slot == BOOT_FLAG_ANY ||
593 table->image_ok_secondary_slot == secondary_slot.image_ok) &&
594 (table->copy_done_primary_slot == BOOT_FLAG_ANY ||
595 table->copy_done_primary_slot == primary_slot.copy_done)) {
Fabio Utzig34e393e2017-05-22 11:07:07 -0400596 BOOT_LOG_INF("Swap type: %s",
Fabio Utzigb5b2f552017-06-30 10:03:47 -0300597 table->swap_type == BOOT_SWAP_TYPE_TEST ? "test" :
598 table->swap_type == BOOT_SWAP_TYPE_PERM ? "perm" :
599 table->swap_type == BOOT_SWAP_TYPE_REVERT ? "revert" :
600 "BUG; can't happen");
601 assert(table->swap_type == BOOT_SWAP_TYPE_TEST ||
602 table->swap_type == BOOT_SWAP_TYPE_PERM ||
603 table->swap_type == BOOT_SWAP_TYPE_REVERT);
604 return table->swap_type;
Christopher Collins92ea77f2016-12-12 15:59:26 -0800605 }
606 }
607
Fabio Utzigb5b2f552017-06-30 10:03:47 -0300608 BOOT_LOG_INF("Swap type: none");
Christopher Collins92ea77f2016-12-12 15:59:26 -0800609 return BOOT_SWAP_TYPE_NONE;
610}
611
Fabio Utzigb0f04732019-07-31 09:49:19 -0300612int
613boot_swap_type(void)
614{
615 return boot_swap_type_multi(0);
616}
617
618
Christopher Collins92ea77f2016-12-12 15:59:26 -0800619/**
David Vincze2d736ad2019-02-18 11:50:22 +0100620 * Marks the image in the secondary slot as pending. On the next reboot,
621 * the system will perform a one-time boot of the the secondary slot image.
Christopher Collins92ea77f2016-12-12 15:59:26 -0800622 *
Christopher Collins7835c1e2016-12-21 10:10:51 -0800623 * @param permanent Whether the image should be used permanently or
624 * only tested once:
625 * 0=run image once, then confirm or revert.
626 * 1=run image forever.
627 *
Christopher Collins92ea77f2016-12-12 15:59:26 -0800628 * @return 0 on success; nonzero on failure.
629 */
630int
Christopher Collins7835c1e2016-12-21 10:10:51 -0800631boot_set_pending(int permanent)
Christopher Collins92ea77f2016-12-12 15:59:26 -0800632{
633 const struct flash_area *fap;
David Vincze2d736ad2019-02-18 11:50:22 +0100634 struct boot_swap_state state_secondary_slot;
Christopher Collinsa1c12042019-05-23 14:00:28 -0700635 uint8_t swap_type;
Christopher Collins92ea77f2016-12-12 15:59:26 -0800636 int rc;
637
Fabio Utzigb0f04732019-07-31 09:49:19 -0300638 rc = boot_read_swap_state_by_id(FLASH_AREA_IMAGE_SECONDARY(0),
David Vincze2d736ad2019-02-18 11:50:22 +0100639 &state_secondary_slot);
Christopher Collins92ea77f2016-12-12 15:59:26 -0800640 if (rc != 0) {
641 return rc;
642 }
643
David Vincze2d736ad2019-02-18 11:50:22 +0100644 switch (state_secondary_slot.magic) {
Christopher Collins92ea77f2016-12-12 15:59:26 -0800645 case BOOT_MAGIC_GOOD:
646 /* Swap already scheduled. */
647 return 0;
648
649 case BOOT_MAGIC_UNSET:
Fabio Utzigb0f04732019-07-31 09:49:19 -0300650 rc = flash_area_open(FLASH_AREA_IMAGE_SECONDARY(0), &fap);
Christopher Collins92ea77f2016-12-12 15:59:26 -0800651 if (rc != 0) {
652 rc = BOOT_EFLASH;
653 } else {
654 rc = boot_write_magic(fap);
655 }
656
Christopher Collins7835c1e2016-12-21 10:10:51 -0800657 if (rc == 0 && permanent) {
658 rc = boot_write_image_ok(fap);
659 }
660
Christopher Collinsa1c12042019-05-23 14:00:28 -0700661 if (rc == 0) {
662 if (permanent) {
663 swap_type = BOOT_SWAP_TYPE_PERM;
664 } else {
665 swap_type = BOOT_SWAP_TYPE_TEST;
666 }
David Vinczee2453472019-06-17 12:31:59 +0200667 rc = boot_write_swap_info(fap, swap_type, 0);
Christopher Collinsa1c12042019-05-23 14:00:28 -0700668 }
669
Christopher Collins92ea77f2016-12-12 15:59:26 -0800670 flash_area_close(fap);
671 return rc;
672
Christopher Collinsae01f152019-01-30 09:56:37 -0800673 case BOOT_MAGIC_BAD:
674 /* The image slot is corrupt. There is no way to recover, so erase the
675 * slot to allow future upgrades.
676 */
Fabio Utzigb0f04732019-07-31 09:49:19 -0300677 rc = flash_area_open(FLASH_AREA_IMAGE_SECONDARY(0), &fap);
Christopher Collinsae01f152019-01-30 09:56:37 -0800678 if (rc != 0) {
679 return BOOT_EFLASH;
680 }
681
682 flash_area_erase(fap, 0, fap->fa_size);
683 flash_area_close(fap);
684 return BOOT_EBADIMAGE;
685
Christopher Collins92ea77f2016-12-12 15:59:26 -0800686 default:
Christopher Collins92ea77f2016-12-12 15:59:26 -0800687 assert(0);
Christopher Collinsae01f152019-01-30 09:56:37 -0800688 return BOOT_EBADIMAGE;
Christopher Collins92ea77f2016-12-12 15:59:26 -0800689 }
690}
691
692/**
David Vincze2d736ad2019-02-18 11:50:22 +0100693 * Marks the image in the primary slot as confirmed. The system will continue
694 * booting into the image in the primary slot until told to boot from a
695 * different slot.
Christopher Collins92ea77f2016-12-12 15:59:26 -0800696 *
697 * @return 0 on success; nonzero on failure.
698 */
699int
700boot_set_confirmed(void)
701{
702 const struct flash_area *fap;
David Vincze2d736ad2019-02-18 11:50:22 +0100703 struct boot_swap_state state_primary_slot;
Christopher Collins92ea77f2016-12-12 15:59:26 -0800704 int rc;
705
Fabio Utzigb0f04732019-07-31 09:49:19 -0300706 rc = boot_read_swap_state_by_id(FLASH_AREA_IMAGE_PRIMARY(0),
David Vincze2d736ad2019-02-18 11:50:22 +0100707 &state_primary_slot);
Christopher Collins92ea77f2016-12-12 15:59:26 -0800708 if (rc != 0) {
709 return rc;
710 }
711
David Vincze2d736ad2019-02-18 11:50:22 +0100712 switch (state_primary_slot.magic) {
Christopher Collins92ea77f2016-12-12 15:59:26 -0800713 case BOOT_MAGIC_GOOD:
714 /* Confirm needed; proceed. */
715 break;
716
717 case BOOT_MAGIC_UNSET:
718 /* Already confirmed. */
719 return 0;
720
721 case BOOT_MAGIC_BAD:
722 /* Unexpected state. */
723 return BOOT_EBADVECT;
724 }
725
Fabio Utzigb0f04732019-07-31 09:49:19 -0300726 rc = flash_area_open(FLASH_AREA_IMAGE_PRIMARY(0), &fap);
Christopher Collins92ea77f2016-12-12 15:59:26 -0800727 if (rc) {
728 rc = BOOT_EFLASH;
729 goto done;
730 }
731
David Vincze2d736ad2019-02-18 11:50:22 +0100732 if (state_primary_slot.copy_done == BOOT_FLAG_UNSET) {
Fabio Utzig39000012018-07-30 12:40:20 -0300733 /* Swap never completed. This is unexpected. */
734 rc = BOOT_EBADVECT;
Christopher Collins92ea77f2016-12-12 15:59:26 -0800735 goto done;
736 }
737
David Vincze2d736ad2019-02-18 11:50:22 +0100738 if (state_primary_slot.image_ok != BOOT_FLAG_UNSET) {
Fabio Utzig39000012018-07-30 12:40:20 -0300739 /* Already confirmed. */
740 goto done;
741 }
742
743 rc = boot_write_image_ok(fap);
Christopher Collins92ea77f2016-12-12 15:59:26 -0800744
745done:
746 flash_area_close(fap);
747 return rc;
748}
David Vinczee32483f2019-06-13 10:46:24 +0200749
750#if (BOOT_IMAGE_NUMBER > 1)
751/**
752 * Check if the version of the image is not older than required.
753 *
754 * @param req Required minimal image version.
755 * @param ver Version of the image to be checked.
756 *
757 * @return 0 if the version is sufficient, nonzero otherwise.
758 */
759int
760boot_is_version_sufficient(struct image_version *req,
761 struct image_version *ver)
762{
763 if (ver->iv_major > req->iv_major) {
764 return 0;
765 }
766 if (ver->iv_major < req->iv_major) {
767 return BOOT_EBADVERSION;
768 }
769 /* The major version numbers are equal. */
770 if (ver->iv_minor > req->iv_minor) {
771 return 0;
772 }
773 if (ver->iv_minor < req->iv_minor) {
774 return BOOT_EBADVERSION;
775 }
776 /* The minor version numbers are equal. */
777 if (ver->iv_revision < req->iv_revision) {
778 return BOOT_EBADVERSION;
779 }
780
781 return 0;
782}
783#endif /* BOOT_IMAGE_NUMBER > 1 */