Dominik Ermel | 8101c0c | 2020-05-19 13:01:16 +0000 | [diff] [blame] | 1 | /* |
| 2 | * SPDX-License-Identifier: Apache-2.0 |
| 3 | * |
| 4 | * Copyright (c) 2020 Nordic Semiconductor ASA |
Tamas Ban | ee6615d | 2020-09-30 07:58:48 +0100 | [diff] [blame] | 5 | * Copyright (c) 2020 Arm Limited |
Dominik Ermel | 8101c0c | 2020-05-19 13:01:16 +0000 | [diff] [blame] | 6 | */ |
| 7 | |
| 8 | #include <assert.h> |
| 9 | #include "bootutil/image.h" |
| 10 | #include "bootutil_priv.h" |
| 11 | #include "bootutil/bootutil_log.h" |
Jamie McCrae | c9fa608 | 2023-07-21 10:23:17 +0100 | [diff] [blame] | 12 | #include "bootutil/bootutil_public.h" |
Tamas Ban | ee6615d | 2020-09-30 07:58:48 +0100 | [diff] [blame] | 13 | #include "bootutil/fault_injection_hardening.h" |
Dominik Ermel | 8101c0c | 2020-05-19 13:01:16 +0000 | [diff] [blame] | 14 | |
| 15 | #include "mcuboot_config/mcuboot_config.h" |
| 16 | |
Carlos Falgueras GarcĂa | a4b4b0f | 2021-06-22 10:00:22 +0200 | [diff] [blame] | 17 | BOOT_LOG_MODULE_DECLARE(mcuboot); |
Dominik Ermel | 8101c0c | 2020-05-19 13:01:16 +0000 | [diff] [blame] | 18 | |
| 19 | /* Variables passed outside of unit via poiters. */ |
| 20 | static const struct flash_area *_fa_p; |
| 21 | static struct image_header _hdr = { 0 }; |
| 22 | |
Wouter Cappelle | 953a761 | 2021-05-03 16:53:05 +0200 | [diff] [blame] | 23 | #if defined(MCUBOOT_VALIDATE_PRIMARY_SLOT) || defined(MCUBOOT_VALIDATE_PRIMARY_SLOT_ONCE) |
Dominik Ermel | 8101c0c | 2020-05-19 13:01:16 +0000 | [diff] [blame] | 24 | /** |
| 25 | * Validate hash of a primary boot image. |
| 26 | * |
| 27 | * @param[in] fa_p flash area pointer |
| 28 | * @param[in] hdr boot image header pointer |
| 29 | * |
Tamas Ban | ee6615d | 2020-09-30 07:58:48 +0100 | [diff] [blame] | 30 | * @return FIH_SUCCESS on success, error code otherwise |
Dominik Ermel | 8101c0c | 2020-05-19 13:01:16 +0000 | [diff] [blame] | 31 | */ |
Michael Grand | 5047f03 | 2022-11-24 16:49:56 +0100 | [diff] [blame] | 32 | fih_ret |
Dominik Ermel | 8101c0c | 2020-05-19 13:01:16 +0000 | [diff] [blame] | 33 | boot_image_validate(const struct flash_area *fa_p, |
| 34 | struct image_header *hdr) |
| 35 | { |
| 36 | static uint8_t tmpbuf[BOOT_TMPBUF_SZ]; |
Michael Grand | 5047f03 | 2022-11-24 16:49:56 +0100 | [diff] [blame] | 37 | FIH_DECLARE(fih_rc, FIH_FAILURE); |
Dominik Ermel | 8101c0c | 2020-05-19 13:01:16 +0000 | [diff] [blame] | 38 | |
Dominik Ermel | d8db025 | 2020-10-07 11:22:45 +0000 | [diff] [blame] | 39 | /* NOTE: The first argument to boot_image_validate, for enc_state pointer, |
| 40 | * is allowed to be NULL only because the single image loader compiles |
| 41 | * with BOOT_IMAGE_NUMBER == 1, which excludes the code that uses |
| 42 | * the pointer from compilation. |
Dominik Ermel | 8101c0c | 2020-05-19 13:01:16 +0000 | [diff] [blame] | 43 | */ |
| 44 | /* Validate hash */ |
Wouter Cappelle | 7679215 | 2022-01-19 17:28:55 +0100 | [diff] [blame] | 45 | if (IS_ENCRYPTED(hdr)) |
Wouter Cappelle | 953a761 | 2021-05-03 16:53:05 +0200 | [diff] [blame] | 46 | { |
| 47 | /* Clear the encrypted flag we didn't supply a key |
| 48 | * This flag could be set if there was a decryption in place |
| 49 | * was performed. We will try to validate the image, and if still |
| 50 | * encrypted the validation will fail, and go in panic mode |
| 51 | */ |
Wouter Cappelle | 7679215 | 2022-01-19 17:28:55 +0100 | [diff] [blame] | 52 | hdr->ih_flags &= ~(ENCRYPTIONFLAGS); |
Wouter Cappelle | 953a761 | 2021-05-03 16:53:05 +0200 | [diff] [blame] | 53 | } |
Tamas Ban | ee6615d | 2020-09-30 07:58:48 +0100 | [diff] [blame] | 54 | FIH_CALL(bootutil_img_validate, fih_rc, NULL, 0, hdr, fa_p, tmpbuf, |
| 55 | BOOT_TMPBUF_SZ, NULL, 0, NULL); |
Dominik Ermel | 8101c0c | 2020-05-19 13:01:16 +0000 | [diff] [blame] | 56 | |
Tamas Ban | ee6615d | 2020-09-30 07:58:48 +0100 | [diff] [blame] | 57 | FIH_RET(fih_rc); |
Dominik Ermel | 8101c0c | 2020-05-19 13:01:16 +0000 | [diff] [blame] | 58 | } |
Wouter Cappelle | 953a761 | 2021-05-03 16:53:05 +0200 | [diff] [blame] | 59 | #endif /* MCUBOOT_VALIDATE_PRIMARY_SLOT || MCUBOOT_VALIDATE_PRIMARY_SLOT_ONCE*/ |
Dominik Ermel | 8101c0c | 2020-05-19 13:01:16 +0000 | [diff] [blame] | 60 | |
Michael Grand | 5047f03 | 2022-11-24 16:49:56 +0100 | [diff] [blame] | 61 | inline static fih_ret |
Wouter Cappelle | bb7a39d | 2021-05-03 16:44:44 +0200 | [diff] [blame] | 62 | boot_image_validate_once(const struct flash_area *fa_p, |
| 63 | struct image_header *hdr) |
| 64 | { |
| 65 | static struct boot_swap_state state; |
| 66 | int rc; |
Michael Grand | 5047f03 | 2022-11-24 16:49:56 +0100 | [diff] [blame] | 67 | FIH_DECLARE(fih_rc, FIH_FAILURE); |
Wouter Cappelle | bb7a39d | 2021-05-03 16:44:44 +0200 | [diff] [blame] | 68 | |
| 69 | memset(&state, 0, sizeof(struct boot_swap_state)); |
| 70 | rc = boot_read_swap_state(fa_p, &state); |
| 71 | if (rc != 0) |
| 72 | FIH_RET(FIH_FAILURE); |
| 73 | if (state.magic != BOOT_MAGIC_GOOD |
| 74 | || state.image_ok != BOOT_FLAG_SET) { |
| 75 | /* At least validate the image once */ |
| 76 | FIH_CALL(boot_image_validate, fih_rc, fa_p, hdr); |
Michael Grand | 5047f03 | 2022-11-24 16:49:56 +0100 | [diff] [blame] | 77 | if (FIH_NOT_EQ(fih_rc, FIH_SUCCESS)) { |
Wouter Cappelle | bb7a39d | 2021-05-03 16:44:44 +0200 | [diff] [blame] | 78 | FIH_RET(FIH_FAILURE); |
| 79 | } |
| 80 | if (state.magic != BOOT_MAGIC_GOOD) { |
| 81 | rc = boot_write_magic(fa_p); |
| 82 | if (rc != 0) |
| 83 | FIH_RET(FIH_FAILURE); |
| 84 | } |
| 85 | rc = boot_write_image_ok(fa_p); |
| 86 | if (rc != 0) |
| 87 | FIH_RET(FIH_FAILURE); |
| 88 | } |
| 89 | FIH_RET(FIH_SUCCESS); |
| 90 | } |
| 91 | |
Dominik Ermel | 8101c0c | 2020-05-19 13:01:16 +0000 | [diff] [blame] | 92 | /** |
Dominik Ermel | 8101c0c | 2020-05-19 13:01:16 +0000 | [diff] [blame] | 93 | * Gather information on image and prepare for booting. |
| 94 | * |
| 95 | * @parami[out] rsp Parameters for booting image, on success |
| 96 | * |
Tamas Ban | ee6615d | 2020-09-30 07:58:48 +0100 | [diff] [blame] | 97 | * @return FIH_SUCCESS on success; nonzero on failure. |
Dominik Ermel | 8101c0c | 2020-05-19 13:01:16 +0000 | [diff] [blame] | 98 | */ |
Michael Grand | 5047f03 | 2022-11-24 16:49:56 +0100 | [diff] [blame] | 99 | fih_ret |
Dominik Ermel | 8101c0c | 2020-05-19 13:01:16 +0000 | [diff] [blame] | 100 | boot_go(struct boot_rsp *rsp) |
| 101 | { |
| 102 | int rc = -1; |
Michael Grand | 5047f03 | 2022-11-24 16:49:56 +0100 | [diff] [blame] | 103 | FIH_DECLARE(fih_rc, FIH_FAILURE); |
Dominik Ermel | 8101c0c | 2020-05-19 13:01:16 +0000 | [diff] [blame] | 104 | |
| 105 | rc = flash_area_open(FLASH_AREA_IMAGE_PRIMARY(0), &_fa_p); |
| 106 | assert(rc == 0); |
| 107 | |
| 108 | rc = boot_image_load_header(_fa_p, &_hdr); |
| 109 | if (rc != 0) |
| 110 | goto out; |
| 111 | |
| 112 | #ifdef MCUBOOT_VALIDATE_PRIMARY_SLOT |
Tamas Ban | ee6615d | 2020-09-30 07:58:48 +0100 | [diff] [blame] | 113 | FIH_CALL(boot_image_validate, fih_rc, _fa_p, &_hdr); |
Michael Grand | 5047f03 | 2022-11-24 16:49:56 +0100 | [diff] [blame] | 114 | if (FIH_NOT_EQ(fih_rc, FIH_SUCCESS)) { |
Dominik Ermel | 8101c0c | 2020-05-19 13:01:16 +0000 | [diff] [blame] | 115 | goto out; |
| 116 | } |
Wouter Cappelle | bb7a39d | 2021-05-03 16:44:44 +0200 | [diff] [blame] | 117 | #elif defined(MCUBOOT_VALIDATE_PRIMARY_SLOT_ONCE) |
| 118 | FIH_CALL(boot_image_validate_once, fih_rc, _fa_p, &_hdr); |
Michael Grand | 5047f03 | 2022-11-24 16:49:56 +0100 | [diff] [blame] | 119 | if (FIH_NOT_EQ(fih_rc, FIH_SUCCESS)) { |
Wouter Cappelle | bb7a39d | 2021-05-03 16:44:44 +0200 | [diff] [blame] | 120 | goto out; |
| 121 | } |
Tamas Ban | ee6615d | 2020-09-30 07:58:48 +0100 | [diff] [blame] | 122 | #else |
| 123 | fih_rc = FIH_SUCCESS; |
Dominik Ermel | 8101c0c | 2020-05-19 13:01:16 +0000 | [diff] [blame] | 124 | #endif /* MCUBOOT_VALIDATE_PRIMARY_SLOT */ |
| 125 | |
Dominik Ermel | 036d521 | 2021-07-01 11:07:41 +0000 | [diff] [blame] | 126 | rsp->br_flash_dev_id = flash_area_get_device_id(_fa_p); |
| 127 | rsp->br_image_off = flash_area_get_off(_fa_p); |
Dominik Ermel | 8101c0c | 2020-05-19 13:01:16 +0000 | [diff] [blame] | 128 | rsp->br_hdr = &_hdr; |
| 129 | |
| 130 | out: |
| 131 | flash_area_close(_fa_p); |
Tamas Ban | ee6615d | 2020-09-30 07:58:48 +0100 | [diff] [blame] | 132 | |
| 133 | FIH_RET(fih_rc); |
Dominik Ermel | 8101c0c | 2020-05-19 13:01:16 +0000 | [diff] [blame] | 134 | } |