blob: a18979d3169245795ec37be65bf16cd51faf402e [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
20/**
21 * This file provides an interface to the boot loader. Functions defined in
22 * this file should only be called while the boot loader is running.
23 */
24
25#include <assert.h>
26#include <stddef.h>
27#include <inttypes.h>
28#include <stdlib.h>
29#include <string.h>
30#include "sysflash/sysflash.h"
31#include "flash_map/flash_map.h"
32#include <hal/hal_flash.h>
33#include <os/os_malloc.h>
34#include "bootutil/bootutil.h"
35#include "bootutil/image.h"
36#include "bootutil_priv.h"
37
Marti Bolivarfd20c762017-02-07 16:52:50 -050038#define BOOT_LOG_LEVEL BOOT_LOG_LEVEL_INFO
39#include "bootutil/bootutil_log.h"
40
Christopher Collins92ea77f2016-12-12 15:59:26 -080041#define BOOT_MAX_IMG_SECTORS 120
42
43/** Number of image slots in flash; currently limited to two. */
44#define BOOT_NUM_SLOTS 2
45
46static struct {
47 struct {
48 struct image_header hdr;
49 struct flash_area *sectors;
Christopher Collins0ff3c6c2016-12-21 12:04:17 -080050 int num_sectors;
Christopher Collins92ea77f2016-12-12 15:59:26 -080051 } imgs[BOOT_NUM_SLOTS];
52
Christopher Collins92ea77f2016-12-12 15:59:26 -080053 struct flash_area scratch_sector;
54
55 uint8_t write_sz;
56} boot_data;
57
58struct boot_status_table {
59 /**
60 * For each field, a value of 0 means "any".
61 */
62 uint8_t bst_magic_slot0;
63 uint8_t bst_magic_scratch;
64 uint8_t bst_copy_done_slot0;
65 uint8_t bst_status_source;
66};
67
68/**
69 * This set of tables maps swap state contents to boot status location.
70 * When searching for a match, these tables must be iterated in order.
71 */
72static const struct boot_status_table boot_status_tables[] = {
73 {
74 /* | slot-0 | scratch |
75 * ----------+------------+------------|
76 * magic | Good | Any |
77 * copy-done | 0x01 | N/A |
78 * ----------+------------+------------'
79 * source: none |
80 * ------------------------------------'
81 */
82 .bst_magic_slot0 = BOOT_MAGIC_GOOD,
83 .bst_magic_scratch = 0,
84 .bst_copy_done_slot0 = 0x01,
85 .bst_status_source = BOOT_STATUS_SOURCE_NONE,
86 },
87
88 {
89 /* | slot-0 | scratch |
90 * ----------+------------+------------|
91 * magic | Good | Any |
92 * copy-done | 0xff | N/A |
93 * ----------+------------+------------'
94 * source: slot 0 |
95 * ------------------------------------'
96 */
97 .bst_magic_slot0 = BOOT_MAGIC_GOOD,
98 .bst_magic_scratch = 0,
99 .bst_copy_done_slot0 = 0xff,
100 .bst_status_source = BOOT_STATUS_SOURCE_SLOT0,
101 },
102
103 {
104 /* | slot-0 | scratch |
105 * ----------+------------+------------|
106 * magic | Any | Good |
107 * copy-done | Any | N/A |
108 * ----------+------------+------------'
109 * source: scratch |
110 * ------------------------------------'
111 */
112 .bst_magic_slot0 = 0,
113 .bst_magic_scratch = BOOT_MAGIC_GOOD,
114 .bst_copy_done_slot0 = 0,
115 .bst_status_source = BOOT_STATUS_SOURCE_SCRATCH,
116 },
117
118 {
119 /* | slot-0 | scratch |
120 * ----------+------------+------------|
121 * magic | Unset | Any |
122 * copy-done | 0xff | N/A |
123 * ----------+------------+------------|
124 * source: varies |
125 * ------------------------------------+------------------------------+
126 * This represents one of two cases: |
127 * o No swaps ever (no status to read, so no harm in checking). |
128 * o Mid-revert; status in slot 0. |
129 * -------------------------------------------------------------------'
130 */
131 .bst_magic_slot0 = BOOT_MAGIC_UNSET,
132 .bst_magic_scratch = 0,
133 .bst_copy_done_slot0 = 0xff,
134 .bst_status_source = BOOT_STATUS_SOURCE_SLOT0,
135 },
136};
137
138#define BOOT_STATUS_TABLES_COUNT \
139 (sizeof boot_status_tables / sizeof boot_status_tables[0])
140
141/**
142 * This table indicates the next swap type that should be performed. The first
143 * column contains the current swap type. The second column contains the swap
144 * type that should be effected after the first completes.
145 */
146static const uint8_t boot_swap_trans_table[][2] = {
147 /* From To */
148 { BOOT_SWAP_TYPE_REVERT, BOOT_SWAP_TYPE_NONE },
Christopher Collinsfd7eb5c2016-12-21 13:46:08 -0800149 { BOOT_SWAP_TYPE_PERM, BOOT_SWAP_TYPE_NONE },
Christopher Collins92ea77f2016-12-12 15:59:26 -0800150 { BOOT_SWAP_TYPE_TEST, BOOT_SWAP_TYPE_REVERT },
151};
152
153#define BOOT_SWAP_TRANS_TABLE_SIZE \
154 (sizeof boot_swap_trans_table / sizeof boot_swap_trans_table[0])
155
Marti Bolivarfd20c762017-02-07 16:52:50 -0500156#define BOOT_LOG_SWAP_STATE(area, state) \
157 BOOT_LOG_INF("%s: magic=%s, copy_done=0x%x, image_ok=0x%x", \
158 (area), \
159 ((state)->magic == BOOT_MAGIC_GOOD ? "good" : \
160 (state)->magic == BOOT_MAGIC_UNSET ? "unset" : \
161 "bad"), \
162 (state)->copy_done, \
163 (state)->image_ok)
164
Christopher Collins92ea77f2016-12-12 15:59:26 -0800165/**
166 * Determines where in flash the most recent boot status is stored. The boot
167 * status is necessary for completing a swap that was interrupted by a boot
168 * loader reset.
169 *
170 * @return A BOOT_STATUS_SOURCE_[...] code indicating where * status should be read from.
171 */
172static int
173boot_status_source(void)
174{
175 const struct boot_status_table *table;
176 struct boot_swap_state state_scratch;
177 struct boot_swap_state state_slot0;
178 struct boot_swap_state state_slot1;
179 int rc;
180 int i;
Marti Bolivarfd20c762017-02-07 16:52:50 -0500181 uint8_t source;
Christopher Collins92ea77f2016-12-12 15:59:26 -0800182
183 rc = boot_read_swap_state_img(0, &state_slot0);
184 assert(rc == 0);
185
186 rc = boot_read_swap_state_img(1, &state_slot1);
187 assert(rc == 0);
188
189 rc = boot_read_swap_state_scratch(&state_scratch);
190 assert(rc == 0);
191
Marti Bolivarfd20c762017-02-07 16:52:50 -0500192 BOOT_LOG_SWAP_STATE("Image 0", &state_slot0);
193 BOOT_LOG_SWAP_STATE("Image 1", &state_slot1);
194 BOOT_LOG_SWAP_STATE("Scratch", &state_scratch);
195
Christopher Collins92ea77f2016-12-12 15:59:26 -0800196 for (i = 0; i < BOOT_STATUS_TABLES_COUNT; i++) {
197 table = boot_status_tables + i;
198
199 if ((table->bst_magic_slot0 == 0 ||
200 table->bst_magic_slot0 == state_slot0.magic) &&
201 (table->bst_magic_scratch == 0 ||
202 table->bst_magic_scratch == state_scratch.magic) &&
203 (table->bst_copy_done_slot0 == 0 ||
204 table->bst_copy_done_slot0 == state_slot0.copy_done)) {
Marti Bolivarfd20c762017-02-07 16:52:50 -0500205 source = table->bst_status_source;
206 BOOT_LOG_INF("Boot source: %s",
207 source == BOOT_STATUS_SOURCE_NONE ? "none" :
208 source == BOOT_STATUS_SOURCE_SCRATCH ? "scratch" :
209 source == BOOT_STATUS_SOURCE_SLOT0 ? "slot 0" :
210 "BUG; can't happen");
211 return source;
Christopher Collins92ea77f2016-12-12 15:59:26 -0800212 }
213 }
214
Marti Bolivarfd20c762017-02-07 16:52:50 -0500215 BOOT_LOG_INF("Boot source: none");
Christopher Collins92ea77f2016-12-12 15:59:26 -0800216 return BOOT_STATUS_SOURCE_NONE;
217}
218
219/**
220 * Calculates the type of swap that just completed.
221 */
222static int
223boot_previous_swap_type(void)
224{
225 int post_swap_type;
226 int i;
227
228 post_swap_type = boot_swap_type();
229
230 for (i = 0; i < BOOT_SWAP_TRANS_TABLE_SIZE; i++){
231 if (boot_swap_trans_table[i][1] == post_swap_type) {
232 return boot_swap_trans_table[i][0];
233 }
234 }
235
236 /* XXX: Temporary assert. */
237 assert(0);
238
239 return BOOT_SWAP_TYPE_REVERT;
240}
241
242static int
243boot_read_image_header(int slot, struct image_header *out_hdr)
244{
245 const struct flash_area *fap;
246 int area_id;
247 int rc;
248
249 area_id = flash_area_id_from_image_slot(slot);
250 rc = flash_area_open(area_id, &fap);
251 if (rc != 0) {
252 rc = BOOT_EFLASH;
253 goto done;
254 }
255
256 rc = flash_area_read(fap, 0, out_hdr, sizeof *out_hdr);
257 if (rc != 0) {
258 rc = BOOT_EFLASH;
259 goto done;
260 }
261
262 rc = 0;
263
264done:
265 flash_area_close(fap);
266 return rc;
267}
268
269static int
270boot_read_image_headers(void)
271{
272 int rc;
273 int i;
274
275 for (i = 0; i < BOOT_NUM_SLOTS; i++) {
276 rc = boot_read_image_header(i, &boot_data.imgs[i].hdr);
277 if (rc != 0) {
Christopher Collins0ff3c6c2016-12-21 12:04:17 -0800278 /* If at least one header was read successfully, then the boot
279 * loader can attempt a boot. Failure to read any headers is a
280 * fatal error.
281 */
282 if (i > 0) {
283 return 0;
284 } else {
285 return rc;
286 }
Christopher Collins92ea77f2016-12-12 15:59:26 -0800287 }
288 }
289
290 return 0;
291}
292
293static uint8_t
294boot_write_sz(void)
295{
296 uint8_t elem_sz;
297 uint8_t align;
298
299 /* Figure out what size to write update status update as. The size depends
300 * on what the minimum write size is for scratch area, active image slot.
301 * We need to use the bigger of those 2 values.
302 */
303 elem_sz = hal_flash_align(boot_data.imgs[0].sectors[0].fa_device_id);
304 align = hal_flash_align(boot_data.scratch_sector.fa_device_id);
305 if (align > elem_sz) {
306 elem_sz = align;
307 }
308
309 return elem_sz;
310}
311
Christopher Collins0ff3c6c2016-12-21 12:04:17 -0800312static int
313boot_slots_compatible(void)
314{
315 const struct flash_area *sector0;
316 const struct flash_area *sector1;
317 int i;
318
319 /* Ensure both image slots have identical sector layouts. */
320 if (boot_data.imgs[0].num_sectors != boot_data.imgs[1].num_sectors) {
321 return 0;
322 }
323 for (i = 0; i < boot_data.imgs[0].num_sectors; i++) {
324 sector0 = boot_data.imgs[0].sectors + i;
325 sector1 = boot_data.imgs[1].sectors + i;
326 if (sector0->fa_size != sector1->fa_size) {
327 return 0;
328 }
329 }
330
331 return 1;
332}
333
Christopher Collins92ea77f2016-12-12 15:59:26 -0800334/**
335 * Determines the sector layout of both image slots and the scratch area.
336 * This information is necessary for calculating the number of bytes to erase
337 * and copy during an image swap. The information collected during this
338 * function is used to populate the boot_data global.
339 */
340static int
341boot_read_sectors(void)
342{
Christopher Collins92ea77f2016-12-12 15:59:26 -0800343 const struct flash_area *scratch;
344 int num_sectors_slot0;
345 int num_sectors_slot1;
346 int rc;
Christopher Collins92ea77f2016-12-12 15:59:26 -0800347
348 num_sectors_slot0 = BOOT_MAX_IMG_SECTORS;
349 rc = flash_area_to_sectors(FLASH_AREA_IMAGE_0, &num_sectors_slot0,
350 boot_data.imgs[0].sectors);
351 if (rc != 0) {
352 return BOOT_EFLASH;
353 }
Christopher Collins0ff3c6c2016-12-21 12:04:17 -0800354 boot_data.imgs[0].num_sectors = num_sectors_slot0;
Christopher Collins92ea77f2016-12-12 15:59:26 -0800355
356 num_sectors_slot1 = BOOT_MAX_IMG_SECTORS;
357 rc = flash_area_to_sectors(FLASH_AREA_IMAGE_1, &num_sectors_slot1,
358 boot_data.imgs[1].sectors);
359 if (rc != 0) {
360 return BOOT_EFLASH;
361 }
Christopher Collins0ff3c6c2016-12-21 12:04:17 -0800362 boot_data.imgs[1].num_sectors = num_sectors_slot1;
Christopher Collins92ea77f2016-12-12 15:59:26 -0800363
364 rc = flash_area_open(FLASH_AREA_IMAGE_SCRATCH, &scratch);
365 if (rc != 0) {
366 return BOOT_EFLASH;
367 }
368 boot_data.scratch_sector = *scratch;
Christopher Collins92ea77f2016-12-12 15:59:26 -0800369
370 boot_data.write_sz = boot_write_sz();
371
372 return 0;
373}
374
375static uint32_t
376boot_status_internal_off(int idx, int state, int elem_sz)
377{
378 int idx_sz;
379
380 idx_sz = elem_sz * BOOT_STATUS_STATE_COUNT;
381
382 return idx * idx_sz + state * elem_sz;
383}
384
385/**
386 * Reads the status of a partially-completed swap, if any. This is necessary
387 * to recover in case the boot lodaer was reset in the middle of a swap
388 * operation.
389 */
390static int
391boot_read_status_bytes(const struct flash_area *fap, struct boot_status *bs)
392{
393 uint32_t off;
394 uint8_t status;
395 int found;
396 int rc;
397 int i;
398
399 off = boot_status_off(fap);
400
401 found = 0;
402 for (i = 0; i < BOOT_STATUS_MAX_ENTRIES; i++) {
403 rc = flash_area_read(fap, off + i * boot_data.write_sz, &status, 1);
404 if (rc != 0) {
405 return BOOT_EFLASH;
406 }
407
408 if (status == 0xff) {
409 if (found) {
410 break;
411 }
412 } else if (!found) {
413 found = 1;
414 }
415 }
416
417 if (found) {
418 i--;
419 bs->idx = i / BOOT_STATUS_STATE_COUNT;
420 bs->state = i % BOOT_STATUS_STATE_COUNT;
421 }
422
423 return 0;
424}
425
426/**
427 * Reads the boot status from the flash. The boot status contains
428 * the current state of an interrupted image copy operation. If the boot
429 * status is not present, or it indicates that previous copy finished,
430 * there is no operation in progress.
431 */
432static int
433boot_read_status(struct boot_status *bs)
434{
435 const struct flash_area *fap;
436 int status_loc;
437 int area_id;
438 int rc;
439
440 memset(bs, 0, sizeof *bs);
441
442 status_loc = boot_status_source();
443 switch (status_loc) {
444 case BOOT_STATUS_SOURCE_NONE:
445 return 0;
446
447 case BOOT_STATUS_SOURCE_SCRATCH:
448 area_id = FLASH_AREA_IMAGE_SCRATCH;
449 break;
450
451 case BOOT_STATUS_SOURCE_SLOT0:
452 area_id = FLASH_AREA_IMAGE_0;
453 break;
454
455 default:
456 assert(0);
457 return BOOT_EBADARGS;
458 }
459
460 rc = flash_area_open(area_id, &fap);
461 if (rc != 0) {
462 return BOOT_EFLASH;
463 }
464
465 rc = boot_read_status_bytes(fap, bs);
466 if (rc != 0) {
467 return rc;
468 }
469
470 return 0;
471}
472
473/**
474 * Writes the supplied boot status to the flash file system. The boot status
475 * contains the current state of an in-progress image copy operation.
476 *
477 * @param bs The boot status to write.
478 *
479 * @return 0 on success; nonzero on failure.
480 */
481int
482boot_write_status(struct boot_status *bs)
483{
484 const struct flash_area *fap;
485 uint32_t off;
486 int area_id;
487 int rc;
David Brown9d725462017-01-23 15:50:58 -0700488 uint8_t buf[8];
489 uint8_t align;
Christopher Collins92ea77f2016-12-12 15:59:26 -0800490
491 if (bs->idx == 0) {
492 /* Write to scratch. */
493 area_id = FLASH_AREA_IMAGE_SCRATCH;
494 } else {
495 /* Write to slot 0. */
496 area_id = FLASH_AREA_IMAGE_0;
497 }
498
499 rc = flash_area_open(area_id, &fap);
500 if (rc != 0) {
501 rc = BOOT_EFLASH;
502 goto done;
503 }
504
505 off = boot_status_off(fap) +
506 boot_status_internal_off(bs->idx, bs->state, boot_data.write_sz);
507
David Brown9d725462017-01-23 15:50:58 -0700508 align = hal_flash_align(fap->fa_device_id);
509 // ASSERT(align <= 8);
510 memset(buf, 0xFF, 8);
511 buf[0] = bs->state;
512
513 rc = flash_area_write(fap, off, buf, align);
Christopher Collins92ea77f2016-12-12 15:59:26 -0800514 if (rc != 0) {
515 rc = BOOT_EFLASH;
516 goto done;
517 }
518
519 rc = 0;
520
521done:
522 flash_area_close(fap);
523 return rc;
524}
525
526/*
527 * Validate image hash/signature in a slot.
528 */
529static int
530boot_image_check(struct image_header *hdr, const struct flash_area *fap)
531{
David Browndb1d9d32017-01-06 11:07:54 -0700532 static uint8_t tmpbuf[BOOT_TMPBUF_SZ];
Christopher Collins92ea77f2016-12-12 15:59:26 -0800533
Christopher Collins92ea77f2016-12-12 15:59:26 -0800534 if (bootutil_img_validate(hdr, fap, tmpbuf, BOOT_TMPBUF_SZ,
535 NULL, 0, NULL)) {
536 return BOOT_EBADIMAGE;
537 }
538 return 0;
539}
540
541static int
542split_image_check(struct image_header *app_hdr,
543 const struct flash_area *app_fap,
544 struct image_header *loader_hdr,
545 const struct flash_area *loader_fap)
546{
547 static void *tmpbuf;
548 uint8_t loader_hash[32];
549
550 if (!tmpbuf) {
551 tmpbuf = malloc(BOOT_TMPBUF_SZ);
552 if (!tmpbuf) {
553 return BOOT_ENOMEM;
554 }
555 }
556
557 if (bootutil_img_validate(loader_hdr, loader_fap, tmpbuf, BOOT_TMPBUF_SZ,
558 NULL, 0, loader_hash)) {
559 return BOOT_EBADIMAGE;
560 }
561
562 if (bootutil_img_validate(app_hdr, app_fap, tmpbuf, BOOT_TMPBUF_SZ,
563 loader_hash, 32, NULL)) {
564 return BOOT_EBADIMAGE;
565 }
566
567 return 0;
568}
569
570static int
David Brownd930ec62016-12-14 07:59:48 -0700571boot_validate_slot(int slot)
Christopher Collins92ea77f2016-12-12 15:59:26 -0800572{
573 const struct flash_area *fap;
574 int rc;
575
David Brownd930ec62016-12-14 07:59:48 -0700576 if (boot_data.imgs[slot].hdr.ih_magic == 0xffffffff ||
577 boot_data.imgs[slot].hdr.ih_flags & IMAGE_F_NON_BOOTABLE) {
Christopher Collins92ea77f2016-12-12 15:59:26 -0800578
579 /* No bootable image in slot 1; continue booting from slot 0. */
580 return -1;
581 }
582
David Brownd930ec62016-12-14 07:59:48 -0700583 rc = flash_area_open(flash_area_id_from_image_slot(slot), &fap);
Christopher Collins92ea77f2016-12-12 15:59:26 -0800584 if (rc != 0) {
585 return BOOT_EFLASH;
586 }
587
David Brownd930ec62016-12-14 07:59:48 -0700588 if ((boot_data.imgs[slot].hdr.ih_magic != IMAGE_MAGIC ||
David Brownb38e0442017-02-24 13:57:12 -0700589 boot_image_check(&boot_data.imgs[slot].hdr, fap) != 0)) {
Christopher Collins92ea77f2016-12-12 15:59:26 -0800590
David Brownb38e0442017-02-24 13:57:12 -0700591 if (slot != 0) {
592 flash_area_erase(fap, 0, fap->fa_size);
593 /* Image in slot 1 is invalid. Erase the image and
594 * continue booting from slot 0.
595 */
596 }
Christopher Collins92ea77f2016-12-12 15:59:26 -0800597 return -1;
598 }
599
600 flash_area_close(fap);
601
602 /* Image in slot 1 is valid. */
603 return 0;
604}
605
606/**
607 * Determines which swap operation to perform, if any. If it is determined
608 * that a swap operation is required, the image in the second slot is checked
609 * for validity. If the image in the second slot is invalid, it is erased, and
610 * a swap type of "none" is indicated.
611 *
612 * @return The type of swap to perform (BOOT_SWAP_TYPE...)
613 */
614static int
615boot_validated_swap_type(void)
616{
617 int swap_type;
618 int rc;
619
620 swap_type = boot_swap_type();
621 if (swap_type == BOOT_SWAP_TYPE_NONE) {
622 /* Continue using slot 0. */
623 return BOOT_SWAP_TYPE_NONE;
624 }
625
626 /* Boot loader wants to switch to slot 1. Ensure image is valid. */
David Brownd930ec62016-12-14 07:59:48 -0700627 rc = boot_validate_slot(1);
Christopher Collins92ea77f2016-12-12 15:59:26 -0800628 if (rc != 0) {
629 return BOOT_SWAP_TYPE_FAIL;
630 }
631
632 return swap_type;
633}
634
635/**
636 * Calculates the number of sectors the scratch area can contain. A "last"
637 * source sector is specified because images are copied backwards in flash
638 * (final index to index number 0).
639 *
640 * @param last_sector_idx The index of the last source sector
641 * (inclusive).
642 * @param out_first_sector_idx The index of the first source sector
643 * (inclusive) gets written here.
644 *
645 * @return The number of bytes comprised by the
646 * [first-sector, last-sector] range.
647 */
648static uint32_t
649boot_copy_sz(int last_sector_idx, int *out_first_sector_idx)
650{
651 uint32_t new_sz;
652 uint32_t sz;
653 int i;
654
655 sz = 0;
656
657 for (i = last_sector_idx; i >= 0; i--) {
658 new_sz = sz + boot_data.imgs[0].sectors[i].fa_size;
659 if (new_sz > boot_data.scratch_sector.fa_size) {
660 break;
661 }
662 sz = new_sz;
663 }
664
665 /* i currently refers to a sector that doesn't fit or it is -1 because all
666 * sectors have been processed. In both cases, exclude sector i.
667 */
668 *out_first_sector_idx = i + 1;
669 return sz;
670}
671
672/**
673 * Erases a region of flash.
674 *
675 * @param flash_area_idx The ID of the flash area containing the region
676 * to erase.
677 * @param off The offset within the flash area to start the
678 * erase.
679 * @param sz The number of bytes to erase.
680 *
681 * @return 0 on success; nonzero on failure.
682 */
683static int
684boot_erase_sector(int flash_area_id, uint32_t off, uint32_t sz)
685{
686 const struct flash_area *fap;
687 int rc;
688
689 rc = flash_area_open(flash_area_id, &fap);
690 if (rc != 0) {
691 rc = BOOT_EFLASH;
692 goto done;
693 }
694
695 rc = flash_area_erase(fap, off, sz);
696 if (rc != 0) {
697 rc = BOOT_EFLASH;
698 goto done;
699 }
700
701 rc = 0;
702
703done:
704 flash_area_close(fap);
705 return rc;
706}
707
708/**
709 * Copies the contents of one flash region to another. You must erase the
710 * destination region prior to calling this function.
711 *
712 * @param flash_area_id_src The ID of the source flash area.
713 * @param flash_area_id_dst The ID of the destination flash area.
714 * @param off_src The offset within the source flash area to
715 * copy from.
716 * @param off_dst The offset within the destination flash area to
717 * copy to.
718 * @param sz The number of bytes to copy.
719 *
720 * @return 0 on success; nonzero on failure.
721 */
722static int
723boot_copy_sector(int flash_area_id_src, int flash_area_id_dst,
724 uint32_t off_src, uint32_t off_dst, uint32_t sz)
725{
726 const struct flash_area *fap_src;
727 const struct flash_area *fap_dst;
728 uint32_t bytes_copied;
729 int chunk_sz;
730 int rc;
731
732 static uint8_t buf[1024];
733
734 fap_src = NULL;
735 fap_dst = NULL;
736
737 rc = flash_area_open(flash_area_id_src, &fap_src);
738 if (rc != 0) {
739 rc = BOOT_EFLASH;
740 goto done;
741 }
742
743 rc = flash_area_open(flash_area_id_dst, &fap_dst);
744 if (rc != 0) {
745 rc = BOOT_EFLASH;
746 goto done;
747 }
748
749 bytes_copied = 0;
750 while (bytes_copied < sz) {
751 if (sz - bytes_copied > sizeof buf) {
752 chunk_sz = sizeof buf;
753 } else {
754 chunk_sz = sz - bytes_copied;
755 }
756
757 rc = flash_area_read(fap_src, off_src + bytes_copied, buf, chunk_sz);
758 if (rc != 0) {
759 rc = BOOT_EFLASH;
760 goto done;
761 }
762
763 rc = flash_area_write(fap_dst, off_dst + bytes_copied, buf, chunk_sz);
764 if (rc != 0) {
765 rc = BOOT_EFLASH;
766 goto done;
767 }
768
769 bytes_copied += chunk_sz;
770 }
771
772 rc = 0;
773
774done:
775 flash_area_close(fap_src);
776 flash_area_close(fap_dst);
777 return rc;
778}
779
780/**
781 * Swaps the contents of two flash regions within the two image slots.
782 *
783 * @param idx The index of the first sector in the range of
784 * sectors being swapped.
785 * @param sz The number of bytes to swap.
786 * @param bs The current boot status. This struct gets
787 * updated according to the outcome.
788 *
789 * @return 0 on success; nonzero on failure.
790 */
791static int
792boot_swap_sectors(int idx, uint32_t sz, struct boot_status *bs)
793{
794 uint32_t copy_sz;
795 uint32_t img_off;
796 int rc;
797
798 /* Calculate offset from start of image area. */
799 img_off = boot_data.imgs[0].sectors[idx].fa_off -
800 boot_data.imgs[0].sectors[0].fa_off;
801
802 if (bs->state == 0) {
803 rc = boot_erase_sector(FLASH_AREA_IMAGE_SCRATCH, 0, sz);
804 if (rc != 0) {
805 return rc;
806 }
807
808 rc = boot_copy_sector(FLASH_AREA_IMAGE_1, FLASH_AREA_IMAGE_SCRATCH,
809 img_off, 0, sz);
810 if (rc != 0) {
811 return rc;
812 }
813
814 bs->state = 1;
815 (void)boot_write_status(bs);
816 }
817 if (bs->state == 1) {
818 rc = boot_erase_sector(FLASH_AREA_IMAGE_1, img_off, sz);
819 if (rc != 0) {
820 return rc;
821 }
822
823 copy_sz = sz;
824 if (boot_data.imgs[0].sectors[idx].fa_off + sz >=
825 boot_data.imgs[1].sectors[0].fa_off) {
826
827 /* This is the end of the area. Don't copy the image state into
828 * slot 1.
829 */
830 copy_sz -= boot_trailer_sz(boot_data.write_sz);
831 }
832
833 rc = boot_copy_sector(FLASH_AREA_IMAGE_0, FLASH_AREA_IMAGE_1,
834 img_off, img_off, copy_sz);
835 if (rc != 0) {
836 return rc;
837 }
838
839 bs->state = 2;
840 (void)boot_write_status(bs);
841 }
842 if (bs->state == 2) {
843 rc = boot_erase_sector(FLASH_AREA_IMAGE_0, img_off, sz);
844 if (rc != 0) {
845 return rc;
846 }
847
848 rc = boot_copy_sector(FLASH_AREA_IMAGE_SCRATCH, FLASH_AREA_IMAGE_0,
849 0, img_off, sz);
850 if (rc != 0) {
851 return rc;
852 }
853
854 bs->idx++;
855 bs->state = 0;
856 (void)boot_write_status(bs);
857 }
858
859 return 0;
860}
861
862/**
863 * Swaps the two images in flash. If a prior copy operation was interrupted
864 * by a system reset, this function completes that operation.
865 *
866 * @param bs The current boot status. This function reads
867 * this struct to determine if it is resuming
868 * an interrupted swap operation. This
869 * function writes the updated status to this
870 * function on return.
871 *
872 * @return 0 on success; nonzero on failure.
873 */
874static int
875boot_copy_image(struct boot_status *bs)
876{
877 uint32_t sz;
878 int first_sector_idx;
879 int last_sector_idx;
880 int swap_idx;
881
882 swap_idx = 0;
Christopher Collins0ff3c6c2016-12-21 12:04:17 -0800883 last_sector_idx = boot_data.imgs[0].num_sectors - 1;
Christopher Collins92ea77f2016-12-12 15:59:26 -0800884 while (last_sector_idx >= 0) {
885 sz = boot_copy_sz(last_sector_idx, &first_sector_idx);
886 if (swap_idx >= bs->idx) {
887 boot_swap_sectors(first_sector_idx, sz, bs);
888 }
889
890 last_sector_idx = first_sector_idx - 1;
891 swap_idx++;
892 }
893
894 return 0;
895}
896
897/**
898 * Marks a test image in slot 0 as fully copied.
899 */
900static int
901boot_finalize_test_swap(void)
902{
903 const struct flash_area *fap;
904 int rc;
905
906 rc = flash_area_open(FLASH_AREA_IMAGE_0, &fap);
907 if (rc != 0) {
908 return BOOT_EFLASH;
909 }
910
911 rc = boot_write_copy_done(fap);
912 if (rc != 0) {
913 return rc;
914 }
915
916 return 0;
917}
918
919/**
920 * Marks a reverted image in slot 0 as confirmed. This is necessary to ensure
921 * the status bytes from the image revert operation don't get processed on a
922 * subsequent boot.
923 */
924static int
925boot_finalize_revert_swap(void)
926{
927 const struct flash_area *fap;
928 struct boot_swap_state state_slot0;
929 int rc;
930
931 rc = flash_area_open(FLASH_AREA_IMAGE_0, &fap);
932 if (rc != 0) {
933 return BOOT_EFLASH;
934 }
935
936 rc = boot_read_swap_state(fap, &state_slot0);
937 if (rc != 0) {
938 return BOOT_EFLASH;
939 }
940
941 if (state_slot0.magic == BOOT_MAGIC_UNSET) {
942 rc = boot_write_magic(fap);
943 if (rc != 0) {
944 return rc;
945 }
946 }
947
948 if (state_slot0.copy_done == 0xff) {
949 rc = boot_write_copy_done(fap);
950 if (rc != 0) {
951 return rc;
952 }
953 }
954
955 if (state_slot0.image_ok == 0xff) {
956 rc = boot_write_image_ok(fap);
957 if (rc != 0) {
958 return rc;
959 }
960 }
961
962 return 0;
963}
964
965/**
Christopher Collins0ff3c6c2016-12-21 12:04:17 -0800966 * Performs an image swap if one is required.
967 *
968 * @param out_swap_type On success, the type of swap performed gets
969 * written here.
970 *
971 * @return 0 on success; nonzero on failure.
972 */
973static int
974boot_swap_if_needed(int *out_swap_type)
975{
976 struct boot_status bs;
977 int swap_type;
978 int rc;
979
980 /* Determine if we rebooted in the middle of an image swap
981 * operation.
982 */
983 rc = boot_read_status(&bs);
984 if (rc != 0) {
985 return rc;
986 }
987
988 /* If a partial swap was detected, complete it. */
989 if (bs.idx != 0 || bs.state != 0) {
990 rc = boot_copy_image(&bs);
991 assert(rc == 0);
992
993 /* Extrapolate the type of the partial swap. We need this
994 * information to know how to mark the swap complete in flash.
995 */
996 swap_type = boot_previous_swap_type();
997 } else {
998 swap_type = boot_validated_swap_type();
999 switch (swap_type) {
1000 case BOOT_SWAP_TYPE_TEST:
Christopher Collinsfd7eb5c2016-12-21 13:46:08 -08001001 case BOOT_SWAP_TYPE_PERM:
Christopher Collins0ff3c6c2016-12-21 12:04:17 -08001002 case BOOT_SWAP_TYPE_REVERT:
1003 rc = boot_copy_image(&bs);
1004 assert(rc == 0);
1005 break;
1006 }
1007 }
1008
1009 *out_swap_type = swap_type;
1010 return 0;
1011}
1012
1013/**
Christopher Collins92ea77f2016-12-12 15:59:26 -08001014 * Prepares the booting process. This function moves images around in flash as
1015 * appropriate, and tells you what address to boot from.
1016 *
1017 * @param rsp On success, indicates how booting should occur.
1018 *
1019 * @return 0 on success; nonzero on failure.
1020 */
1021int
1022boot_go(struct boot_rsp *rsp)
1023{
Christopher Collins92ea77f2016-12-12 15:59:26 -08001024 int swap_type;
1025 int slot;
1026 int rc;
1027
1028 /* The array of slot sectors are defined here (as opposed to file scope) so
1029 * that they don't get allocated for non-boot-loader apps. This is
1030 * necessary because the gcc option "-fdata-sections" doesn't seem to have
Christopher Collins0ff3c6c2016-12-21 12:04:17 -08001031 * any effect in older gcc versions (e.g., 4.8.4).
Christopher Collins92ea77f2016-12-12 15:59:26 -08001032 */
1033 static struct flash_area slot0_sectors[BOOT_MAX_IMG_SECTORS];
1034 static struct flash_area slot1_sectors[BOOT_MAX_IMG_SECTORS];
1035 boot_data.imgs[0].sectors = slot0_sectors;
1036 boot_data.imgs[1].sectors = slot1_sectors;
1037
1038 /* Determine the sector layout of the image slots and scratch area. */
1039 rc = boot_read_sectors();
1040 if (rc != 0) {
1041 return rc;
1042 }
1043
1044 /* Attempt to read an image header from each slot. */
1045 rc = boot_read_image_headers();
1046 if (rc != 0) {
1047 return rc;
1048 }
1049
Christopher Collins0ff3c6c2016-12-21 12:04:17 -08001050 /* If the image slots aren't compatible, no swap is possible. Just boot
1051 * into slot 0.
1052 */
1053 if (boot_slots_compatible()) {
1054 rc = boot_swap_if_needed(&swap_type);
1055 if (rc != 0) {
1056 return rc;
Christopher Collins92ea77f2016-12-12 15:59:26 -08001057 }
Christopher Collins0ff3c6c2016-12-21 12:04:17 -08001058 } else {
1059 swap_type = BOOT_SWAP_TYPE_NONE;
Christopher Collins92ea77f2016-12-12 15:59:26 -08001060 }
1061
1062 switch (swap_type) {
1063 case BOOT_SWAP_TYPE_NONE:
David Brownd930ec62016-12-14 07:59:48 -07001064#ifdef BOOTUTIL_VALIDATE_SLOT0
1065 rc = boot_validate_slot(0);
1066 if (rc != 0) {
1067 return BOOT_EBADIMAGE;
1068 }
1069#endif
Christopher Collins92ea77f2016-12-12 15:59:26 -08001070 slot = 0;
1071 break;
1072
1073 case BOOT_SWAP_TYPE_TEST:
Christopher Collinsfd7eb5c2016-12-21 13:46:08 -08001074 case BOOT_SWAP_TYPE_PERM:
Christopher Collins92ea77f2016-12-12 15:59:26 -08001075 slot = 1;
1076 boot_finalize_test_swap();
1077 break;
1078
1079 case BOOT_SWAP_TYPE_REVERT:
1080 slot = 1;
1081 boot_finalize_revert_swap();
1082 break;
1083
1084 case BOOT_SWAP_TYPE_FAIL:
1085 /* The image in slot 1 was invalid and is now erased. Ensure we don't
1086 * try to boot into it again on the next reboot. Do this by pretending
1087 * we just reverted back to slot 0.
1088 */
1089 slot = 0;
1090 boot_finalize_revert_swap();
1091 break;
1092
1093 default:
1094 assert(0);
1095 slot = 0;
1096 break;
1097 }
1098
1099 /* Always boot from the primary slot. */
1100 rsp->br_flash_id = boot_data.imgs[0].sectors[0].fa_device_id;
1101 rsp->br_image_addr = boot_data.imgs[0].sectors[0].fa_off;
1102 rsp->br_hdr = &boot_data.imgs[slot].hdr;
1103
1104 return 0;
1105}
1106
1107int
1108split_go(int loader_slot, int split_slot, void **entry)
1109{
1110 const struct flash_area *loader_fap;
1111 const struct flash_area *app_fap;
1112 struct flash_area *sectors;
Christopher Collins034a6202017-01-11 12:19:37 -08001113 uintptr_t entry_val;
Christopher Collins92ea77f2016-12-12 15:59:26 -08001114 int loader_flash_id;
1115 int app_flash_id;
1116 int rc;
1117
1118 app_fap = NULL;
1119 loader_fap = NULL;
1120
1121 sectors = malloc(BOOT_MAX_IMG_SECTORS * 2 * sizeof *sectors);
1122 if (sectors == NULL) {
1123 rc = SPLIT_GO_ERR;
1124 goto done;
1125 }
1126 boot_data.imgs[0].sectors = sectors + 0;
1127 boot_data.imgs[1].sectors = sectors + BOOT_MAX_IMG_SECTORS;
1128
1129 /* Determine the sector layout of the image slots and scratch area. */
1130 rc = boot_read_sectors();
1131 if (rc != 0) {
1132 rc = SPLIT_GO_ERR;
1133 goto done;
1134 }
1135
1136 rc = boot_read_image_headers();
1137 if (rc != 0) {
1138 goto done;
1139 }
1140
1141 app_flash_id = flash_area_id_from_image_slot(split_slot);
1142 rc = flash_area_open(app_flash_id, &app_fap);
1143 if (rc != 0) {
1144 rc = BOOT_EFLASH;
1145 goto done;
1146 }
1147
1148 loader_flash_id = flash_area_id_from_image_slot(loader_slot);
1149 rc = flash_area_open(loader_flash_id, &loader_fap);
1150 if (rc != 0) {
1151 rc = BOOT_EFLASH;
1152 goto done;
1153 }
1154
1155 /* Don't check the bootable image flag because we could really call a
1156 * bootable or non-bootable image. Just validate that the image check
1157 * passes which is distinct from the normal check.
1158 */
1159 rc = split_image_check(&boot_data.imgs[split_slot].hdr,
1160 app_fap,
1161 &boot_data.imgs[loader_slot].hdr,
1162 loader_fap);
1163 if (rc != 0) {
1164 rc = SPLIT_GO_NON_MATCHING;
1165 goto done;
1166 }
1167
1168 entry_val = boot_data.imgs[split_slot].sectors[0].fa_off +
1169 boot_data.imgs[split_slot].hdr.ih_hdr_size;
Christopher Collins034a6202017-01-11 12:19:37 -08001170 *entry = (void *) entry_val;
Christopher Collins92ea77f2016-12-12 15:59:26 -08001171 rc = SPLIT_GO_OK;
1172
1173done:
1174 free(sectors);
1175 flash_area_close(app_fap);
1176 flash_area_close(loader_fap);
1177 return rc;
1178}