blob: 7c5f5b6723c1dd39ff86a833e1eee5937a04d1e0 [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
Marton Berkee9803662019-11-11 14:11:05 +0100221+-------------+-----------------+----------------------------------------------------------+
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+-------------+-----------------+---------------+----------+-------------+-----------------+
232| AN539 | Yes | Yes | Yes | Yes | No |
233+-------------+-----------------+---------------+----------+-------------+-----------------+
234| Musca-A | No | No | No | No | Yes |
235+-------------+-----------------+---------------+----------+-------------+-----------------+
236| Musca-B1 | Yes | No | No | Yes | No |
237+-------------+-----------------+---------------+----------+-------------+-----------------+
238| Musca-S1 | Yes | No | No | Yes | No |
239+-------------+-----------------+---------------+----------+-------------+-----------------+
240| AN524 | Yes | No | No | Yes | No |
241+-------------+-----------------+---------------+----------+-------------+-----------------+
242| PSoC64 | Yes | No | No | No | No |
243+-------------+-----------------+---------------+----------+-------------+-----------------+
244| SSE-200_AWS | Yes | Yes | Yes | Yes | No |
245+-------------+-----------------+---------------+----------+-------------+-----------------+
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200246
247.. [1] To disable BL2, please turn off the ``BL2`` compiler switch in the
David Vincze9c609012019-08-22 13:37:21 +0200248 build configuration file (``bl2/ext/mcuboot/MCUBootConfig.cmake``) or
249 in the command line
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200250
251.. [2] BL2 is enabled by default
252
David Vincze8a2a4e22019-05-24 10:14:23 +0200253.. [3] The image executes in-place (XIP) and is in Overwrite mode for image
254 update by default
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200255
David Vincze8a2a4e22019-05-24 10:14:23 +0200256.. [4] To enable XIP Swap mode, assign the "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
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200259
David Vincze8a2a4e22019-05-24 10:14:23 +0200260.. [5] To enable XIP No-swap, assign the "NO_SWAP" 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
263
264.. [6] To enable RAM loading, assign the "RAM_LOADING" string to the
David Vincze9c609012019-08-22 13:37:21 +0200265 ``MCUBOOT_UPGRADE_STRATEGY`` configuration variable in the build
David Vincze8a2a4e22019-05-24 10:14:23 +0200266 configuration file, or include this macro definition in the command line
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200267
David Vincze9c609012019-08-22 13:37:21 +0200268*******************
269Multiple image boot
270*******************
271It is possible to update the firmware images independently to support the
272scenario when secure and non-secure images are provided by different vendors.
273Multiple image boot is supported only together with the overwrite and swap
274firmware upgrade modes.
275
276It is possible to describe the dependencies of the images on each other in
277order to avoid a faulty upgrade when incompatible versions would be installed.
278These dependencies are part of the image manifest area.
279The dependencies are composed from two parts:
280
281 - **Image identifier:** The number of the image which the current image (whose
282 manifest area contains the dependency entry) depends on. The image identifier
283 starts from 0.
284
285 - **Minimum version:** The minimum version of other image must be present on
286 the device by the end of the upgrade (both images might be updated at the
287 same time).
288
289Dependencies can be added to the images at compile time with the following
290compile time switches:
291
292 - ``S_IMAGE_MIN_VER`` It is added to the non-secure image and specifies the
293 minimum required version of the secure image.
294 - ``NS_IMAGE_MIN_VER`` It is added to the secure image and specifies the
295 minimum required version of the non-secure image.
296
297Example of how to provide the secure image minimum version::
298
299 cmake -G"Unix Makefiles" -DTARGET_PLATFORM=AN521 -DCOMPILER=ARMCLANG -DS_IMAGE_MIN_VER=1.2.3+4 ../
300
Tamas Ban7801ed42019-05-20 13:21:53 +0100301********************
302Signature algorithms
303********************
304MbedTLS library is used to sign the images. The list of supported signing
305algorithms:
Tamas Bane7efdc62019-06-05 13:14:52 +0100306
307 - `RSA-2048`
308 - `RSA-3072`: default
309
David Vincze9c609012019-08-22 13:37:21 +0200310Example keys stored in:
311
312 - ``root-rsa-2048.pem`` : Used to sign single image (S+NS) or secure image
313 in case of multiple image boot
314 - ``root-rsa-2048_1.pem`` : Used to sign non-secure image in case of multiple
315 image boot
316 - ``root-rsa-3072.pem`` : Used to sign single image (S+NS) or secure image
317 in case of multiple image boot
318 - ``root-rsa-3072_1.pem`` : Used to sign non-secure image in case of multiple
319 image boot
Tamas Ban7801ed42019-05-20 13:21:53 +0100320
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200321************************
322Build time configuration
323************************
David Vincze9c609012019-08-22 13:37:21 +0200324MCUBoot related compile time switches can be set in the build configuration
325file::
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200326
David Vincze9c609012019-08-22 13:37:21 +0200327 bl2/ext/mcuboot/MCUBootConfig.cmake
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200328
329Compile time switches:
330
331- BL2 (default: True):
332 - **True:** TF-M built together with bootloader. MCUBoot is executed after
333 reset and it authenticates TF-M and starts secure code.
334 - **False:** TF-M built without bootloader. Secure image linked to the
335 beginning of the device memory and executed after reset. If it is false
David Vincze9c609012019-08-22 13:37:21 +0200336 then using any of the further compile time switches is invalid.
David Vincze8a2a4e22019-05-24 10:14:23 +0200337- MCUBOOT_UPGRADE_STRATEGY (default: "OVERWRITE_ONLY"):
338 - **"OVERWRITE_ONLY":** Default firmware upgrade operation with overwrite.
339 - **"SWAP":** Activate swapping firmware upgrade operation.
340 - **"NO_SWAP":** Activate non-swapping firmware upgrade operation.
341 - **"RAM_LOADING":** Activate RAM loading firmware upgrade operation, where
David Vincze9c609012019-08-22 13:37:21 +0200342 the latest image is copied to RAM and runs from there instead of being
David Vincze8a2a4e22019-05-24 10:14:23 +0200343 executed in-place.
Tamas Ban7801ed42019-05-20 13:21:53 +0100344- MCUBOOT_SIGNATURE_TYPE (default: RSA-3072):
David Vincze9c609012019-08-22 13:37:21 +0200345 - **RSA-3072:** Image is signed with RSA-3072 algorithm
346 - **RSA-2048:** Image is signed with RSA-2048 algorithm
347- MCUBOOT_IMAGE_NUMBER (default: 2):
348 - **1:** Single image boot, secure and non-secure images are signed and
349 updated together.
350 - **2:** Multiple image boot, secure and non-secure images are signed and
351 updatable independently.
352- MCUBOOT_HW_KEY (default: True):
353 - **True:** The hash of public key is provisioned to the SoC and the image
354 manifest contains the whole public key. MCUBoot validates the key before
355 using it for firmware authentication, it calculates the hash of public key
356 from the manifest and compare against the retrieved key-hash from the
357 hardware. This way MCUBoot is independent from the public key(s).
358 Key(s) can be provisioned any time and by different parties.
359 - **False:** The whole public key is embedded to the bootloader code and the
360 image manifest contains only the hash of the public key. MCUBoot validates
361 the key before using it for firmware authentication, it calculates the
362 hash of built-in public key and compare against the retrieved key-hash
363 from the image manifest. After this the bootloader can verify that the
364 image was signed with a private key that corresponds to the retrieved
365 key-hash (it can have more public keys embedded in and it may have to look
366 for the matching one). All the public key(s) must be known at MCUBoot
367 build time.
David Vincze73dfbc52019-10-11 13:54:58 +0200368- MCUBOOT_LOG_LEVEL:
369 Can be used to configure the level of logging in MCUBoot. The possible
370 values are the following:
371
372 - **LOG_LEVEL_OFF**
373 - **LOG_LEVEL_ERROR**
374 - **LOG_LEVEL_WARNING**
375 - **LOG_LEVEL_INFO**
376 - **LOG_LEVEL_DEBUG**
377
378 The logging in MCUBoot can be disabled and thus the code size can be reduced
379 by setting it to ``LOG_LEVEL_OFF``. Its value depends on the build type. If
380 the build type is ``Debug`` and a value has been provided (e.g. through the
381 command line or the CMake GUI) then that value will be used, otherwise it is
382 ``LOG_LEVEL_INFO`` by default. In case of different kinds of ``Release``
383 builds its value is set to ``LOG_LEVEL_OFF`` (any other value will be
384 overridden).
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200385
386Image versioning
387================
David Vincze9c609012019-08-22 13:37:21 +0200388An image version number is written to its header by one of the Python scripts,
David Vincze8a2a4e22019-05-24 10:14:23 +0200389and this number is used by the bootloader when the non-swapping or RAM loading
David Vincze9c609012019-08-22 13:37:21 +0200390mode is enabled. It is also used in case of multiple image boot when the
391bootloader checks the image dependencies if any have been added to the images.
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200392
David Vincze9c609012019-08-22 13:37:21 +0200393The version number of the image (single image boot) can manually be passed in
394through the command line in the cmake configuration step::
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200395
396 cmake -G"Unix Makefiles" -DTARGET_PLATFORM=AN521 -DCOMPILER=ARMCLANG -DIMAGE_VERSION=1.2.3+4 ../
397
398Alternatively, the version number can be less specific (e.g 1, 1.2, or 1.2.3),
399where the missing numbers are automatically set to zero. The image version
400number argument is optional, and if it is left out, then the version numbers of
401the image(s) being built in the same directory will automatically change. In
402this case, the last component (the build number) automatically increments from
403the previous one: 0.0.0+1 -> 0.0.0+2, for as many times as the build is re-ran,
404**until a number is explicitly provided**. If automatic versioning is in place
405and then an image version number is provided for the first time, the new number
406will take precedence and be used instead. All subsequent image versions are
407then set to the last number that has been specified, and the build number would
408stop incrementing. Any new version numbers that are provided will overwrite
409the previous one: 0.0.0+1 -> 0.0.0+2. Note: To re-apply automatic image
410versioning, please start a clean build without specifying the image version
David Vincze9c609012019-08-22 13:37:21 +0200411number at all. In case of multiple image boot there are separate compile time
412switches for both images to provide their version: ``IMAGE_VERSION_S`` and
413``IMAGE_VERSION_NS``. These must be used instead of ``IMAGE_VERSION``.
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200414
David Vincze060968d2019-05-23 01:13:14 +0200415Security counter
416================
417Each signed image contains a security counter in its manifest. It is used by the
418bootloader and its aim is to have an independent (from the image version)
419counter to ensure rollback protection by comparing the new image's security
420counter against the original (currently active) image's security counter during
421the image upgrade process. It is added to the manifest (to the TLV area that is
David Vincze9c609012019-08-22 13:37:21 +0200422appended to the end of the image) by one of the Python scripts when signing the
David Vincze060968d2019-05-23 01:13:14 +0200423image. The value of the security counter is security critical data and it is in
David Vincze9c609012019-08-22 13:37:21 +0200424the integrity protected part of the image. The last valid security counter
425should always be stored in a non-volatile and trusted component of the device
426and its value should always be increased if a security flaw was fixed in the
427current image version. The value of the security counter (single image boot) can
428be specified at build time in the cmake configuration step::
David Vincze060968d2019-05-23 01:13:14 +0200429
430 cmake -G"Unix Makefiles" -DTARGET_PLATFORM=AN521 -DCOMPILER=ARMCLANG -DSECURITY_COUNTER=42 ../
431
432The security counter can be independent from the image version, but not
433necessarily. Alternatively, if it is not specified at build time with the
David Vincze9c609012019-08-22 13:37:21 +0200434``SECURITY_COUNTER`` option the Python script will automatically generate it
David Vincze060968d2019-05-23 01:13:14 +0200435from the image version number (not including the build number) and this value
David Vincze9c609012019-08-22 13:37:21 +0200436will be added to the signed image. In case of multiple image boot there are
437separate compile time switches for both images to provide their security counter
438value: ``SECURITY_COUNTER_S`` and ``SECURITY_COUNTER_NS``. These must be used
439instead of ``SECURITY_COUNTER``. If these are not defined then the security
440counter values will be derived from the corresponding image version similar to
441the single image boot.
442
443***************************
444Signing the images manually
445***************************
446Normally the build system handles the signing (computing hash over the image
447and security critical manifest data and then signing the hash) of the firmware
448images. However, the images also can be signed manually by using the ``imgtool``
449Python program which is located in the ``bl2/ext/mcuboot/scripts`` directory.
450Issue the ``python3 imgtool.py sign --help`` command in the directory for more
451information about the mandatory and optional arguments. The tool takes an image
452in binary or Intel Hex format and adds a header and trailer that MCUBoot is
453expecting. In case of single image boot after a successful build the
454``tfm_full.bin`` build artifact (contains the concatenated secure and non-secure
455images) must be passed to the script and in case of multiple image boot the
456``tfm_s.bin`` and ``tfm_ns.bin`` binaries can be passed to prepare the signed
457images.
458
459Signing the secure image manually in case of multiple image boot
460================================================================
461
462::
463
464 python3 bl2/ext/mcuboot/scripts/imgtool.py sign \
465 --layout <build_dir>/image_macros_preprocessed_s.c \
466 -k <tfm_dir>/bl2/ext/mcuboot/root-rsa-3072.pem \
467 --public-key-format full \
468 --align 1 \
469 -v 1.2.3+4 \
470 -d "(1,1.2.3+0)" \
471 -s 42 \
472 -H 0x400 \
473 <build_dir>/install/outputs/AN521/tfm_s.bin \
474 <build_dir>/tfm_s_signed.bin
David Vincze060968d2019-05-23 01:13:14 +0200475
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200476************************
477Testing firmware upgrade
478************************
479As downloading the new firmware image is out of scope for MCUBoot, the update
480process is started from a state where the original and the new image are already
481programmed to the appropriate memory slots. To generate the original and a new
482firmware package, TF-M is built twice with different build configurations.
483
David Vincze8a2a4e22019-05-24 10:14:23 +0200484Overwriting firmware upgrade
Tamas Bane7efdc62019-06-05 13:14:52 +0100485============================
David Vincze9c609012019-08-22 13:37:21 +0200486Run TF-M build twice with ``MCUBOOT_IMAGE_NUMBER`` set to "1" in both cases
487(single image boot), but with two different build configurations: default and
David Vincze8a2a4e22019-05-24 10:14:23 +0200488regression. Save the artifacts between builds, because second run can overwrite
David Vincze8bdfc2d2019-03-18 15:49:23 +0100489original binaries. Download default build to the primary slot and regression
490build to the secondary slot.
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200491
492Executing firmware upgrade on FVP_MPS2_AEMv8M
493---------------------------------------------
494.. code-block:: bash
495
496 <DS5_PATH>/sw/models/bin/FVP_MPS2_AEMv8M \
497 --parameter fvp_mps2.platform_type=2 \
498 --parameter cpu0.baseline=0 \
499 --parameter cpu0.INITVTOR_S=0x10000000 \
500 --parameter cpu0.semihosting-enable=0 \
501 --parameter fvp_mps2.DISABLE_GATING=0 \
502 --parameter fvp_mps2.telnetterminal0.start_telnet=1 \
503 --parameter fvp_mps2.telnetterminal1.start_telnet=0 \
504 --parameter fvp_mps2.telnetterminal2.start_telnet=0 \
505 --parameter fvp_mps2.telnetterminal0.quiet=0 \
506 --parameter fvp_mps2.telnetterminal1.quiet=1 \
507 --parameter fvp_mps2.telnetterminal2.quiet=1 \
508 --application cpu0=<build_dir>/bl2/ext/mcuboot/mcuboot.axf \
509 --data cpu0=<default_build_dir>/install/outputs/fvp/tfm_s_ns_signed.bin@0x10080000 \
510 --data cpu0=<regresssion_build_dir>/install/outputs/fvp/tfm_s_ns_signed.bin@0x10180000
511
512Executing firmware upgrade on SSE 200 FPGA on MPS2 board
513--------------------------------------------------------
514
515::
516
517 TITLE: Versatile Express Images Configuration File
518 [IMAGES]
519 TOTALIMAGES: 3 ;Number of Images (Max: 32)
520 IMAGE0ADDRESS: 0x00000000
521 IMAGE0FILE: \Software\mcuboot.axf ; BL2 bootloader
522 IMAGE1ADDRESS: 0x10080000
David Vincze8a2a4e22019-05-24 10:14:23 +0200523 IMAGE1FILE: \Software\tfm_sig1.bin ; TF-M default test binary blob
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200524 IMAGE2ADDRESS: 0x10180000
525 IMAGE2FILE: \Software\tfm_sig2.bin ; TF-M regression test binary blob
526
David Vincze8a2a4e22019-05-24 10:14:23 +0200527The following message will be shown in case of successful firmware upgrade:
528
529::
530
531 [INF] Starting bootloader
532 [INF] Swap type: test
David Vincze8bdfc2d2019-03-18 15:49:23 +0100533 [INF] Image upgrade secondary slot -> primary slot
534 [INF] Erasing the primary slot
535 [INF] Copying the secondary slot to the primary slot: 0x100000 bytes
David Vincze8a2a4e22019-05-24 10:14:23 +0200536 [INF] Bootloader chainload address offset: 0x80000
537 [INF] Jumping to the first image slot
538 [Sec Thread] Secure image initializing!
539
540 #### Execute test suites for the Secure area ####
541 Running Test Suite PSA protected storage S interface tests (TFM_SST_TEST_2XXX)...
542 ...
543
David Vincze9c609012019-08-22 13:37:21 +0200544To update the secure and non-secure images separately (multiple image boot),
545set the ``MCUBOOT_IMAGE_NUMBER`` switch to "2" (this is the default
546configuration value) and follow the same instructions as in case of single image
547boot.
548
549Executing multiple firmware upgrades on SSE 200 FPGA on MPS2 board
550------------------------------------------------------------------
551
552::
553
554 TITLE: Versatile Express Images Configuration File
555 [IMAGES]
556 TOTALIMAGES: 4 ;Number of Images (Max: 32)
557 IMAGE0ADDRESS: 0x00000000
558 IMAGE0FILE: \Software\mcuboot.axf ; BL2 bootloader
559 IMAGE1ADDRESS: 0x10080000
560 IMAGE1FILE: \Software\tfm_sign.bin ; TF-M default test binary blob
561 IMAGE2ADDRESS: 0x10180000
562 IMAGE2FILE: \Software\tfm_ss1.bin ; TF-M regression test secure (signed) image
563 IMAGE3ADDRESS: 0x10200000
564 IMAGE3FILE: \Software\tfm_nss1.bin ; TF-M regression test non-secure (signed) image
565
566Note that both the concatenated binary blob (the images are signed separately
567and then concatenated) and the separate signed images can be downloaded to the
568device because on this platform (AN521) both the primary slots and the secondary
569slots are contiguous areas in the Flash (see `Integration with TF-M`_). The
570following message will be shown in case of successful firmware upgrades:
571
572::
573
574 [INF] Starting bootloader
575 [INF] Swap type: test
576 [INF] Swap type: test
577 [INF] Image upgrade secondary slot -> primary slot
578 [INF] Erasing the primary slot
579 [INF] Copying the secondary slot to the primary slot: 0x80000 bytes
580 [INF] Image upgrade secondary slot -> primary slot
581 [INF] Erasing the primary slot
582 [INF] Copying the secondary slot to the primary slot: 0x80000 bytes
583 [INF] Bootloader chainload address offset: 0x80000
584 [INF] Jumping to the first image slot
585 [Sec Thread] Secure image initializing!
586 TFM level is: 1
587 [Sec Thread] Jumping to non-secure code...
588
589 #### Execute test suites for the Secure area ####
590 Running Test Suite PSA protected storage S interface tests (TFM_SST_TEST_2XXX)...
591 ...
592
David Vincze8a2a4e22019-05-24 10:14:23 +0200593Swapping firmware upgrade
594=============================
595Follow the same instructions and platform related configurations as in case of
596overwriting build including these changes:
597
David Vincze9c609012019-08-22 13:37:21 +0200598- Set the ``MCUBOOT_UPGRADE_STRATEGY`` compile time switch to "SWAP"
599 before build.
600- Set the ``MCUBOOT_IMAGE_NUMBER`` compile time switch to "1" (single image
601 boot) or "2" (multiple image boot) before build.
David Vincze8a2a4e22019-05-24 10:14:23 +0200602
David Vincze9c609012019-08-22 13:37:21 +0200603During single image boot the following message will be shown in case of
604successful firmware upgrade, ``Swap type: test`` indicates that images were
605swapped:
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200606
607::
608
David Vincze8a2a4e22019-05-24 10:14:23 +0200609 [INF] Starting bootloader
610 [INF] Image 0: magic= good, copy_done=0x3, image_ok=0x3
611 [INF] Scratch: magic= bad, copy_done=0x0, image_ok=0x2
David Vincze8bdfc2d2019-03-18 15:49:23 +0100612 [INF] Boot source: primary slot
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200613 [INF] Swap type: test
614 [INF] Bootloader chainload address offset: 0x80000
615 [INF] Jumping to the first image slot
616 [Sec Thread] Secure image initializing!
617
David Vincze8a2a4e22019-05-24 10:14:23 +0200618 #### Execute test suites for the Secure area ####
619 Running Test Suite PSA protected storage S interface tests (TFM_SST_TEST_2XXX)...
620 ...
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200621
622Non-swapping firmware upgrade
623=============================
David Vincze9c609012019-08-22 13:37:21 +0200624Follow the same instructions and platform related configurations as in case of
625overwriting build including these changes:
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200626
David Vincze8a2a4e22019-05-24 10:14:23 +0200627- Set the ``MCUBOOT_UPGRADE_STRATEGY`` compile time switch to "NO_SWAP"
628 before build.
David Vincze9c609012019-08-22 13:37:21 +0200629- Make sure the image version number was increased between the two build runs
630 either by specifying it manually or by checking in the build log that it was
631 incremented automatically.
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200632
633Executing firmware upgrade on FVP_MPS2_AEMv8M
634---------------------------------------------
635
636.. code-block:: bash
637
638 <DS5_PATH>/sw/models/bin/FVP_MPS2_AEMv8M \
639 --parameter fvp_mps2.platform_type=2 \
640 --parameter cpu0.baseline=0 \
641 --parameter cpu0.INITVTOR_S=0x10000000 \
642 --parameter cpu0.semihosting-enable=0 \
643 --parameter fvp_mps2.DISABLE_GATING=0 \
644 --parameter fvp_mps2.telnetterminal0.start_telnet=1 \
645 --parameter fvp_mps2.telnetterminal1.start_telnet=0 \
646 --parameter fvp_mps2.telnetterminal2.start_telnet=0 \
647 --parameter fvp_mps2.telnetterminal0.quiet=0 \
648 --parameter fvp_mps2.telnetterminal1.quiet=1 \
649 --parameter fvp_mps2.telnetterminal2.quiet=1 \
650 --application cpu0=<build_dir>/bl2/ext/mcuboot/mcuboot.axf \
Tamas Banbba85642019-06-06 09:31:59 +0100651 --data cpu0=<default_build_dir>/install/outputs/fvp/tfm_s_ns_signed.bin@0x10080000 \
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200652 --data cpu0=<regresssion_build_dir>/install/outputs/fvp/tfm_s_ns_signed_1.bin@0x10180000
653
654Executing firmware upgrade on SSE 200 FPGA on MPS2 board
655--------------------------------------------------------
656
657::
658
659 TITLE: Versatile Express Images Configuration File
660 [IMAGES]
661 TOTALIMAGES: 3 ;Number of Images (Max: 32)
662 IMAGE0ADDRESS: 0x00000000
663 IMAGE0FILE: \Software\mcuboot.axf ; BL2 bootloader
664 IMAGE1ADDRESS: 0x10080000
Tamas Banbba85642019-06-06 09:31:59 +0100665 IMAGE1FILE: \Software\tfm_sign.bin ; TF-M default test binary blob
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200666 IMAGE2ADDRESS: 0x10180000
667 IMAGE2FILE: \Software\tfm_sig1.bin ; TF-M regression test binary blob
668
669Executing firmware upgrade on Musca-B1 board
670--------------------------------------------
David Vincze9c609012019-08-22 13:37:21 +0200671After the two images have been built, they can be concatenated to create the
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200672combined image using ``srec_cat``:
673
674- Linux::
David Vincze8a2a4e22019-05-24 10:14:23 +0200675
Tamas Bane1570bd2019-10-25 15:20:35 +0100676 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 +0200677
678- Windows::
David Vincze8a2a4e22019-05-24 10:14:23 +0200679
Tamas Bane1570bd2019-10-25 15:20:35 +0100680 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 +0200681
682The following message will be shown in case of successful firmware upgrade,
683notice that image with higher version number (``version=1.2.3.5``) is executed:
684
685::
686
687 [INF] Starting bootloader
David Vincze8a2a4e22019-05-24 10:14:23 +0200688 [INF] Image 0: version=1.2.3.4, magic= good, image_ok=0x3
689 [INF] Image 1: version=1.2.3.5, magic= good, image_ok=0x3
David Vincze8bdfc2d2019-03-18 15:49:23 +0100690 [INF] Booting image from the secondary slot
David Vincze8a2a4e22019-05-24 10:14:23 +0200691 [INF] Bootloader chainload address offset: 0xa0000
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200692 [INF] Jumping to the first image slot
693 [Sec Thread] Secure image initializing!
694
David Vincze8a2a4e22019-05-24 10:14:23 +0200695 #### Execute test suites for the Secure area ####
696 Running Test Suite PSA protected storage S interface tests (TFM_SST_TEST_2XXX)...
697 ...
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200698
Kevin Peng0a142112018-09-21 10:42:22 +0800699Executing firmware upgrade on CoreLink SSE-200 Subsystem for MPS3 (AN524)
700-------------------------------------------------------------------------
701
702::
703
704 TITLE: Arm MPS3 FPGA prototyping board Images Configuration File
705
706 [IMAGES]
707 TOTALIMAGES: 3 ;Number of Images (Max: 32)
708
709 IMAGE0UPDATE: AUTO ;Image Update:NONE/AUTO/FORCE
710 IMAGE0ADDRESS: 0x00000000
711 IMAGE0FILE: \SOFTWARE\mcuboot.bin ;BL2 bootloader
712 IMAGE1UPDATE: AUTO
713 IMAGE1ADDRESS: 0x00040000
714 IMAGE1FILE: \SOFTWARE\tfm_sig0.bin ;TF-M example application binary blob
715 IMAGE2UPDATE: AUTO
716 IMAGE2ADDRESS: 0x000C0000
717 IMAGE2FILE: \SOFTWARE\tfm_sig1.bin ;TF-M regression test binary blob
718
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200719RAM loading firmware upgrade
720============================
David Vincze8a2a4e22019-05-24 10:14:23 +0200721To enable RAM loading, please set ``MCUBOOT_UPGRADE_STRATEGY`` to "RAM_LOADING"
722(either in the configuration file or through the command line), and then specify
723a destination load address in RAM where the image can be copied to and executed
724from. The ``IMAGE_LOAD_ADDRESS`` macro must be specified in the target dependent
725files, for example with Musca-A, its ``flash_layout.h`` file in the ``platform``
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200726folder should include ``#define IMAGE_LOAD_ADDRESS #0x10020000``
727
David Vincze8a2a4e22019-05-24 10:14:23 +0200728Executing firmware upgrade on Musca-A board
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200729--------------------------------------------
730After two images have been built, they can be concatenated to create the
731combined image using ``srec_cat``:
732
David Vincze8a2a4e22019-05-24 10:14:23 +0200733- Linux::
734
735 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 +0200736
737- Windows::
David Vincze8a2a4e22019-05-24 10:14:23 +0200738
David Vincze9c609012019-08-22 13:37:21 +0200739 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 +0200740
741The following message will be shown in case of successful firmware upgrade when,
742RAM loading is enabled, notice that image with higher version number
743(``version=0.0.0.2``) is executed:
744
745::
746
David Vincze8a2a4e22019-05-24 10:14:23 +0200747 [INF] Starting bootloader
748 [INF] Image 0: version=0.0.0.1, magic= good, image_ok=0x3
749 [INF] Image 1: version=0.0.0.2, magic= good, image_ok=0x3
David Vincze8bdfc2d2019-03-18 15:49:23 +0100750 [INF] Image has been copied from the secondary slot in flash to SRAM address 0x10020000
Gyorgy Szingdb9783c2019-04-17 21:08:48 +0200751 [INF] Booting image from SRAM at address 0x10020000
752 [INF] Bootloader chainload address offset: 0x20000
753 [INF] Jumping to the first image slot
754 [Sec Thread] Secure image initializing!
755
756--------------
757
758*Copyright (c) 2018-2019, Arm Limited. All rights reserved.*