blob: 83e372a04c3e6bce4fb0e6c79a3d96e87192bd2b [file] [log] [blame]
Galanakis, Minos41f85972019-09-30 15:56:40 +01001###########
2Secure boot
3###########
Gyorgy Szingdb9783c2019-04-17 21:08:48 +02004For secure devices it is security critical to enforce firmware authenticity to
5protect against execution of malicious software. This is implemented by building
6a trust chain where each step in the execution chain authenticates the next
7step before execution. The chain of trust in based on a "Root of Trust" which
8is implemented using asymmetric cryptography. The Root of Trust is a combination
9of an immutable bootloader and a public key (ROTPK).
10
Tamas Ban07a11a22019-09-23 13:54:15 +010011.. Warning::
12 In order to implement a proper chain of trust functionality, it is
13 mandatory that the first stage bootloader and ROTPK is stored in an
14 **immutable** way. To achieve this the bootloader code must be stored and
15 executed from ROM or such part of flash memory which supports write
16 protection. ROTPK can be stored in a one-time-programmable (OTP) memory. If
17 the SoC has a built-in BL1 (immutable) bootloader and the immutability of
18 TF-M secure boot code is not guaranteed then TF-M secure boot code must be
19 authenticated by BL1 bootloader before execution. If immutability of root
20 of trust (first stage bootloader + ROTPK) is not ensured then there is a
21 risk that the secure boot process could be bypassed, which could lead to
22 arbitrary code execution on the device. Current TF-M secure boot code is
23 intended to be a second stage bootloader, therefore it requires
24 authentication before execution. If TF-M secure boot code is used as a first
25 stage bootloader then it must be stored according to the above requirements.
26
Gyorgy Szingdb9783c2019-04-17 21:08:48 +020027*******************************
28Second stage bootloader in TF-M
29*******************************
30To implement secure boot functionality an external project MCUBoot has been
31integrated to TF-M. For further information please refer to the
David Vincze8a2a4e22019-05-24 10:14:23 +020032`MCUBoot homepage <https://www.mcuboot.com/>`__. Original source-code is
33available at `GitHub <https://github.com/JuulLabs-OSS/mcuboot>`__. This document
34contains information about MCUBoot modifications and how MCUBoot has been
35integrated to TF-M.
Gyorgy Szingdb9783c2019-04-17 21:08:48 +020036
37Bootloader is started when CPU is released from reset. It runs in secure mode.
38It authenticates the firmware image by hash (SHA-256) and digital signature
David Vincze9c609012019-08-22 13:37:21 +020039(RSA-3072) validation. Public key, that the checks happens against, can be built
40into the bootloader image or can be provisioned to the SoC during manufacturing.
41Metadata of the image is delivered together with the image itself in a header
42and trailer section. In case of successful authentication, bootloader passes
43execution to the secure image. Execution never returns to bootloader until
44next reset.
Gyorgy Szingdb9783c2019-04-17 21:08:48 +020045
46A default RSA key pair is stored in the repository, public key is in ``keys.c``
Tamas Ban7801ed42019-05-20 13:21:53 +010047and private key is in ``root-rsa-3072.pem``.
Gyorgy Szingdb9783c2019-04-17 21:08:48 +020048
David Vincze8a2a4e22019-05-24 10:14:23 +020049.. Warning::
50 DO NOT use them in production code, they are exclusively for testing!
Gyorgy Szingdb9783c2019-04-17 21:08:48 +020051
52Private key must be stored in a safe place outside of the repository.
53``Imgtool.py`` can be used to generate new key pairs.
54
David Vincze9c609012019-08-22 13:37:21 +020055The bootloader can handle the secure and non-secure images independently
56(multiple image boot) or together (single image boot). In case of multiple image
57boot they are signed independently with different keys and they can be updated
58separately. In case of single image boot the secure and non-secure image is
59handled as a single blob, therefore they must be contiguous in the device
60memory. In this case they are signed together and also they can be updated only
61together. In order to have the same artefacts at the end of the build regardless
62of how the images are handled (independently or together) the images are always
63concatenated. In case of single image boot they are concatenated first and then
64signed. In case of multiple image boot they are separately signed first and then
65concatenated. Preparation of payload is done by Python scripts:
66``bl2/ext/mcuboot/scripts/``. At the end of a successful build the signed TF-M
67payload can be found in: ``<build_dir>/install/outputs/fvp/tfm_sign.bin``
Gyorgy Szingdb9783c2019-04-17 21:08:48 +020068
69*********************
70Integration with TF-M
71*********************
72MCUBoot assumes a predefined memory layout which is described below (applicable
David Vincze8bdfc2d2019-03-18 15:49:23 +010073for AN521). It is mandatory to define the primary slot and the secondary slot
David Vincze9c609012019-08-22 13:37:21 +020074partitions, but their size and location can be changed::
Gyorgy Szingdb9783c2019-04-17 21:08:48 +020075
76 - 0x0000_0000 - 0x0007_FFFF: BL2 bootloader - MCUBoot
David Vincze8bdfc2d2019-03-18 15:49:23 +010077 - 0x0008_0000 - 0x000F_FFFF: Primary slot : Single binary blob:
78 Secure + Non-Secure image;
79 Primary memory partition
Gyorgy Szingdb9783c2019-04-17 21:08:48 +020080 - 0x0008_0000 - 0x0008_03FF: Common image header
81 - 0x0008_0400 - 0x0008_xxxx: Secure image
82 - 0x0008_xxxx - 0x0010_03FF: Padding (with 0xFF)
83 - 0x0010_0400 - 0x0010_xxxx: Non-secure image
David Vincze9c609012019-08-22 13:37:21 +020084 - 0x0010_xxxx - 0x0010_xxxx: Hash value(SHA256), RSA signature and other
85 metadata of combined image
David Vincze8a2a4e22019-05-24 10:14:23 +020086
David Vincze8bdfc2d2019-03-18 15:49:23 +010087 - 0x0018_0000 - 0x0027_FFFF: Secondary slot : Secure + Non-Secure image;
88 Secondary memory partition, structured
89 identically to the primary slot
David Vincze9c609012019-08-22 13:37:21 +020090 - 0x0028_0000 - 0x0037_FFFF: Scratch area, only used during image
91 swapping
92
93Multiple image boot requires a slightly different layout::
94
95 - 0x0000_0000 - 0x0007_FFFF: BL2 bootloader - MCUBoot
96 - 0x0008_0000 - 0x000F_FFFF: Primary slot : Secure image
97 - 0x0008_0000 - 0x0008_03FF: Secure image header
98 - 0x0008_0400 - 0x000x_xxxx: Secure image
99 - 0x000x_xxxx - 0x000x_xxxx: Hash value(SHA256), RSA signature and other
100 metadata of secure image
101
102 - 0x0010_0000 - 0x0017_FFFF: Primary slot : Non-secure image
103 - 0x0010_0000 - 0x0010_03FF: Non-secure image header
104 - 0x0010_0400 - 0x001x_xxxx: Non-secure image
105 - 0x001x_xxxx - 0x001x_xxxx: Hash value(SHA256), RSA signature and other
106 metadata of non-secure image
107
108 - 0x0018_0000 - 0x001F_FFFF: Secondary slot : Secure image
109 - 0x0020_0000 - 0x0027_FFFF: Secondary slot : Non-secure image
110
111 - 0x0028_0000 - 0x002F_FFFF: Scratch area, only used during image
112 swapping, used for secure and non-secure
113 image as well
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200114
115**************************
116Firmware upgrade operation
117**************************
118MCUBoot handles only the firmware authenticity check after start-up and the
119firmware switch part of the firmware update process. Downloading the new version
David Vincze8a2a4e22019-05-24 10:14:23 +0200120of the firmware is out-of-scope for MCUBoot. MCUBoot supports three different
121ways to switch to the new firmware and it is assumed that firmware images are
122executed-in-place (XIP). The default behaviour is the overwrite-based image
David Vincze8bdfc2d2019-03-18 15:49:23 +0100123upgrade. In this case the active firmware is always executed from the primary
124slot and the secondary slot is a staging area for new images. Before executing
125the new firmware image, the content of the primary slot must be overwritten with
126the content of the secondary slot (the new firmware image). The second option is
127the image swapping strategy when the content of the two memory slots must be
128physically swapped. This needs the scratch area to be defined in the memory
129layout. The third option is the non-swapping version, which eliminates the
130complexity of image swapping and its administration. Active image can be
131executed from either memory slot, but new firmware must be linked to the address
132space of the proper (currently inactive) memory slot.
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200133
David Vincze8a2a4e22019-05-24 10:14:23 +0200134Overwrite operation
Tamas Bane7efdc62019-06-05 13:14:52 +0100135===================
David Vincze8bdfc2d2019-03-18 15:49:23 +0100136Active image is stored in the primary slot, and this image is started always by
137the bootloader. Therefore images must be linked to the primary slot. If the
138bootloader finds a valid image in the secondary slot, which is marked for
139upgrade, then the content of the primary slot will be simply overwritten with
140the content of the secondary slot, before starting the new image from the
141primary slot. After the content of the primary slot has been successfully
142overwritten, the header and trailer of the new image in the secondary slot is
David Vincze9c609012019-08-22 13:37:21 +0200143erased to prevent the triggering of another unnecessary image upgrade after a
David Vincze8bdfc2d2019-03-18 15:49:23 +0100144restart. The overwrite operation is fail-safe and resistant to power-cut
145failures. For more details please refer to the MCUBoot
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200146`documentation <https://www.mcuboot.com/mcuboot/design.html>`__.
147
David Vincze8a2a4e22019-05-24 10:14:23 +0200148Swapping operation
149==================
150This operation can be set with the ``MCUBOOT_UPGRADE_STRATEGY`` compile time
151switch (see `Build time configuration`_). With swapping image upgrade strategy
David Vincze8bdfc2d2019-03-18 15:49:23 +0100152the active image is also stored in the primary slot and it will always be
153started by the bootloader. If the bootloader finds a valid image in the
154secondary slot, which is marked for upgrade, then contents of the primary slot
155and the secondary slot will be swapped, before starting the new image from the
156primary slot. Scratch area is used as a temporary storage place during image
157swapping. Update mark from the secondary slot is removed when the swapping is
David Vincze8a2a4e22019-05-24 10:14:23 +0200158successful. The boot loader can revert the swapping as a fall-back mechanism to
159recover the previous working firmware version after a faulty update. The swap
160operation is fail-safe and resistant to power-cut failures. For more details
161please refer to the MCUBoot
162`documentation <https://www.mcuboot.com/mcuboot/design.html>`__.
163
164.. Note::
165
166 After a successful image upgrade the firmware can mark itself as "OK" at
167 runtime by setting the image_ok flag in the flash. When this happens, the
168 swap is made "permanent" and MCUBoot will then still choose to run it
169 during the next boot. Currently TF-M does not set the image_ok flag,
170 therefore the bootloader will always perform a "revert" (swap the images
171 back) during the next boot.
172
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200173Non-swapping operation
174======================
David Vincze8a2a4e22019-05-24 10:14:23 +0200175This operation can be set with the ``MCUBOOT_UPGRADE_STRATEGY`` compile time
176switch (see `Build time configuration`_). When enabling non-swapping operation
177then the active image flag is moved between slots during firmware upgrade. If
178firmware is executed-in-place (XIP), then two firmware images must be generated.
David Vincze8bdfc2d2019-03-18 15:49:23 +0100179One of them is linked to be executed from the primary slot memory region and the
180other from the secondary slot. The firmware upgrade client, which downloads the
181new image, must be aware, which slot hosts the active firmware and which acts as
182a staging area and it is responsible for downloading the proper firmware image.
183At boot time MCUBoot inspects the version number in the image header and passes
184execution to the newer firmware version. New image must be marked for upgrade
185which is automatically done by Python scripts at compile time. Image
186verification is done the same way in all operational modes. If new image fails
187during authentication then MCUBoot erases the memory slot and starts the other
188image, after successful authentication.
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200189
190At build time automatically two binaries are generated::
191
David Vincze8bdfc2d2019-03-18 15:49:23 +0100192 <build_dir>/install/outputs/fvp/tfm_s_ns_signed.bin : Image linked for the primary slot memory partition
David Vincze8a2a4e22019-05-24 10:14:23 +0200193
David Vincze8bdfc2d2019-03-18 15:49:23 +0100194 <build_dir>/install/outputs/fvp/tfm_s_ns_signed_1.bin : Image linked for the secondary slot memory partition
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200195
David Vincze9c609012019-08-22 13:37:21 +0200196.. Note::
197
198 Only single image boot is supported with non-swapping upgrade mode.
199
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200200RAM Loading firmware upgrade
201============================
David Vincze8a2a4e22019-05-24 10:14:23 +0200202Musca-A supports an image upgrade mode that is separate to the other (overwrite,
203swapping and non-swapping) modes. This is the ``RAM loading`` mode (please refer
204to the table below). Like the non-swapping mode, this selects the newest image
205by reading the image version numbers in the image headers, but instead of
206executing it in place, the newest image is copied to RAM for execution. The load
207address, the location in RAM where the image is copied to, is stored in the
208image header.
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200209
David Vincze9c609012019-08-22 13:37:21 +0200210.. Note::
211
212 Only single image boot is supported with RAM loading upgrade mode.
213
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200214Summary of different modes for image upgrade
215============================================
216Different implementations of the image upgrade operation (whether through
David Vincze8a2a4e22019-05-24 10:14:23 +0200217overwriting, swapping, non-swapping or loading into RAM and executing from
218there) are supported by the platforms. The table below shows which of these
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200219modes are supported by which platforms:
220
David Vincze8a2a4e22019-05-24 10:14:23 +0200221+----------+-----------------+----------------------------------------------------------+
222| | Without BL2 [1]_| With BL2 [2]_ |
223+==========+=================+===============+==========+=============+=================+
224| | XIP | XIP | XIP | XIP | Not XIP |
225+----------+-----------------+---------------+----------+-------------+-----------------+
226| | | Overwrite [3]_| Swap [4]_| No-swap [5]_| RAM loading [6]_|
227+----------+-----------------+---------------+----------+-------------+-----------------+
228| AN521 | Yes | Yes | Yes | Yes | No |
229+----------+-----------------+---------------+----------+-------------+-----------------+
230| AN519 | Yes | Yes | Yes | Yes | No |
231+----------+-----------------+---------------+----------+-------------+-----------------+
Marton Berke6fd21f12019-07-02 13:43:07 +0200232| AN539 | Yes | Yes | Yes | Yes | No |
233+----------+-----------------+---------------+----------+-------------+-----------------+
David Vincze8a2a4e22019-05-24 10:14:23 +0200234| Musca-A | No | No | No | No | Yes |
235+----------+-----------------+---------------+----------+-------------+-----------------+
236| Musca-B1 | Yes | No | No | Yes | No |
237+----------+-----------------+---------------+----------+-------------+-----------------+
Kevin Peng0a142112018-09-21 10:42:22 +0800238| AN524 | Yes | No | No | Yes | No |
239+----------+-----------------+---------------+----------+-------------+-----------------+
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200240
241.. [1] To disable BL2, please turn off the ``BL2`` compiler switch in the
David Vincze9c609012019-08-22 13:37:21 +0200242 build configuration file (``bl2/ext/mcuboot/MCUBootConfig.cmake``) or
243 in the command line
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200244
245.. [2] BL2 is enabled by default
246
David Vincze8a2a4e22019-05-24 10:14:23 +0200247.. [3] The image executes in-place (XIP) and is in Overwrite mode for image
248 update by default
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200249
David Vincze8a2a4e22019-05-24 10:14:23 +0200250.. [4] To enable XIP Swap mode, assign the "SWAP" string to the
David Vincze9c609012019-08-22 13:37:21 +0200251 ``MCUBOOT_UPGRADE_STRATEGY`` configuration variable in the build
David Vincze8a2a4e22019-05-24 10:14:23 +0200252 configuration file, or include this macro definition in the command line
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200253
David Vincze8a2a4e22019-05-24 10:14:23 +0200254.. [5] To enable XIP No-swap, assign the "NO_SWAP" string to the
David Vincze9c609012019-08-22 13:37:21 +0200255 ``MCUBOOT_UPGRADE_STRATEGY`` configuration variable in the build
David Vincze8a2a4e22019-05-24 10:14:23 +0200256 configuration file, or include this macro definition in the command line
257
258.. [6] To enable RAM loading, assign the "RAM_LOADING" string to the
David Vincze9c609012019-08-22 13:37:21 +0200259 ``MCUBOOT_UPGRADE_STRATEGY`` configuration variable in the build
David Vincze8a2a4e22019-05-24 10:14:23 +0200260 configuration file, or include this macro definition in the command line
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200261
David Vincze9c609012019-08-22 13:37:21 +0200262*******************
263Multiple image boot
264*******************
265It is possible to update the firmware images independently to support the
266scenario when secure and non-secure images are provided by different vendors.
267Multiple image boot is supported only together with the overwrite and swap
268firmware upgrade modes.
269
270It is possible to describe the dependencies of the images on each other in
271order to avoid a faulty upgrade when incompatible versions would be installed.
272These dependencies are part of the image manifest area.
273The dependencies are composed from two parts:
274
275 - **Image identifier:** The number of the image which the current image (whose
276 manifest area contains the dependency entry) depends on. The image identifier
277 starts from 0.
278
279 - **Minimum version:** The minimum version of other image must be present on
280 the device by the end of the upgrade (both images might be updated at the
281 same time).
282
283Dependencies can be added to the images at compile time with the following
284compile time switches:
285
286 - ``S_IMAGE_MIN_VER`` It is added to the non-secure image and specifies the
287 minimum required version of the secure image.
288 - ``NS_IMAGE_MIN_VER`` It is added to the secure image and specifies the
289 minimum required version of the non-secure image.
290
291Example of how to provide the secure image minimum version::
292
293 cmake -G"Unix Makefiles" -DTARGET_PLATFORM=AN521 -DCOMPILER=ARMCLANG -DS_IMAGE_MIN_VER=1.2.3+4 ../
294
Tamas Ban7801ed42019-05-20 13:21:53 +0100295********************
296Signature algorithms
297********************
298MbedTLS library is used to sign the images. The list of supported signing
299algorithms:
Tamas Bane7efdc62019-06-05 13:14:52 +0100300
301 - `RSA-2048`
302 - `RSA-3072`: default
303
David Vincze9c609012019-08-22 13:37:21 +0200304Example keys stored in:
305
306 - ``root-rsa-2048.pem`` : Used to sign single image (S+NS) or secure image
307 in case of multiple image boot
308 - ``root-rsa-2048_1.pem`` : Used to sign non-secure image in case of multiple
309 image boot
310 - ``root-rsa-3072.pem`` : Used to sign single image (S+NS) or secure image
311 in case of multiple image boot
312 - ``root-rsa-3072_1.pem`` : Used to sign non-secure image in case of multiple
313 image boot
Tamas Ban7801ed42019-05-20 13:21:53 +0100314
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200315************************
316Build time configuration
317************************
David Vincze9c609012019-08-22 13:37:21 +0200318MCUBoot related compile time switches can be set in the build configuration
319file::
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200320
David Vincze9c609012019-08-22 13:37:21 +0200321 bl2/ext/mcuboot/MCUBootConfig.cmake
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200322
323Compile time switches:
324
325- BL2 (default: True):
326 - **True:** TF-M built together with bootloader. MCUBoot is executed after
327 reset and it authenticates TF-M and starts secure code.
328 - **False:** TF-M built without bootloader. Secure image linked to the
329 beginning of the device memory and executed after reset. If it is false
David Vincze9c609012019-08-22 13:37:21 +0200330 then using any of the further compile time switches is invalid.
David Vincze8a2a4e22019-05-24 10:14:23 +0200331- MCUBOOT_UPGRADE_STRATEGY (default: "OVERWRITE_ONLY"):
332 - **"OVERWRITE_ONLY":** Default firmware upgrade operation with overwrite.
333 - **"SWAP":** Activate swapping firmware upgrade operation.
334 - **"NO_SWAP":** Activate non-swapping firmware upgrade operation.
335 - **"RAM_LOADING":** Activate RAM loading firmware upgrade operation, where
David Vincze9c609012019-08-22 13:37:21 +0200336 the latest image is copied to RAM and runs from there instead of being
David Vincze8a2a4e22019-05-24 10:14:23 +0200337 executed in-place.
Tamas Ban7801ed42019-05-20 13:21:53 +0100338- MCUBOOT_SIGNATURE_TYPE (default: RSA-3072):
David Vincze9c609012019-08-22 13:37:21 +0200339 - **RSA-3072:** Image is signed with RSA-3072 algorithm
340 - **RSA-2048:** Image is signed with RSA-2048 algorithm
341- MCUBOOT_IMAGE_NUMBER (default: 2):
342 - **1:** Single image boot, secure and non-secure images are signed and
343 updated together.
344 - **2:** Multiple image boot, secure and non-secure images are signed and
345 updatable independently.
346- MCUBOOT_HW_KEY (default: True):
347 - **True:** The hash of public key is provisioned to the SoC and the image
348 manifest contains the whole public key. MCUBoot validates the key before
349 using it for firmware authentication, it calculates the hash of public key
350 from the manifest and compare against the retrieved key-hash from the
351 hardware. This way MCUBoot is independent from the public key(s).
352 Key(s) can be provisioned any time and by different parties.
353 - **False:** The whole public key is embedded to the bootloader code and the
354 image manifest contains only the hash of the public key. MCUBoot validates
355 the key before using it for firmware authentication, it calculates the
356 hash of built-in public key and compare against the retrieved key-hash
357 from the image manifest. After this the bootloader can verify that the
358 image was signed with a private key that corresponds to the retrieved
359 key-hash (it can have more public keys embedded in and it may have to look
360 for the matching one). All the public key(s) must be known at MCUBoot
361 build time.
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200362
363Image versioning
364================
David Vincze9c609012019-08-22 13:37:21 +0200365An image version number is written to its header by one of the Python scripts,
David Vincze8a2a4e22019-05-24 10:14:23 +0200366and this number is used by the bootloader when the non-swapping or RAM loading
David Vincze9c609012019-08-22 13:37:21 +0200367mode is enabled. It is also used in case of multiple image boot when the
368bootloader checks the image dependencies if any have been added to the images.
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200369
David Vincze9c609012019-08-22 13:37:21 +0200370The version number of the image (single image boot) can manually be passed in
371through the command line in the cmake configuration step::
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200372
373 cmake -G"Unix Makefiles" -DTARGET_PLATFORM=AN521 -DCOMPILER=ARMCLANG -DIMAGE_VERSION=1.2.3+4 ../
374
375Alternatively, the version number can be less specific (e.g 1, 1.2, or 1.2.3),
376where the missing numbers are automatically set to zero. The image version
377number argument is optional, and if it is left out, then the version numbers of
378the image(s) being built in the same directory will automatically change. In
379this case, the last component (the build number) automatically increments from
380the previous one: 0.0.0+1 -> 0.0.0+2, for as many times as the build is re-ran,
381**until a number is explicitly provided**. If automatic versioning is in place
382and then an image version number is provided for the first time, the new number
383will take precedence and be used instead. All subsequent image versions are
384then set to the last number that has been specified, and the build number would
385stop incrementing. Any new version numbers that are provided will overwrite
386the previous one: 0.0.0+1 -> 0.0.0+2. Note: To re-apply automatic image
387versioning, please start a clean build without specifying the image version
David Vincze9c609012019-08-22 13:37:21 +0200388number at all. In case of multiple image boot there are separate compile time
389switches for both images to provide their version: ``IMAGE_VERSION_S`` and
390``IMAGE_VERSION_NS``. These must be used instead of ``IMAGE_VERSION``.
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200391
David Vincze060968d2019-05-23 01:13:14 +0200392Security counter
393================
394Each signed image contains a security counter in its manifest. It is used by the
395bootloader and its aim is to have an independent (from the image version)
396counter to ensure rollback protection by comparing the new image's security
397counter against the original (currently active) image's security counter during
398the image upgrade process. It is added to the manifest (to the TLV area that is
David Vincze9c609012019-08-22 13:37:21 +0200399appended to the end of the image) by one of the Python scripts when signing the
David Vincze060968d2019-05-23 01:13:14 +0200400image. The value of the security counter is security critical data and it is in
David Vincze9c609012019-08-22 13:37:21 +0200401the integrity protected part of the image. The last valid security counter
402should always be stored in a non-volatile and trusted component of the device
403and its value should always be increased if a security flaw was fixed in the
404current image version. The value of the security counter (single image boot) can
405be specified at build time in the cmake configuration step::
David Vincze060968d2019-05-23 01:13:14 +0200406
407 cmake -G"Unix Makefiles" -DTARGET_PLATFORM=AN521 -DCOMPILER=ARMCLANG -DSECURITY_COUNTER=42 ../
408
409The security counter can be independent from the image version, but not
410necessarily. Alternatively, if it is not specified at build time with the
David Vincze9c609012019-08-22 13:37:21 +0200411``SECURITY_COUNTER`` option the Python script will automatically generate it
David Vincze060968d2019-05-23 01:13:14 +0200412from the image version number (not including the build number) and this value
David Vincze9c609012019-08-22 13:37:21 +0200413will be added to the signed image. In case of multiple image boot there are
414separate compile time switches for both images to provide their security counter
415value: ``SECURITY_COUNTER_S`` and ``SECURITY_COUNTER_NS``. These must be used
416instead of ``SECURITY_COUNTER``. If these are not defined then the security
417counter values will be derived from the corresponding image version similar to
418the single image boot.
419
420***************************
421Signing the images manually
422***************************
423Normally the build system handles the signing (computing hash over the image
424and security critical manifest data and then signing the hash) of the firmware
425images. However, the images also can be signed manually by using the ``imgtool``
426Python program which is located in the ``bl2/ext/mcuboot/scripts`` directory.
427Issue the ``python3 imgtool.py sign --help`` command in the directory for more
428information about the mandatory and optional arguments. The tool takes an image
429in binary or Intel Hex format and adds a header and trailer that MCUBoot is
430expecting. In case of single image boot after a successful build the
431``tfm_full.bin`` build artifact (contains the concatenated secure and non-secure
432images) must be passed to the script and in case of multiple image boot the
433``tfm_s.bin`` and ``tfm_ns.bin`` binaries can be passed to prepare the signed
434images.
435
436Signing the secure image manually in case of multiple image boot
437================================================================
438
439::
440
441 python3 bl2/ext/mcuboot/scripts/imgtool.py sign \
442 --layout <build_dir>/image_macros_preprocessed_s.c \
443 -k <tfm_dir>/bl2/ext/mcuboot/root-rsa-3072.pem \
444 --public-key-format full \
445 --align 1 \
446 -v 1.2.3+4 \
447 -d "(1,1.2.3+0)" \
448 -s 42 \
449 -H 0x400 \
450 <build_dir>/install/outputs/AN521/tfm_s.bin \
451 <build_dir>/tfm_s_signed.bin
David Vincze060968d2019-05-23 01:13:14 +0200452
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200453************************
454Testing firmware upgrade
455************************
456As downloading the new firmware image is out of scope for MCUBoot, the update
457process is started from a state where the original and the new image are already
458programmed to the appropriate memory slots. To generate the original and a new
459firmware package, TF-M is built twice with different build configurations.
460
David Vincze8a2a4e22019-05-24 10:14:23 +0200461Overwriting firmware upgrade
Tamas Bane7efdc62019-06-05 13:14:52 +0100462============================
David Vincze9c609012019-08-22 13:37:21 +0200463Run TF-M build twice with ``MCUBOOT_IMAGE_NUMBER`` set to "1" in both cases
464(single image boot), but with two different build configurations: default and
David Vincze8a2a4e22019-05-24 10:14:23 +0200465regression. Save the artifacts between builds, because second run can overwrite
David Vincze8bdfc2d2019-03-18 15:49:23 +0100466original binaries. Download default build to the primary slot and regression
467build to the secondary slot.
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200468
469Executing firmware upgrade on FVP_MPS2_AEMv8M
470---------------------------------------------
471.. code-block:: bash
472
473 <DS5_PATH>/sw/models/bin/FVP_MPS2_AEMv8M \
474 --parameter fvp_mps2.platform_type=2 \
475 --parameter cpu0.baseline=0 \
476 --parameter cpu0.INITVTOR_S=0x10000000 \
477 --parameter cpu0.semihosting-enable=0 \
478 --parameter fvp_mps2.DISABLE_GATING=0 \
479 --parameter fvp_mps2.telnetterminal0.start_telnet=1 \
480 --parameter fvp_mps2.telnetterminal1.start_telnet=0 \
481 --parameter fvp_mps2.telnetterminal2.start_telnet=0 \
482 --parameter fvp_mps2.telnetterminal0.quiet=0 \
483 --parameter fvp_mps2.telnetterminal1.quiet=1 \
484 --parameter fvp_mps2.telnetterminal2.quiet=1 \
485 --application cpu0=<build_dir>/bl2/ext/mcuboot/mcuboot.axf \
486 --data cpu0=<default_build_dir>/install/outputs/fvp/tfm_s_ns_signed.bin@0x10080000 \
487 --data cpu0=<regresssion_build_dir>/install/outputs/fvp/tfm_s_ns_signed.bin@0x10180000
488
489Executing firmware upgrade on SSE 200 FPGA on MPS2 board
490--------------------------------------------------------
491
492::
493
494 TITLE: Versatile Express Images Configuration File
495 [IMAGES]
496 TOTALIMAGES: 3 ;Number of Images (Max: 32)
497 IMAGE0ADDRESS: 0x00000000
498 IMAGE0FILE: \Software\mcuboot.axf ; BL2 bootloader
499 IMAGE1ADDRESS: 0x10080000
David Vincze8a2a4e22019-05-24 10:14:23 +0200500 IMAGE1FILE: \Software\tfm_sig1.bin ; TF-M default test binary blob
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200501 IMAGE2ADDRESS: 0x10180000
502 IMAGE2FILE: \Software\tfm_sig2.bin ; TF-M regression test binary blob
503
David Vincze8a2a4e22019-05-24 10:14:23 +0200504The following message will be shown in case of successful firmware upgrade:
505
506::
507
508 [INF] Starting bootloader
509 [INF] Swap type: test
David Vincze8bdfc2d2019-03-18 15:49:23 +0100510 [INF] Image upgrade secondary slot -> primary slot
511 [INF] Erasing the primary slot
512 [INF] Copying the secondary slot to the primary slot: 0x100000 bytes
David Vincze8a2a4e22019-05-24 10:14:23 +0200513 [INF] Bootloader chainload address offset: 0x80000
514 [INF] Jumping to the first image slot
515 [Sec Thread] Secure image initializing!
516
517 #### Execute test suites for the Secure area ####
518 Running Test Suite PSA protected storage S interface tests (TFM_SST_TEST_2XXX)...
519 ...
520
David Vincze9c609012019-08-22 13:37:21 +0200521To update the secure and non-secure images separately (multiple image boot),
522set the ``MCUBOOT_IMAGE_NUMBER`` switch to "2" (this is the default
523configuration value) and follow the same instructions as in case of single image
524boot.
525
526Executing multiple firmware upgrades on SSE 200 FPGA on MPS2 board
527------------------------------------------------------------------
528
529::
530
531 TITLE: Versatile Express Images Configuration File
532 [IMAGES]
533 TOTALIMAGES: 4 ;Number of Images (Max: 32)
534 IMAGE0ADDRESS: 0x00000000
535 IMAGE0FILE: \Software\mcuboot.axf ; BL2 bootloader
536 IMAGE1ADDRESS: 0x10080000
537 IMAGE1FILE: \Software\tfm_sign.bin ; TF-M default test binary blob
538 IMAGE2ADDRESS: 0x10180000
539 IMAGE2FILE: \Software\tfm_ss1.bin ; TF-M regression test secure (signed) image
540 IMAGE3ADDRESS: 0x10200000
541 IMAGE3FILE: \Software\tfm_nss1.bin ; TF-M regression test non-secure (signed) image
542
543Note that both the concatenated binary blob (the images are signed separately
544and then concatenated) and the separate signed images can be downloaded to the
545device because on this platform (AN521) both the primary slots and the secondary
546slots are contiguous areas in the Flash (see `Integration with TF-M`_). The
547following message will be shown in case of successful firmware upgrades:
548
549::
550
551 [INF] Starting bootloader
552 [INF] Swap type: test
553 [INF] Swap type: test
554 [INF] Image upgrade secondary slot -> primary slot
555 [INF] Erasing the primary slot
556 [INF] Copying the secondary slot to the primary slot: 0x80000 bytes
557 [INF] Image upgrade secondary slot -> primary slot
558 [INF] Erasing the primary slot
559 [INF] Copying the secondary slot to the primary slot: 0x80000 bytes
560 [INF] Bootloader chainload address offset: 0x80000
561 [INF] Jumping to the first image slot
562 [Sec Thread] Secure image initializing!
563 TFM level is: 1
564 [Sec Thread] Jumping to non-secure code...
565
566 #### Execute test suites for the Secure area ####
567 Running Test Suite PSA protected storage S interface tests (TFM_SST_TEST_2XXX)...
568 ...
569
David Vincze8a2a4e22019-05-24 10:14:23 +0200570Swapping firmware upgrade
571=============================
572Follow the same instructions and platform related configurations as in case of
573overwriting build including these changes:
574
David Vincze9c609012019-08-22 13:37:21 +0200575- Set the ``MCUBOOT_UPGRADE_STRATEGY`` compile time switch to "SWAP"
576 before build.
577- Set the ``MCUBOOT_IMAGE_NUMBER`` compile time switch to "1" (single image
578 boot) or "2" (multiple image boot) before build.
David Vincze8a2a4e22019-05-24 10:14:23 +0200579
David Vincze9c609012019-08-22 13:37:21 +0200580During single image boot the following message will be shown in case of
581successful firmware upgrade, ``Swap type: test`` indicates that images were
582swapped:
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200583
584::
585
David Vincze8a2a4e22019-05-24 10:14:23 +0200586 [INF] Starting bootloader
587 [INF] Image 0: magic= good, copy_done=0x3, image_ok=0x3
588 [INF] Scratch: magic= bad, copy_done=0x0, image_ok=0x2
David Vincze8bdfc2d2019-03-18 15:49:23 +0100589 [INF] Boot source: primary slot
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200590 [INF] Swap type: test
591 [INF] Bootloader chainload address offset: 0x80000
592 [INF] Jumping to the first image slot
593 [Sec Thread] Secure image initializing!
594
David Vincze8a2a4e22019-05-24 10:14:23 +0200595 #### Execute test suites for the Secure area ####
596 Running Test Suite PSA protected storage S interface tests (TFM_SST_TEST_2XXX)...
597 ...
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200598
599Non-swapping firmware upgrade
600=============================
David Vincze9c609012019-08-22 13:37:21 +0200601Follow the same instructions and platform related configurations as in case of
602overwriting build including these changes:
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200603
David Vincze8a2a4e22019-05-24 10:14:23 +0200604- Set the ``MCUBOOT_UPGRADE_STRATEGY`` compile time switch to "NO_SWAP"
605 before build.
David Vincze9c609012019-08-22 13:37:21 +0200606- Make sure the image version number was increased between the two build runs
607 either by specifying it manually or by checking in the build log that it was
608 incremented automatically.
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200609
610Executing firmware upgrade on FVP_MPS2_AEMv8M
611---------------------------------------------
612
613.. code-block:: bash
614
615 <DS5_PATH>/sw/models/bin/FVP_MPS2_AEMv8M \
616 --parameter fvp_mps2.platform_type=2 \
617 --parameter cpu0.baseline=0 \
618 --parameter cpu0.INITVTOR_S=0x10000000 \
619 --parameter cpu0.semihosting-enable=0 \
620 --parameter fvp_mps2.DISABLE_GATING=0 \
621 --parameter fvp_mps2.telnetterminal0.start_telnet=1 \
622 --parameter fvp_mps2.telnetterminal1.start_telnet=0 \
623 --parameter fvp_mps2.telnetterminal2.start_telnet=0 \
624 --parameter fvp_mps2.telnetterminal0.quiet=0 \
625 --parameter fvp_mps2.telnetterminal1.quiet=1 \
626 --parameter fvp_mps2.telnetterminal2.quiet=1 \
627 --application cpu0=<build_dir>/bl2/ext/mcuboot/mcuboot.axf \
Tamas Banbba85642019-06-06 09:31:59 +0100628 --data cpu0=<default_build_dir>/install/outputs/fvp/tfm_s_ns_signed.bin@0x10080000 \
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200629 --data cpu0=<regresssion_build_dir>/install/outputs/fvp/tfm_s_ns_signed_1.bin@0x10180000
630
631Executing firmware upgrade on SSE 200 FPGA on MPS2 board
632--------------------------------------------------------
633
634::
635
636 TITLE: Versatile Express Images Configuration File
637 [IMAGES]
638 TOTALIMAGES: 3 ;Number of Images (Max: 32)
639 IMAGE0ADDRESS: 0x00000000
640 IMAGE0FILE: \Software\mcuboot.axf ; BL2 bootloader
641 IMAGE1ADDRESS: 0x10080000
Tamas Banbba85642019-06-06 09:31:59 +0100642 IMAGE1FILE: \Software\tfm_sign.bin ; TF-M default test binary blob
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200643 IMAGE2ADDRESS: 0x10180000
644 IMAGE2FILE: \Software\tfm_sig1.bin ; TF-M regression test binary blob
645
646Executing firmware upgrade on Musca-B1 board
647--------------------------------------------
David Vincze9c609012019-08-22 13:37:21 +0200648After the two images have been built, they can be concatenated to create the
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200649combined image using ``srec_cat``:
650
651- Linux::
David Vincze8a2a4e22019-05-24 10:14:23 +0200652
Tamas Banbba85642019-06-06 09:31:59 +0100653 srec_cat bl2/ext/mcuboot/mcuboot.bin -Binary -offset 0xA000000 tfm_sign.bin -Binary -offset 0xA020000 tfm_sign_1.bin -Binary -offset 0xA0E0000 -o tfm.hex -Intel
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200654
655- Windows::
David Vincze8a2a4e22019-05-24 10:14:23 +0200656
Tamas Banbba85642019-06-06 09:31:59 +0100657 srec_cat.exe bl2\ext\mcuboot\mcuboot.bin -Binary -offset 0xA000000 tfm_sign.bin -Binary -offset 0xA020000 tfm_sign_1.bin -Binary -offset 0xA0E0000 -o tfm.hex -Intel
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200658
659The following message will be shown in case of successful firmware upgrade,
660notice that image with higher version number (``version=1.2.3.5``) is executed:
661
662::
663
664 [INF] Starting bootloader
David Vincze8a2a4e22019-05-24 10:14:23 +0200665 [INF] Image 0: version=1.2.3.4, magic= good, image_ok=0x3
666 [INF] Image 1: version=1.2.3.5, magic= good, image_ok=0x3
David Vincze8bdfc2d2019-03-18 15:49:23 +0100667 [INF] Booting image from the secondary slot
David Vincze8a2a4e22019-05-24 10:14:23 +0200668 [INF] Bootloader chainload address offset: 0xa0000
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200669 [INF] Jumping to the first image slot
670 [Sec Thread] Secure image initializing!
671
David Vincze8a2a4e22019-05-24 10:14:23 +0200672 #### Execute test suites for the Secure area ####
673 Running Test Suite PSA protected storage S interface tests (TFM_SST_TEST_2XXX)...
674 ...
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200675
Kevin Peng0a142112018-09-21 10:42:22 +0800676Executing firmware upgrade on CoreLink SSE-200 Subsystem for MPS3 (AN524)
677-------------------------------------------------------------------------
678
679::
680
681 TITLE: Arm MPS3 FPGA prototyping board Images Configuration File
682
683 [IMAGES]
684 TOTALIMAGES: 3 ;Number of Images (Max: 32)
685
686 IMAGE0UPDATE: AUTO ;Image Update:NONE/AUTO/FORCE
687 IMAGE0ADDRESS: 0x00000000
688 IMAGE0FILE: \SOFTWARE\mcuboot.bin ;BL2 bootloader
689 IMAGE1UPDATE: AUTO
690 IMAGE1ADDRESS: 0x00040000
691 IMAGE1FILE: \SOFTWARE\tfm_sig0.bin ;TF-M example application binary blob
692 IMAGE2UPDATE: AUTO
693 IMAGE2ADDRESS: 0x000C0000
694 IMAGE2FILE: \SOFTWARE\tfm_sig1.bin ;TF-M regression test binary blob
695
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200696RAM loading firmware upgrade
697============================
David Vincze8a2a4e22019-05-24 10:14:23 +0200698To enable RAM loading, please set ``MCUBOOT_UPGRADE_STRATEGY`` to "RAM_LOADING"
699(either in the configuration file or through the command line), and then specify
700a destination load address in RAM where the image can be copied to and executed
701from. The ``IMAGE_LOAD_ADDRESS`` macro must be specified in the target dependent
702files, for example with Musca-A, its ``flash_layout.h`` file in the ``platform``
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200703folder should include ``#define IMAGE_LOAD_ADDRESS #0x10020000``
704
David Vincze8a2a4e22019-05-24 10:14:23 +0200705Executing firmware upgrade on Musca-A board
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200706--------------------------------------------
707After two images have been built, they can be concatenated to create the
708combined image using ``srec_cat``:
709
David Vincze8a2a4e22019-05-24 10:14:23 +0200710- Linux::
711
712 srec_cat bl2/ext/mcuboot/mcuboot.bin -Binary -offset 0x200000 tfm_sign_old.bin -Binary -offset 0x220000 tfm_sign_new.bin -Binary -offset 0x320000 -o tfm.hex -Intel
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200713
714- Windows::
David Vincze8a2a4e22019-05-24 10:14:23 +0200715
David Vincze9c609012019-08-22 13:37:21 +0200716 srec_cat.exe bl2\ext\mcuboot\mcuboot.bin -Binary -offset 0x200000 tfm_sign_old.bin -Binary -offset 0x220000 tfm_sign_new.bin -Binary -offset 0x320000 -o tfm.hex -Intel
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200717
718The following message will be shown in case of successful firmware upgrade when,
719RAM loading is enabled, notice that image with higher version number
720(``version=0.0.0.2``) is executed:
721
722::
723
David Vincze8a2a4e22019-05-24 10:14:23 +0200724 [INF] Starting bootloader
725 [INF] Image 0: version=0.0.0.1, magic= good, image_ok=0x3
726 [INF] Image 1: version=0.0.0.2, magic= good, image_ok=0x3
David Vincze8bdfc2d2019-03-18 15:49:23 +0100727 [INF] Image has been copied from the secondary slot in flash to SRAM address 0x10020000
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200728 [INF] Booting image from SRAM at address 0x10020000
729 [INF] Bootloader chainload address offset: 0x20000
730 [INF] Jumping to the first image slot
731 [Sec Thread] Secure image initializing!
732
733--------------
734
735*Copyright (c) 2018-2019, Arm Limited. All rights reserved.*