blob: 3c6325803d8fe55cc1911b66dd649001f9f52753 [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+----------+-----------------+---------------+----------+-------------+-----------------+
Marton Berke8aae06f2019-11-25 16:46:12 +0100238| Musca-S1 | Yes | No | No | Yes | No |
239+----------+-----------------+---------------+----------+-------------+-----------------+
Kevin Peng0a142112018-09-21 10:42:22 +0800240| AN524 | Yes | No | No | Yes | No |
241+----------+-----------------+---------------+----------+-------------+-----------------+
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200242
243.. [1] To disable BL2, please turn off the ``BL2`` compiler switch in the
David Vincze9c609012019-08-22 13:37:21 +0200244 build configuration file (``bl2/ext/mcuboot/MCUBootConfig.cmake``) or
245 in the command line
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200246
247.. [2] BL2 is enabled by default
248
David Vincze8a2a4e22019-05-24 10:14:23 +0200249.. [3] The image executes in-place (XIP) and is in Overwrite mode for image
250 update by default
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200251
David Vincze8a2a4e22019-05-24 10:14:23 +0200252.. [4] To enable XIP Swap mode, assign the "SWAP" string to the
David Vincze9c609012019-08-22 13:37:21 +0200253 ``MCUBOOT_UPGRADE_STRATEGY`` configuration variable in the build
David Vincze8a2a4e22019-05-24 10:14:23 +0200254 configuration file, or include this macro definition in the command line
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200255
David Vincze8a2a4e22019-05-24 10:14:23 +0200256.. [5] To enable XIP No-swap, assign the "NO_SWAP" string to the
David Vincze9c609012019-08-22 13:37:21 +0200257 ``MCUBOOT_UPGRADE_STRATEGY`` configuration variable in the build
David Vincze8a2a4e22019-05-24 10:14:23 +0200258 configuration file, or include this macro definition in the command line
259
260.. [6] To enable RAM loading, assign the "RAM_LOADING" string to the
David Vincze9c609012019-08-22 13:37:21 +0200261 ``MCUBOOT_UPGRADE_STRATEGY`` configuration variable in the build
David Vincze8a2a4e22019-05-24 10:14:23 +0200262 configuration file, or include this macro definition in the command line
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200263
David Vincze9c609012019-08-22 13:37:21 +0200264*******************
265Multiple image boot
266*******************
267It is possible to update the firmware images independently to support the
268scenario when secure and non-secure images are provided by different vendors.
269Multiple image boot is supported only together with the overwrite and swap
270firmware upgrade modes.
271
272It is possible to describe the dependencies of the images on each other in
273order to avoid a faulty upgrade when incompatible versions would be installed.
274These dependencies are part of the image manifest area.
275The dependencies are composed from two parts:
276
277 - **Image identifier:** The number of the image which the current image (whose
278 manifest area contains the dependency entry) depends on. The image identifier
279 starts from 0.
280
281 - **Minimum version:** The minimum version of other image must be present on
282 the device by the end of the upgrade (both images might be updated at the
283 same time).
284
285Dependencies can be added to the images at compile time with the following
286compile time switches:
287
288 - ``S_IMAGE_MIN_VER`` It is added to the non-secure image and specifies the
289 minimum required version of the secure image.
290 - ``NS_IMAGE_MIN_VER`` It is added to the secure image and specifies the
291 minimum required version of the non-secure image.
292
293Example of how to provide the secure image minimum version::
294
295 cmake -G"Unix Makefiles" -DTARGET_PLATFORM=AN521 -DCOMPILER=ARMCLANG -DS_IMAGE_MIN_VER=1.2.3+4 ../
296
Tamas Ban7801ed42019-05-20 13:21:53 +0100297********************
298Signature algorithms
299********************
300MbedTLS library is used to sign the images. The list of supported signing
301algorithms:
Tamas Bane7efdc62019-06-05 13:14:52 +0100302
303 - `RSA-2048`
304 - `RSA-3072`: default
305
David Vincze9c609012019-08-22 13:37:21 +0200306Example keys stored in:
307
308 - ``root-rsa-2048.pem`` : Used to sign single image (S+NS) or secure image
309 in case of multiple image boot
310 - ``root-rsa-2048_1.pem`` : Used to sign non-secure image in case of multiple
311 image boot
312 - ``root-rsa-3072.pem`` : Used to sign single image (S+NS) or secure image
313 in case of multiple image boot
314 - ``root-rsa-3072_1.pem`` : Used to sign non-secure image in case of multiple
315 image boot
Tamas Ban7801ed42019-05-20 13:21:53 +0100316
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200317************************
318Build time configuration
319************************
David Vincze9c609012019-08-22 13:37:21 +0200320MCUBoot related compile time switches can be set in the build configuration
321file::
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200322
David Vincze9c609012019-08-22 13:37:21 +0200323 bl2/ext/mcuboot/MCUBootConfig.cmake
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200324
325Compile time switches:
326
327- BL2 (default: True):
328 - **True:** TF-M built together with bootloader. MCUBoot is executed after
329 reset and it authenticates TF-M and starts secure code.
330 - **False:** TF-M built without bootloader. Secure image linked to the
331 beginning of the device memory and executed after reset. If it is false
David Vincze9c609012019-08-22 13:37:21 +0200332 then using any of the further compile time switches is invalid.
David Vincze8a2a4e22019-05-24 10:14:23 +0200333- MCUBOOT_UPGRADE_STRATEGY (default: "OVERWRITE_ONLY"):
334 - **"OVERWRITE_ONLY":** Default firmware upgrade operation with overwrite.
335 - **"SWAP":** Activate swapping firmware upgrade operation.
336 - **"NO_SWAP":** Activate non-swapping firmware upgrade operation.
337 - **"RAM_LOADING":** Activate RAM loading firmware upgrade operation, where
David Vincze9c609012019-08-22 13:37:21 +0200338 the latest image is copied to RAM and runs from there instead of being
David Vincze8a2a4e22019-05-24 10:14:23 +0200339 executed in-place.
Tamas Ban7801ed42019-05-20 13:21:53 +0100340- MCUBOOT_SIGNATURE_TYPE (default: RSA-3072):
David Vincze9c609012019-08-22 13:37:21 +0200341 - **RSA-3072:** Image is signed with RSA-3072 algorithm
342 - **RSA-2048:** Image is signed with RSA-2048 algorithm
343- MCUBOOT_IMAGE_NUMBER (default: 2):
344 - **1:** Single image boot, secure and non-secure images are signed and
345 updated together.
346 - **2:** Multiple image boot, secure and non-secure images are signed and
347 updatable independently.
348- MCUBOOT_HW_KEY (default: True):
349 - **True:** The hash of public key is provisioned to the SoC and the image
350 manifest contains the whole public key. MCUBoot validates the key before
351 using it for firmware authentication, it calculates the hash of public key
352 from the manifest and compare against the retrieved key-hash from the
353 hardware. This way MCUBoot is independent from the public key(s).
354 Key(s) can be provisioned any time and by different parties.
355 - **False:** The whole public key is embedded to the bootloader code and the
356 image manifest contains only the hash of the public key. MCUBoot validates
357 the key before using it for firmware authentication, it calculates the
358 hash of built-in public key and compare against the retrieved key-hash
359 from the image manifest. After this the bootloader can verify that the
360 image was signed with a private key that corresponds to the retrieved
361 key-hash (it can have more public keys embedded in and it may have to look
362 for the matching one). All the public key(s) must be known at MCUBoot
363 build time.
David Vincze73dfbc52019-10-11 13:54:58 +0200364- MCUBOOT_LOG_LEVEL:
365 Can be used to configure the level of logging in MCUBoot. The possible
366 values are the following:
367
368 - **LOG_LEVEL_OFF**
369 - **LOG_LEVEL_ERROR**
370 - **LOG_LEVEL_WARNING**
371 - **LOG_LEVEL_INFO**
372 - **LOG_LEVEL_DEBUG**
373
374 The logging in MCUBoot can be disabled and thus the code size can be reduced
375 by setting it to ``LOG_LEVEL_OFF``. Its value depends on the build type. If
376 the build type is ``Debug`` and a value has been provided (e.g. through the
377 command line or the CMake GUI) then that value will be used, otherwise it is
378 ``LOG_LEVEL_INFO`` by default. In case of different kinds of ``Release``
379 builds its value is set to ``LOG_LEVEL_OFF`` (any other value will be
380 overridden).
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200381
382Image versioning
383================
David Vincze9c609012019-08-22 13:37:21 +0200384An image version number is written to its header by one of the Python scripts,
David Vincze8a2a4e22019-05-24 10:14:23 +0200385and this number is used by the bootloader when the non-swapping or RAM loading
David Vincze9c609012019-08-22 13:37:21 +0200386mode is enabled. It is also used in case of multiple image boot when the
387bootloader checks the image dependencies if any have been added to the images.
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200388
David Vincze9c609012019-08-22 13:37:21 +0200389The version number of the image (single image boot) can manually be passed in
390through the command line in the cmake configuration step::
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200391
392 cmake -G"Unix Makefiles" -DTARGET_PLATFORM=AN521 -DCOMPILER=ARMCLANG -DIMAGE_VERSION=1.2.3+4 ../
393
394Alternatively, the version number can be less specific (e.g 1, 1.2, or 1.2.3),
395where the missing numbers are automatically set to zero. The image version
396number argument is optional, and if it is left out, then the version numbers of
397the image(s) being built in the same directory will automatically change. In
398this case, the last component (the build number) automatically increments from
399the previous one: 0.0.0+1 -> 0.0.0+2, for as many times as the build is re-ran,
400**until a number is explicitly provided**. If automatic versioning is in place
401and then an image version number is provided for the first time, the new number
402will take precedence and be used instead. All subsequent image versions are
403then set to the last number that has been specified, and the build number would
404stop incrementing. Any new version numbers that are provided will overwrite
405the previous one: 0.0.0+1 -> 0.0.0+2. Note: To re-apply automatic image
406versioning, please start a clean build without specifying the image version
David Vincze9c609012019-08-22 13:37:21 +0200407number at all. In case of multiple image boot there are separate compile time
408switches for both images to provide their version: ``IMAGE_VERSION_S`` and
409``IMAGE_VERSION_NS``. These must be used instead of ``IMAGE_VERSION``.
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200410
David Vincze060968d2019-05-23 01:13:14 +0200411Security counter
412================
413Each signed image contains a security counter in its manifest. It is used by the
414bootloader and its aim is to have an independent (from the image version)
415counter to ensure rollback protection by comparing the new image's security
416counter against the original (currently active) image's security counter during
417the image upgrade process. It is added to the manifest (to the TLV area that is
David Vincze9c609012019-08-22 13:37:21 +0200418appended to the end of the image) by one of the Python scripts when signing the
David Vincze060968d2019-05-23 01:13:14 +0200419image. The value of the security counter is security critical data and it is in
David Vincze9c609012019-08-22 13:37:21 +0200420the integrity protected part of the image. The last valid security counter
421should always be stored in a non-volatile and trusted component of the device
422and its value should always be increased if a security flaw was fixed in the
423current image version. The value of the security counter (single image boot) can
424be specified at build time in the cmake configuration step::
David Vincze060968d2019-05-23 01:13:14 +0200425
426 cmake -G"Unix Makefiles" -DTARGET_PLATFORM=AN521 -DCOMPILER=ARMCLANG -DSECURITY_COUNTER=42 ../
427
428The security counter can be independent from the image version, but not
429necessarily. Alternatively, if it is not specified at build time with the
David Vincze9c609012019-08-22 13:37:21 +0200430``SECURITY_COUNTER`` option the Python script will automatically generate it
David Vincze060968d2019-05-23 01:13:14 +0200431from the image version number (not including the build number) and this value
David Vincze9c609012019-08-22 13:37:21 +0200432will be added to the signed image. In case of multiple image boot there are
433separate compile time switches for both images to provide their security counter
434value: ``SECURITY_COUNTER_S`` and ``SECURITY_COUNTER_NS``. These must be used
435instead of ``SECURITY_COUNTER``. If these are not defined then the security
436counter values will be derived from the corresponding image version similar to
437the single image boot.
438
439***************************
440Signing the images manually
441***************************
442Normally the build system handles the signing (computing hash over the image
443and security critical manifest data and then signing the hash) of the firmware
444images. However, the images also can be signed manually by using the ``imgtool``
445Python program which is located in the ``bl2/ext/mcuboot/scripts`` directory.
446Issue the ``python3 imgtool.py sign --help`` command in the directory for more
447information about the mandatory and optional arguments. The tool takes an image
448in binary or Intel Hex format and adds a header and trailer that MCUBoot is
449expecting. In case of single image boot after a successful build the
450``tfm_full.bin`` build artifact (contains the concatenated secure and non-secure
451images) must be passed to the script and in case of multiple image boot the
452``tfm_s.bin`` and ``tfm_ns.bin`` binaries can be passed to prepare the signed
453images.
454
455Signing the secure image manually in case of multiple image boot
456================================================================
457
458::
459
460 python3 bl2/ext/mcuboot/scripts/imgtool.py sign \
461 --layout <build_dir>/image_macros_preprocessed_s.c \
462 -k <tfm_dir>/bl2/ext/mcuboot/root-rsa-3072.pem \
463 --public-key-format full \
464 --align 1 \
465 -v 1.2.3+4 \
466 -d "(1,1.2.3+0)" \
467 -s 42 \
468 -H 0x400 \
469 <build_dir>/install/outputs/AN521/tfm_s.bin \
470 <build_dir>/tfm_s_signed.bin
David Vincze060968d2019-05-23 01:13:14 +0200471
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200472************************
473Testing firmware upgrade
474************************
475As downloading the new firmware image is out of scope for MCUBoot, the update
476process is started from a state where the original and the new image are already
477programmed to the appropriate memory slots. To generate the original and a new
478firmware package, TF-M is built twice with different build configurations.
479
David Vincze8a2a4e22019-05-24 10:14:23 +0200480Overwriting firmware upgrade
Tamas Bane7efdc62019-06-05 13:14:52 +0100481============================
David Vincze9c609012019-08-22 13:37:21 +0200482Run TF-M build twice with ``MCUBOOT_IMAGE_NUMBER`` set to "1" in both cases
483(single image boot), but with two different build configurations: default and
David Vincze8a2a4e22019-05-24 10:14:23 +0200484regression. Save the artifacts between builds, because second run can overwrite
David Vincze8bdfc2d2019-03-18 15:49:23 +0100485original binaries. Download default build to the primary slot and regression
486build to the secondary slot.
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200487
488Executing firmware upgrade on FVP_MPS2_AEMv8M
489---------------------------------------------
490.. code-block:: bash
491
492 <DS5_PATH>/sw/models/bin/FVP_MPS2_AEMv8M \
493 --parameter fvp_mps2.platform_type=2 \
494 --parameter cpu0.baseline=0 \
495 --parameter cpu0.INITVTOR_S=0x10000000 \
496 --parameter cpu0.semihosting-enable=0 \
497 --parameter fvp_mps2.DISABLE_GATING=0 \
498 --parameter fvp_mps2.telnetterminal0.start_telnet=1 \
499 --parameter fvp_mps2.telnetterminal1.start_telnet=0 \
500 --parameter fvp_mps2.telnetterminal2.start_telnet=0 \
501 --parameter fvp_mps2.telnetterminal0.quiet=0 \
502 --parameter fvp_mps2.telnetterminal1.quiet=1 \
503 --parameter fvp_mps2.telnetterminal2.quiet=1 \
504 --application cpu0=<build_dir>/bl2/ext/mcuboot/mcuboot.axf \
505 --data cpu0=<default_build_dir>/install/outputs/fvp/tfm_s_ns_signed.bin@0x10080000 \
506 --data cpu0=<regresssion_build_dir>/install/outputs/fvp/tfm_s_ns_signed.bin@0x10180000
507
508Executing firmware upgrade on SSE 200 FPGA on MPS2 board
509--------------------------------------------------------
510
511::
512
513 TITLE: Versatile Express Images Configuration File
514 [IMAGES]
515 TOTALIMAGES: 3 ;Number of Images (Max: 32)
516 IMAGE0ADDRESS: 0x00000000
517 IMAGE0FILE: \Software\mcuboot.axf ; BL2 bootloader
518 IMAGE1ADDRESS: 0x10080000
David Vincze8a2a4e22019-05-24 10:14:23 +0200519 IMAGE1FILE: \Software\tfm_sig1.bin ; TF-M default test binary blob
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200520 IMAGE2ADDRESS: 0x10180000
521 IMAGE2FILE: \Software\tfm_sig2.bin ; TF-M regression test binary blob
522
David Vincze8a2a4e22019-05-24 10:14:23 +0200523The following message will be shown in case of successful firmware upgrade:
524
525::
526
527 [INF] Starting bootloader
528 [INF] Swap type: test
David Vincze8bdfc2d2019-03-18 15:49:23 +0100529 [INF] Image upgrade secondary slot -> primary slot
530 [INF] Erasing the primary slot
531 [INF] Copying the secondary slot to the primary slot: 0x100000 bytes
David Vincze8a2a4e22019-05-24 10:14:23 +0200532 [INF] Bootloader chainload address offset: 0x80000
533 [INF] Jumping to the first image slot
534 [Sec Thread] Secure image initializing!
535
536 #### Execute test suites for the Secure area ####
537 Running Test Suite PSA protected storage S interface tests (TFM_SST_TEST_2XXX)...
538 ...
539
David Vincze9c609012019-08-22 13:37:21 +0200540To update the secure and non-secure images separately (multiple image boot),
541set the ``MCUBOOT_IMAGE_NUMBER`` switch to "2" (this is the default
542configuration value) and follow the same instructions as in case of single image
543boot.
544
545Executing multiple firmware upgrades on SSE 200 FPGA on MPS2 board
546------------------------------------------------------------------
547
548::
549
550 TITLE: Versatile Express Images Configuration File
551 [IMAGES]
552 TOTALIMAGES: 4 ;Number of Images (Max: 32)
553 IMAGE0ADDRESS: 0x00000000
554 IMAGE0FILE: \Software\mcuboot.axf ; BL2 bootloader
555 IMAGE1ADDRESS: 0x10080000
556 IMAGE1FILE: \Software\tfm_sign.bin ; TF-M default test binary blob
557 IMAGE2ADDRESS: 0x10180000
558 IMAGE2FILE: \Software\tfm_ss1.bin ; TF-M regression test secure (signed) image
559 IMAGE3ADDRESS: 0x10200000
560 IMAGE3FILE: \Software\tfm_nss1.bin ; TF-M regression test non-secure (signed) image
561
562Note that both the concatenated binary blob (the images are signed separately
563and then concatenated) and the separate signed images can be downloaded to the
564device because on this platform (AN521) both the primary slots and the secondary
565slots are contiguous areas in the Flash (see `Integration with TF-M`_). The
566following message will be shown in case of successful firmware upgrades:
567
568::
569
570 [INF] Starting bootloader
571 [INF] Swap type: test
572 [INF] Swap type: test
573 [INF] Image upgrade secondary slot -> primary slot
574 [INF] Erasing the primary slot
575 [INF] Copying the secondary slot to the primary slot: 0x80000 bytes
576 [INF] Image upgrade secondary slot -> primary slot
577 [INF] Erasing the primary slot
578 [INF] Copying the secondary slot to the primary slot: 0x80000 bytes
579 [INF] Bootloader chainload address offset: 0x80000
580 [INF] Jumping to the first image slot
581 [Sec Thread] Secure image initializing!
582 TFM level is: 1
583 [Sec Thread] Jumping to non-secure code...
584
585 #### Execute test suites for the Secure area ####
586 Running Test Suite PSA protected storage S interface tests (TFM_SST_TEST_2XXX)...
587 ...
588
David Vincze8a2a4e22019-05-24 10:14:23 +0200589Swapping firmware upgrade
590=============================
591Follow the same instructions and platform related configurations as in case of
592overwriting build including these changes:
593
David Vincze9c609012019-08-22 13:37:21 +0200594- Set the ``MCUBOOT_UPGRADE_STRATEGY`` compile time switch to "SWAP"
595 before build.
596- Set the ``MCUBOOT_IMAGE_NUMBER`` compile time switch to "1" (single image
597 boot) or "2" (multiple image boot) before build.
David Vincze8a2a4e22019-05-24 10:14:23 +0200598
David Vincze9c609012019-08-22 13:37:21 +0200599During single image boot the following message will be shown in case of
600successful firmware upgrade, ``Swap type: test`` indicates that images were
601swapped:
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200602
603::
604
David Vincze8a2a4e22019-05-24 10:14:23 +0200605 [INF] Starting bootloader
606 [INF] Image 0: magic= good, copy_done=0x3, image_ok=0x3
607 [INF] Scratch: magic= bad, copy_done=0x0, image_ok=0x2
David Vincze8bdfc2d2019-03-18 15:49:23 +0100608 [INF] Boot source: primary slot
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200609 [INF] Swap type: test
610 [INF] Bootloader chainload address offset: 0x80000
611 [INF] Jumping to the first image slot
612 [Sec Thread] Secure image initializing!
613
David Vincze8a2a4e22019-05-24 10:14:23 +0200614 #### Execute test suites for the Secure area ####
615 Running Test Suite PSA protected storage S interface tests (TFM_SST_TEST_2XXX)...
616 ...
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200617
618Non-swapping firmware upgrade
619=============================
David Vincze9c609012019-08-22 13:37:21 +0200620Follow the same instructions and platform related configurations as in case of
621overwriting build including these changes:
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200622
David Vincze8a2a4e22019-05-24 10:14:23 +0200623- Set the ``MCUBOOT_UPGRADE_STRATEGY`` compile time switch to "NO_SWAP"
624 before build.
David Vincze9c609012019-08-22 13:37:21 +0200625- Make sure the image version number was increased between the two build runs
626 either by specifying it manually or by checking in the build log that it was
627 incremented automatically.
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200628
629Executing firmware upgrade on FVP_MPS2_AEMv8M
630---------------------------------------------
631
632.. code-block:: bash
633
634 <DS5_PATH>/sw/models/bin/FVP_MPS2_AEMv8M \
635 --parameter fvp_mps2.platform_type=2 \
636 --parameter cpu0.baseline=0 \
637 --parameter cpu0.INITVTOR_S=0x10000000 \
638 --parameter cpu0.semihosting-enable=0 \
639 --parameter fvp_mps2.DISABLE_GATING=0 \
640 --parameter fvp_mps2.telnetterminal0.start_telnet=1 \
641 --parameter fvp_mps2.telnetterminal1.start_telnet=0 \
642 --parameter fvp_mps2.telnetterminal2.start_telnet=0 \
643 --parameter fvp_mps2.telnetterminal0.quiet=0 \
644 --parameter fvp_mps2.telnetterminal1.quiet=1 \
645 --parameter fvp_mps2.telnetterminal2.quiet=1 \
646 --application cpu0=<build_dir>/bl2/ext/mcuboot/mcuboot.axf \
Tamas Banbba85642019-06-06 09:31:59 +0100647 --data cpu0=<default_build_dir>/install/outputs/fvp/tfm_s_ns_signed.bin@0x10080000 \
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200648 --data cpu0=<regresssion_build_dir>/install/outputs/fvp/tfm_s_ns_signed_1.bin@0x10180000
649
650Executing firmware upgrade on SSE 200 FPGA on MPS2 board
651--------------------------------------------------------
652
653::
654
655 TITLE: Versatile Express Images Configuration File
656 [IMAGES]
657 TOTALIMAGES: 3 ;Number of Images (Max: 32)
658 IMAGE0ADDRESS: 0x00000000
659 IMAGE0FILE: \Software\mcuboot.axf ; BL2 bootloader
660 IMAGE1ADDRESS: 0x10080000
Tamas Banbba85642019-06-06 09:31:59 +0100661 IMAGE1FILE: \Software\tfm_sign.bin ; TF-M default test binary blob
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200662 IMAGE2ADDRESS: 0x10180000
663 IMAGE2FILE: \Software\tfm_sig1.bin ; TF-M regression test binary blob
664
665Executing firmware upgrade on Musca-B1 board
666--------------------------------------------
David Vincze9c609012019-08-22 13:37:21 +0200667After the two images have been built, they can be concatenated to create the
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200668combined image using ``srec_cat``:
669
670- Linux::
David Vincze8a2a4e22019-05-24 10:14:23 +0200671
Tamas Bane1570bd2019-10-25 15:20:35 +0100672 srec_cat bl2/ext/mcuboot/mcuboot.bin -Binary -offset 0xA000000 tfm_sign.bin -Binary -offset 0xA020000 tfm_sign_1.bin -Binary -offset 0xA100000 -o tfm.hex -Intel
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200673
674- Windows::
David Vincze8a2a4e22019-05-24 10:14:23 +0200675
Tamas Bane1570bd2019-10-25 15:20:35 +0100676 srec_cat.exe bl2\ext\mcuboot\mcuboot.bin -Binary -offset 0xA000000 tfm_sign.bin -Binary -offset 0xA020000 tfm_sign_1.bin -Binary -offset 0xA100000 -o tfm.hex -Intel
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200677
678The following message will be shown in case of successful firmware upgrade,
679notice that image with higher version number (``version=1.2.3.5``) is executed:
680
681::
682
683 [INF] Starting bootloader
David Vincze8a2a4e22019-05-24 10:14:23 +0200684 [INF] Image 0: version=1.2.3.4, magic= good, image_ok=0x3
685 [INF] Image 1: version=1.2.3.5, magic= good, image_ok=0x3
David Vincze8bdfc2d2019-03-18 15:49:23 +0100686 [INF] Booting image from the secondary slot
David Vincze8a2a4e22019-05-24 10:14:23 +0200687 [INF] Bootloader chainload address offset: 0xa0000
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200688 [INF] Jumping to the first image slot
689 [Sec Thread] Secure image initializing!
690
David Vincze8a2a4e22019-05-24 10:14:23 +0200691 #### Execute test suites for the Secure area ####
692 Running Test Suite PSA protected storage S interface tests (TFM_SST_TEST_2XXX)...
693 ...
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200694
Kevin Peng0a142112018-09-21 10:42:22 +0800695Executing firmware upgrade on CoreLink SSE-200 Subsystem for MPS3 (AN524)
696-------------------------------------------------------------------------
697
698::
699
700 TITLE: Arm MPS3 FPGA prototyping board Images Configuration File
701
702 [IMAGES]
703 TOTALIMAGES: 3 ;Number of Images (Max: 32)
704
705 IMAGE0UPDATE: AUTO ;Image Update:NONE/AUTO/FORCE
706 IMAGE0ADDRESS: 0x00000000
707 IMAGE0FILE: \SOFTWARE\mcuboot.bin ;BL2 bootloader
708 IMAGE1UPDATE: AUTO
709 IMAGE1ADDRESS: 0x00040000
710 IMAGE1FILE: \SOFTWARE\tfm_sig0.bin ;TF-M example application binary blob
711 IMAGE2UPDATE: AUTO
712 IMAGE2ADDRESS: 0x000C0000
713 IMAGE2FILE: \SOFTWARE\tfm_sig1.bin ;TF-M regression test binary blob
714
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200715RAM loading firmware upgrade
716============================
David Vincze8a2a4e22019-05-24 10:14:23 +0200717To enable RAM loading, please set ``MCUBOOT_UPGRADE_STRATEGY`` to "RAM_LOADING"
718(either in the configuration file or through the command line), and then specify
719a destination load address in RAM where the image can be copied to and executed
720from. The ``IMAGE_LOAD_ADDRESS`` macro must be specified in the target dependent
721files, for example with Musca-A, its ``flash_layout.h`` file in the ``platform``
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200722folder should include ``#define IMAGE_LOAD_ADDRESS #0x10020000``
723
David Vincze8a2a4e22019-05-24 10:14:23 +0200724Executing firmware upgrade on Musca-A board
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200725--------------------------------------------
726After two images have been built, they can be concatenated to create the
727combined image using ``srec_cat``:
728
David Vincze8a2a4e22019-05-24 10:14:23 +0200729- Linux::
730
731 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 +0200732
733- Windows::
David Vincze8a2a4e22019-05-24 10:14:23 +0200734
David Vincze9c609012019-08-22 13:37:21 +0200735 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 +0200736
737The following message will be shown in case of successful firmware upgrade when,
738RAM loading is enabled, notice that image with higher version number
739(``version=0.0.0.2``) is executed:
740
741::
742
David Vincze8a2a4e22019-05-24 10:14:23 +0200743 [INF] Starting bootloader
744 [INF] Image 0: version=0.0.0.1, magic= good, image_ok=0x3
745 [INF] Image 1: version=0.0.0.2, magic= good, image_ok=0x3
David Vincze8bdfc2d2019-03-18 15:49:23 +0100746 [INF] Image has been copied from the secondary slot in flash to SRAM address 0x10020000
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200747 [INF] Booting image from SRAM at address 0x10020000
748 [INF] Bootloader chainload address offset: 0x20000
749 [INF] Jumping to the first image slot
750 [Sec Thread] Secure image initializing!
751
752--------------
753
754*Copyright (c) 2018-2019, Arm Limited. All rights reserved.*