Paul Beesley | fc9ee36 | 2019-03-07 15:47:15 +0000 | [diff] [blame] | 1 | Firmware Design |
| 2 | =============== |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 3 | |
Dan Handley | 610e7e1 | 2018-03-01 18:44:00 +0000 | [diff] [blame] | 4 | Trusted Firmware-A (TF-A) implements a subset of the Trusted Board Boot |
Paul Beesley | f864067 | 2019-04-12 14:19:42 +0100 | [diff] [blame] | 5 | Requirements (TBBR) Platform Design Document (PDD) for Arm reference |
| 6 | platforms. |
| 7 | |
| 8 | The TBB sequence starts when the platform is powered on and runs up |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 9 | to the stage where it hands-off control to firmware running in the normal |
| 10 | world in DRAM. This is the cold boot path. |
| 11 | |
Manish V Badarkhe | 9d24e9b | 2023-06-15 09:14:33 +0100 | [diff] [blame] | 12 | TF-A also implements the `PSCI`_ as a runtime service. PSCI is the interface |
| 13 | from normal world software to firmware implementing power management use-cases |
| 14 | (for example, secondary CPU boot, hotplug and idle). Normal world software can |
| 15 | access TF-A runtime services via the Arm SMC (Secure Monitor Call) instruction. |
| 16 | The SMC instruction must be used as mandated by the SMC Calling Convention |
| 17 | (`SMCCC`_). |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 18 | |
Dan Handley | 610e7e1 | 2018-03-01 18:44:00 +0000 | [diff] [blame] | 19 | TF-A implements a framework for configuring and managing interrupts generated |
| 20 | in either security state. The details of the interrupt management framework |
Paul Beesley | f864067 | 2019-04-12 14:19:42 +0100 | [diff] [blame] | 21 | and its design can be found in :ref:`Interrupt Management Framework`. |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 22 | |
Dan Handley | 610e7e1 | 2018-03-01 18:44:00 +0000 | [diff] [blame] | 23 | TF-A also implements a library for setting up and managing the translation |
Paul Beesley | f864067 | 2019-04-12 14:19:42 +0100 | [diff] [blame] | 24 | tables. The details of this library can be found in |
| 25 | :ref:`Translation (XLAT) Tables Library`. |
Antonio Nino Diaz | b5d6809 | 2017-05-23 11:49:22 +0100 | [diff] [blame] | 26 | |
Dan Handley | 610e7e1 | 2018-03-01 18:44:00 +0000 | [diff] [blame] | 27 | TF-A can be built to support either AArch64 or AArch32 execution state. |
Zelalem Aweke | 023b1a4 | 2021-10-21 13:59:45 -0500 | [diff] [blame] | 28 | |
Harrison Mutai | 3005be0 | 2023-05-12 09:45:14 +0100 | [diff] [blame] | 29 | .. note:: |
| 30 | The descriptions in this chapter are for the Arm TrustZone architecture. |
| 31 | For changes to the firmware design for the `Arm Confidential Compute |
| 32 | Architecture (Arm CCA)`_ please refer to the chapter :ref:`Realm Management |
| 33 | Extension (RME)`. |
Zelalem Aweke | 023b1a4 | 2021-10-21 13:59:45 -0500 | [diff] [blame] | 34 | |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 35 | Cold boot |
| 36 | --------- |
| 37 | |
| 38 | The cold boot path starts when the platform is physically turned on. If |
| 39 | ``COLD_BOOT_SINGLE_CPU=0``, one of the CPUs released from reset is chosen as the |
| 40 | primary CPU, and the remaining CPUs are considered secondary CPUs. The primary |
| 41 | CPU is chosen through platform-specific means. The cold boot path is mainly |
| 42 | executed by the primary CPU, other than essential CPU initialization executed by |
| 43 | all CPUs. The secondary CPUs are kept in a safe platform-specific state until |
| 44 | the primary CPU has performed enough initialization to boot them. |
| 45 | |
Paul Beesley | f864067 | 2019-04-12 14:19:42 +0100 | [diff] [blame] | 46 | Refer to the :ref:`CPU Reset` for more information on the effect of the |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 47 | ``COLD_BOOT_SINGLE_CPU`` platform build option. |
| 48 | |
Dan Handley | 610e7e1 | 2018-03-01 18:44:00 +0000 | [diff] [blame] | 49 | The cold boot path in this implementation of TF-A depends on the execution |
| 50 | state. For AArch64, it is divided into five steps (in order of execution): |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 51 | |
| 52 | - Boot Loader stage 1 (BL1) *AP Trusted ROM* |
| 53 | - Boot Loader stage 2 (BL2) *Trusted Boot Firmware* |
| 54 | - Boot Loader stage 3-1 (BL31) *EL3 Runtime Software* |
| 55 | - Boot Loader stage 3-2 (BL32) *Secure-EL1 Payload* (optional) |
| 56 | - Boot Loader stage 3-3 (BL33) *Non-trusted Firmware* |
| 57 | |
| 58 | For AArch32, it is divided into four steps (in order of execution): |
| 59 | |
| 60 | - Boot Loader stage 1 (BL1) *AP Trusted ROM* |
| 61 | - Boot Loader stage 2 (BL2) *Trusted Boot Firmware* |
| 62 | - Boot Loader stage 3-2 (BL32) *EL3 Runtime Software* |
| 63 | - Boot Loader stage 3-3 (BL33) *Non-trusted Firmware* |
| 64 | |
Dan Handley | 610e7e1 | 2018-03-01 18:44:00 +0000 | [diff] [blame] | 65 | Arm development platforms (Fixed Virtual Platforms (FVPs) and Juno) implement a |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 66 | combination of the following types of memory regions. Each bootloader stage uses |
| 67 | one or more of these memory regions. |
| 68 | |
| 69 | - Regions accessible from both non-secure and secure states. For example, |
| 70 | non-trusted SRAM, ROM and DRAM. |
| 71 | - Regions accessible from only the secure state. For example, trusted SRAM and |
| 72 | ROM. The FVPs also implement the trusted DRAM which is statically |
| 73 | configured. Additionally, the Base FVPs and Juno development platform |
| 74 | configure the TrustZone Controller (TZC) to create a region in the DRAM |
| 75 | which is accessible only from the secure state. |
| 76 | |
| 77 | The sections below provide the following details: |
| 78 | |
Soby Mathew | b1bf044 | 2018-02-16 14:52:52 +0000 | [diff] [blame] | 79 | - dynamic configuration of Boot Loader stages |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 80 | - initialization and execution of the first three stages during cold boot |
| 81 | - specification of the EL3 Runtime Software (BL31 for AArch64 and BL32 for |
| 82 | AArch32) entrypoint requirements for use by alternative Trusted Boot |
| 83 | Firmware in place of the provided BL1 and BL2 |
| 84 | |
Soby Mathew | b1bf044 | 2018-02-16 14:52:52 +0000 | [diff] [blame] | 85 | Dynamic Configuration during cold boot |
| 86 | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
| 87 | |
| 88 | Each of the Boot Loader stages may be dynamically configured if required by the |
| 89 | platform. The Boot Loader stage may optionally specify a firmware |
| 90 | configuration file and/or hardware configuration file as listed below: |
| 91 | |
Manish V Badarkhe | ece96fd | 2020-06-13 09:42:28 +0100 | [diff] [blame] | 92 | - FW_CONFIG - The firmware configuration file. Holds properties shared across |
| 93 | all BLx images. |
| 94 | An example is the "dtb-registry" node, which contains the information about |
| 95 | the other device tree configurations (load-address, size, image_id). |
Soby Mathew | b1bf044 | 2018-02-16 14:52:52 +0000 | [diff] [blame] | 96 | - HW_CONFIG - The hardware configuration file. Can be shared by all Boot Loader |
| 97 | stages and also by the Normal World Rich OS. |
| 98 | - TB_FW_CONFIG - Trusted Boot Firmware configuration file. Shared between BL1 |
| 99 | and BL2. |
| 100 | - SOC_FW_CONFIG - SoC Firmware configuration file. Used by BL31. |
| 101 | - TOS_FW_CONFIG - Trusted OS Firmware configuration file. Used by Trusted OS |
| 102 | (BL32). |
| 103 | - NT_FW_CONFIG - Non Trusted Firmware configuration file. Used by Non-trusted |
| 104 | firmware (BL33). |
| 105 | |
| 106 | The Arm development platforms use the Flattened Device Tree format for the |
| 107 | dynamic configuration files. |
| 108 | |
| 109 | Each Boot Loader stage can pass up to 4 arguments via registers to the next |
| 110 | stage. BL2 passes the list of the next images to execute to the *EL3 Runtime |
| 111 | Software* (BL31 for AArch64 and BL32 for AArch32) via `arg0`. All the other |
| 112 | arguments are platform defined. The Arm development platforms use the following |
| 113 | convention: |
| 114 | |
| 115 | - BL1 passes the address of a meminfo_t structure to BL2 via ``arg1``. This |
| 116 | structure contains the memory layout available to BL2. |
| 117 | - When dynamic configuration files are present, the firmware configuration for |
| 118 | the next Boot Loader stage is populated in the first available argument and |
| 119 | the generic hardware configuration is passed the next available argument. |
| 120 | For example, |
| 121 | |
Manish V Badarkhe | ece96fd | 2020-06-13 09:42:28 +0100 | [diff] [blame] | 122 | - FW_CONFIG is loaded by BL1, then its address is passed in ``arg0`` to BL2. |
| 123 | - TB_FW_CONFIG address is retrieved by BL2 from FW_CONFIG device tree. |
Soby Mathew | b1bf044 | 2018-02-16 14:52:52 +0000 | [diff] [blame] | 124 | - If HW_CONFIG is loaded by BL1, then its address is passed in ``arg2`` to |
| 125 | BL2. Note, ``arg1`` is already used for meminfo_t. |
| 126 | - If SOC_FW_CONFIG is loaded by BL2, then its address is passed in ``arg1`` |
| 127 | to BL31. Note, ``arg0`` is used to pass the list of executable images. |
| 128 | - Similarly, if HW_CONFIG is loaded by BL1 or BL2, then its address is |
| 129 | passed in ``arg2`` to BL31. |
| 130 | - For other BL3x images, if the firmware configuration file is loaded by |
| 131 | BL2, then its address is passed in ``arg0`` and if HW_CONFIG is loaded |
| 132 | then its address is passed in ``arg1``. |
Manish V Badarkhe | 70d8eee | 2022-04-12 21:11:56 +0100 | [diff] [blame] | 133 | - In case of the Arm FVP platform, FW_CONFIG address passed in ``arg1`` to |
| 134 | BL31/SP_MIN, and the SOC_FW_CONFIG and HW_CONFIG details are retrieved |
| 135 | from FW_CONFIG device tree. |
Soby Mathew | b1bf044 | 2018-02-16 14:52:52 +0000 | [diff] [blame] | 136 | |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 137 | BL1 |
| 138 | ~~~ |
| 139 | |
| 140 | This stage begins execution from the platform's reset vector at EL3. The reset |
| 141 | address is platform dependent but it is usually located in a Trusted ROM area. |
| 142 | The BL1 data section is copied to trusted SRAM at runtime. |
| 143 | |
Dan Handley | 610e7e1 | 2018-03-01 18:44:00 +0000 | [diff] [blame] | 144 | On the Arm development platforms, BL1 code starts execution from the reset |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 145 | vector defined by the constant ``BL1_RO_BASE``. The BL1 data section is copied |
| 146 | to the top of trusted SRAM as defined by the constant ``BL1_RW_BASE``. |
| 147 | |
| 148 | The functionality implemented by this stage is as follows. |
| 149 | |
| 150 | Determination of boot path |
| 151 | ^^^^^^^^^^^^^^^^^^^^^^^^^^ |
| 152 | |
| 153 | Whenever a CPU is released from reset, BL1 needs to distinguish between a warm |
| 154 | boot and a cold boot. This is done using platform-specific mechanisms (see the |
Paul Beesley | f864067 | 2019-04-12 14:19:42 +0100 | [diff] [blame] | 155 | ``plat_get_my_entrypoint()`` function in the :ref:`Porting Guide`). In the case |
| 156 | of a warm boot, a CPU is expected to continue execution from a separate |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 157 | entrypoint. In the case of a cold boot, the secondary CPUs are placed in a safe |
| 158 | platform-specific state (see the ``plat_secondary_cold_boot_setup()`` function in |
Paul Beesley | f864067 | 2019-04-12 14:19:42 +0100 | [diff] [blame] | 159 | the :ref:`Porting Guide`) while the primary CPU executes the remaining cold boot |
| 160 | path as described in the following sections. |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 161 | |
| 162 | This step only applies when ``PROGRAMMABLE_RESET_ADDRESS=0``. Refer to the |
Paul Beesley | f864067 | 2019-04-12 14:19:42 +0100 | [diff] [blame] | 163 | :ref:`CPU Reset` for more information on the effect of the |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 164 | ``PROGRAMMABLE_RESET_ADDRESS`` platform build option. |
| 165 | |
| 166 | Architectural initialization |
| 167 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ |
| 168 | |
| 169 | BL1 performs minimal architectural initialization as follows. |
| 170 | |
| 171 | - Exception vectors |
| 172 | |
| 173 | BL1 sets up simple exception vectors for both synchronous and asynchronous |
| 174 | exceptions. The default behavior upon receiving an exception is to populate |
| 175 | a status code in the general purpose register ``X0/R0`` and call the |
Paul Beesley | f864067 | 2019-04-12 14:19:42 +0100 | [diff] [blame] | 176 | ``plat_report_exception()`` function (see the :ref:`Porting Guide`). The |
| 177 | status code is one of: |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 178 | |
| 179 | For AArch64: |
| 180 | |
| 181 | :: |
| 182 | |
| 183 | 0x0 : Synchronous exception from Current EL with SP_EL0 |
| 184 | 0x1 : IRQ exception from Current EL with SP_EL0 |
| 185 | 0x2 : FIQ exception from Current EL with SP_EL0 |
| 186 | 0x3 : System Error exception from Current EL with SP_EL0 |
| 187 | 0x4 : Synchronous exception from Current EL with SP_ELx |
| 188 | 0x5 : IRQ exception from Current EL with SP_ELx |
| 189 | 0x6 : FIQ exception from Current EL with SP_ELx |
| 190 | 0x7 : System Error exception from Current EL with SP_ELx |
| 191 | 0x8 : Synchronous exception from Lower EL using aarch64 |
| 192 | 0x9 : IRQ exception from Lower EL using aarch64 |
| 193 | 0xa : FIQ exception from Lower EL using aarch64 |
| 194 | 0xb : System Error exception from Lower EL using aarch64 |
| 195 | 0xc : Synchronous exception from Lower EL using aarch32 |
| 196 | 0xd : IRQ exception from Lower EL using aarch32 |
| 197 | 0xe : FIQ exception from Lower EL using aarch32 |
| 198 | 0xf : System Error exception from Lower EL using aarch32 |
| 199 | |
| 200 | For AArch32: |
| 201 | |
| 202 | :: |
| 203 | |
| 204 | 0x10 : User mode |
| 205 | 0x11 : FIQ mode |
| 206 | 0x12 : IRQ mode |
| 207 | 0x13 : SVC mode |
| 208 | 0x16 : Monitor mode |
| 209 | 0x17 : Abort mode |
| 210 | 0x1a : Hypervisor mode |
| 211 | 0x1b : Undefined mode |
| 212 | 0x1f : System mode |
| 213 | |
Dan Handley | 610e7e1 | 2018-03-01 18:44:00 +0000 | [diff] [blame] | 214 | The ``plat_report_exception()`` implementation on the Arm FVP port programs |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 215 | the Versatile Express System LED register in the following format to |
Paul Beesley | 1fbc97b | 2019-01-11 18:26:51 +0000 | [diff] [blame] | 216 | indicate the occurrence of an unexpected exception: |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 217 | |
| 218 | :: |
| 219 | |
| 220 | SYS_LED[0] - Security state (Secure=0/Non-Secure=1) |
| 221 | SYS_LED[2:1] - Exception Level (EL3=0x3, EL2=0x2, EL1=0x1, EL0=0x0) |
| 222 | For AArch32 it is always 0x0 |
| 223 | SYS_LED[7:3] - Exception Class (Sync/Async & origin). This is the value |
| 224 | of the status code |
| 225 | |
| 226 | A write to the LED register reflects in the System LEDs (S6LED0..7) in the |
| 227 | CLCD window of the FVP. |
| 228 | |
| 229 | BL1 does not expect to receive any exceptions other than the SMC exception. |
| 230 | For the latter, BL1 installs a simple stub. The stub expects to receive a |
| 231 | limited set of SMC types (determined by their function IDs in the general |
| 232 | purpose register ``X0/R0``): |
| 233 | |
| 234 | - ``BL1_SMC_RUN_IMAGE``: This SMC is raised by BL2 to make BL1 pass control |
| 235 | to EL3 Runtime Software. |
Paul Beesley | f864067 | 2019-04-12 14:19:42 +0100 | [diff] [blame] | 236 | - All SMCs listed in section "BL1 SMC Interface" in the :ref:`Firmware Update (FWU)` |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 237 | Design Guide are supported for AArch64 only. These SMCs are currently |
| 238 | not supported when BL1 is built for AArch32. |
| 239 | |
| 240 | Any other SMC leads to an assertion failure. |
| 241 | |
| 242 | - CPU initialization |
| 243 | |
| 244 | BL1 calls the ``reset_handler()`` function which in turn calls the CPU |
| 245 | specific reset handler function (see the section: "CPU specific operations |
| 246 | framework"). |
| 247 | |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 248 | Platform initialization |
| 249 | ^^^^^^^^^^^^^^^^^^^^^^^ |
| 250 | |
Dan Handley | 610e7e1 | 2018-03-01 18:44:00 +0000 | [diff] [blame] | 251 | On Arm platforms, BL1 performs the following platform initializations: |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 252 | |
| 253 | - Enable the Trusted Watchdog. |
| 254 | - Initialize the console. |
| 255 | - Configure the Interconnect to enable hardware coherency. |
| 256 | - Enable the MMU and map the memory it needs to access. |
| 257 | - Configure any required platform storage to load the next bootloader image |
| 258 | (BL2). |
Soby Mathew | b1bf044 | 2018-02-16 14:52:52 +0000 | [diff] [blame] | 259 | - If the BL1 dynamic configuration file, ``TB_FW_CONFIG``, is available, then |
| 260 | load it to the platform defined address and make it available to BL2 via |
| 261 | ``arg0``. |
Soby Mathew | d969a7e | 2018-06-11 16:40:36 +0100 | [diff] [blame] | 262 | - Configure the system timer and program the `CNTFRQ_EL0` for use by NS-BL1U |
| 263 | and NS-BL2U firmware update images. |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 264 | |
| 265 | Firmware Update detection and execution |
| 266 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ |
| 267 | |
| 268 | After performing platform setup, BL1 common code calls |
Paul Beesley | f864067 | 2019-04-12 14:19:42 +0100 | [diff] [blame] | 269 | ``bl1_plat_get_next_image_id()`` to determine if :ref:`Firmware Update (FWU)` is |
| 270 | required or to proceed with the normal boot process. If the platform code |
| 271 | returns ``BL2_IMAGE_ID`` then the normal boot sequence is executed as described |
| 272 | in the next section, else BL1 assumes that :ref:`Firmware Update (FWU)` is |
| 273 | required and execution passes to the first image in the |
| 274 | :ref:`Firmware Update (FWU)` process. In either case, BL1 retrieves a descriptor |
| 275 | of the next image by calling ``bl1_plat_get_image_desc()``. The image descriptor |
| 276 | contains an ``entry_point_info_t`` structure, which BL1 uses to initialize the |
| 277 | execution state of the next image. |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 278 | |
| 279 | BL2 image load and execution |
| 280 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ |
| 281 | |
| 282 | In the normal boot flow, BL1 execution continues as follows: |
| 283 | |
| 284 | #. BL1 prints the following string from the primary CPU to indicate successful |
| 285 | execution of the BL1 stage: |
| 286 | |
| 287 | :: |
| 288 | |
| 289 | "Booting Trusted Firmware" |
| 290 | |
Soby Mathew | b1bf044 | 2018-02-16 14:52:52 +0000 | [diff] [blame] | 291 | #. BL1 loads a BL2 raw binary image from platform storage, at a |
| 292 | platform-specific base address. Prior to the load, BL1 invokes |
| 293 | ``bl1_plat_handle_pre_image_load()`` which allows the platform to update or |
| 294 | use the image information. If the BL2 image file is not present or if |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 295 | there is not enough free trusted SRAM the following error message is |
| 296 | printed: |
| 297 | |
| 298 | :: |
| 299 | |
| 300 | "Failed to load BL2 firmware." |
| 301 | |
Soby Mathew | b1bf044 | 2018-02-16 14:52:52 +0000 | [diff] [blame] | 302 | #. BL1 invokes ``bl1_plat_handle_post_image_load()`` which again is intended |
| 303 | for platforms to take further action after image load. This function must |
| 304 | populate the necessary arguments for BL2, which may also include the memory |
| 305 | layout. Further description of the memory layout can be found later |
| 306 | in this document. |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 307 | |
| 308 | #. BL1 passes control to the BL2 image at Secure EL1 (for AArch64) or at |
| 309 | Secure SVC mode (for AArch32), starting from its load address. |
| 310 | |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 311 | BL2 |
| 312 | ~~~ |
| 313 | |
| 314 | BL1 loads and passes control to BL2 at Secure-EL1 (for AArch64) or at Secure |
| 315 | SVC mode (for AArch32) . BL2 is linked against and loaded at a platform-specific |
| 316 | base address (more information can be found later in this document). |
| 317 | The functionality implemented by BL2 is as follows. |
| 318 | |
| 319 | Architectural initialization |
| 320 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ |
| 321 | |
| 322 | For AArch64, BL2 performs the minimal architectural initialization required |
Dan Handley | 610e7e1 | 2018-03-01 18:44:00 +0000 | [diff] [blame] | 323 | for subsequent stages of TF-A and normal world software. EL1 and EL0 are given |
Peng Fan | 9632c9c | 2020-08-21 10:47:17 +0800 | [diff] [blame] | 324 | access to Floating Point and Advanced SIMD registers by setting the |
Dan Handley | 610e7e1 | 2018-03-01 18:44:00 +0000 | [diff] [blame] | 325 | ``CPACR.FPEN`` bits. |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 326 | |
| 327 | For AArch32, the minimal architectural initialization required for subsequent |
Dan Handley | 610e7e1 | 2018-03-01 18:44:00 +0000 | [diff] [blame] | 328 | stages of TF-A and normal world software is taken care of in BL1 as both BL1 |
| 329 | and BL2 execute at PL1. |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 330 | |
| 331 | Platform initialization |
| 332 | ^^^^^^^^^^^^^^^^^^^^^^^ |
| 333 | |
Dan Handley | 610e7e1 | 2018-03-01 18:44:00 +0000 | [diff] [blame] | 334 | On Arm platforms, BL2 performs the following platform initializations: |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 335 | |
| 336 | - Initialize the console. |
| 337 | - Configure any required platform storage to allow loading further bootloader |
| 338 | images. |
| 339 | - Enable the MMU and map the memory it needs to access. |
| 340 | - Perform platform security setup to allow access to controlled components. |
| 341 | - Reserve some memory for passing information to the next bootloader image |
| 342 | EL3 Runtime Software and populate it. |
| 343 | - Define the extents of memory available for loading each subsequent |
| 344 | bootloader image. |
Soby Mathew | b1bf044 | 2018-02-16 14:52:52 +0000 | [diff] [blame] | 345 | - If BL1 has passed TB_FW_CONFIG dynamic configuration file in ``arg0``, |
| 346 | then parse it. |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 347 | |
| 348 | Image loading in BL2 |
| 349 | ^^^^^^^^^^^^^^^^^^^^ |
| 350 | |
Roberto Vargas | 025946a | 2018-09-24 17:20:48 +0100 | [diff] [blame] | 351 | BL2 generic code loads the images based on the list of loadable images |
| 352 | provided by the platform. BL2 passes the list of executable images |
| 353 | provided by the platform to the next handover BL image. |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 354 | |
Soby Mathew | b1bf044 | 2018-02-16 14:52:52 +0000 | [diff] [blame] | 355 | The list of loadable images provided by the platform may also contain |
| 356 | dynamic configuration files. The files are loaded and can be parsed as |
| 357 | needed in the ``bl2_plat_handle_post_image_load()`` function. These |
| 358 | configuration files can be passed to next Boot Loader stages as arguments |
| 359 | by updating the corresponding entrypoint information in this function. |
| 360 | |
Sandrine Bailleux | 15530dd | 2019-02-08 15:26:36 +0100 | [diff] [blame] | 361 | SCP_BL2 (System Control Processor Firmware) image load |
| 362 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 363 | |
| 364 | Some systems have a separate System Control Processor (SCP) for power, clock, |
Sandrine Bailleux | 15530dd | 2019-02-08 15:26:36 +0100 | [diff] [blame] | 365 | reset and system control. BL2 loads the optional SCP_BL2 image from platform |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 366 | storage into a platform-specific region of secure memory. The subsequent |
Sandrine Bailleux | 15530dd | 2019-02-08 15:26:36 +0100 | [diff] [blame] | 367 | handling of SCP_BL2 is platform specific. For example, on the Juno Arm |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 368 | development platform port the image is transferred into SCP's internal memory |
| 369 | using the Boot Over MHU (BOM) protocol after being loaded in the trusted SRAM |
Sandrine Bailleux | 15530dd | 2019-02-08 15:26:36 +0100 | [diff] [blame] | 370 | memory. The SCP executes SCP_BL2 and signals to the Application Processor (AP) |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 371 | for BL2 execution to continue. |
| 372 | |
| 373 | EL3 Runtime Software image load |
| 374 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ |
| 375 | |
| 376 | BL2 loads the EL3 Runtime Software image from platform storage into a platform- |
| 377 | specific address in trusted SRAM. If there is not enough memory to load the |
Roberto Vargas | 025946a | 2018-09-24 17:20:48 +0100 | [diff] [blame] | 378 | image or image is missing it leads to an assertion failure. |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 379 | |
| 380 | AArch64 BL32 (Secure-EL1 Payload) image load |
| 381 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ |
| 382 | |
| 383 | BL2 loads the optional BL32 image from platform storage into a platform- |
| 384 | specific region of secure memory. The image executes in the secure world. BL2 |
| 385 | relies on BL31 to pass control to the BL32 image, if present. Hence, BL2 |
| 386 | populates a platform-specific area of memory with the entrypoint/load-address |
| 387 | of the BL32 image. The value of the Saved Processor Status Register (``SPSR``) |
| 388 | for entry into BL32 is not determined by BL2, it is initialized by the |
| 389 | Secure-EL1 Payload Dispatcher (see later) within BL31, which is responsible for |
| 390 | managing interaction with BL32. This information is passed to BL31. |
| 391 | |
| 392 | BL33 (Non-trusted Firmware) image load |
| 393 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ |
| 394 | |
| 395 | BL2 loads the BL33 image (e.g. UEFI or other test or boot software) from |
| 396 | platform storage into non-secure memory as defined by the platform. |
| 397 | |
| 398 | BL2 relies on EL3 Runtime Software to pass control to BL33 once secure state |
| 399 | initialization is complete. Hence, BL2 populates a platform-specific area of |
| 400 | memory with the entrypoint and Saved Program Status Register (``SPSR``) of the |
| 401 | normal world software image. The entrypoint is the load address of the BL33 |
| 402 | image. The ``SPSR`` is determined as specified in Section 5.13 of the |
Manish V Badarkhe | 9d24e9b | 2023-06-15 09:14:33 +0100 | [diff] [blame] | 403 | `PSCI`_. This information is passed to the EL3 Runtime Software. |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 404 | |
| 405 | AArch64 BL31 (EL3 Runtime Software) execution |
| 406 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ |
| 407 | |
| 408 | BL2 execution continues as follows: |
| 409 | |
| 410 | #. BL2 passes control back to BL1 by raising an SMC, providing BL1 with the |
| 411 | BL31 entrypoint. The exception is handled by the SMC exception handler |
| 412 | installed by BL1. |
| 413 | |
| 414 | #. BL1 turns off the MMU and flushes the caches. It clears the |
| 415 | ``SCTLR_EL3.M/I/C`` bits, flushes the data cache to the point of coherency |
| 416 | and invalidates the TLBs. |
| 417 | |
| 418 | #. BL1 passes control to BL31 at the specified entrypoint at EL3. |
| 419 | |
Roberto Vargas | b158427 | 2017-11-20 13:36:10 +0000 | [diff] [blame] | 420 | Running BL2 at EL3 execution level |
| 421 | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
| 422 | |
Dan Handley | 610e7e1 | 2018-03-01 18:44:00 +0000 | [diff] [blame] | 423 | Some platforms have a non-TF-A Boot ROM that expects the next boot stage |
| 424 | to execute at EL3. On these platforms, TF-A BL1 is a waste of memory |
| 425 | as its only purpose is to ensure TF-A BL2 is entered at S-EL1. To avoid |
Roberto Vargas | b158427 | 2017-11-20 13:36:10 +0000 | [diff] [blame] | 426 | this waste, a special mode enables BL2 to execute at EL3, which allows |
Dan Handley | 610e7e1 | 2018-03-01 18:44:00 +0000 | [diff] [blame] | 427 | a non-TF-A Boot ROM to load and jump directly to BL2. This mode is selected |
Arvind Ram Prakash | 11b9b49 | 2022-11-22 14:41:00 -0600 | [diff] [blame] | 428 | when the build flag RESET_TO_BL2 is enabled. |
| 429 | The main differences in this mode are: |
Roberto Vargas | b158427 | 2017-11-20 13:36:10 +0000 | [diff] [blame] | 430 | |
| 431 | #. BL2 includes the reset code and the mailbox mechanism to differentiate |
| 432 | cold boot and warm boot. It runs at EL3 doing the arch |
| 433 | initialization required for EL3. |
| 434 | |
| 435 | #. BL2 does not receive the meminfo information from BL1 anymore. This |
| 436 | information can be passed by the Boot ROM or be internal to the |
| 437 | BL2 image. |
| 438 | |
| 439 | #. Since BL2 executes at EL3, BL2 jumps directly to the next image, |
| 440 | instead of invoking the RUN_IMAGE SMC call. |
| 441 | |
| 442 | |
| 443 | We assume 3 different types of BootROM support on the platform: |
| 444 | |
| 445 | #. The Boot ROM always jumps to the same address, for both cold |
| 446 | and warm boot. In this case, we will need to keep a resident part |
| 447 | of BL2 whose memory cannot be reclaimed by any other image. The |
| 448 | linker script defines the symbols __TEXT_RESIDENT_START__ and |
| 449 | __TEXT_RESIDENT_END__ that allows the platform to configure |
| 450 | correctly the memory map. |
| 451 | #. The platform has some mechanism to indicate the jump address to the |
| 452 | Boot ROM. Platform code can then program the jump address with |
| 453 | psci_warmboot_entrypoint during cold boot. |
| 454 | #. The platform has some mechanism to program the reset address using |
| 455 | the PROGRAMMABLE_RESET_ADDRESS feature. Platform code can then |
| 456 | program the reset address with psci_warmboot_entrypoint during |
| 457 | cold boot, bypassing the boot ROM for warm boot. |
| 458 | |
| 459 | In the last 2 cases, no part of BL2 needs to remain resident at |
| 460 | runtime. In the first 2 cases, we expect the Boot ROM to be able to |
| 461 | differentiate between warm and cold boot, to avoid loading BL2 again |
| 462 | during warm boot. |
| 463 | |
| 464 | This functionality can be tested with FVP loading the image directly |
| 465 | in memory and changing the address where the system jumps at reset. |
| 466 | For example: |
| 467 | |
Dimitris Papastamos | 2583649 | 2018-06-11 11:07:58 +0100 | [diff] [blame] | 468 | -C cluster0.cpu0.RVBAR=0x4022000 |
| 469 | --data cluster0.cpu0=bl2.bin@0x4022000 |
Roberto Vargas | b158427 | 2017-11-20 13:36:10 +0000 | [diff] [blame] | 470 | |
| 471 | With this configuration, FVP is like a platform of the first case, |
| 472 | where the Boot ROM jumps always to the same address. For simplification, |
| 473 | BL32 is loaded in DRAM in this case, to avoid other images reclaiming |
| 474 | BL2 memory. |
| 475 | |
| 476 | |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 477 | AArch64 BL31 |
| 478 | ~~~~~~~~~~~~ |
| 479 | |
| 480 | The image for this stage is loaded by BL2 and BL1 passes control to BL31 at |
| 481 | EL3. BL31 executes solely in trusted SRAM. BL31 is linked against and |
| 482 | loaded at a platform-specific base address (more information can be found later |
| 483 | in this document). The functionality implemented by BL31 is as follows. |
| 484 | |
| 485 | Architectural initialization |
| 486 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ |
| 487 | |
| 488 | Currently, BL31 performs a similar architectural initialization to BL1 as |
| 489 | far as system register settings are concerned. Since BL1 code resides in ROM, |
| 490 | architectural initialization in BL31 allows override of any previous |
| 491 | initialization done by BL1. |
| 492 | |
| 493 | BL31 initializes the per-CPU data framework, which provides a cache of |
| 494 | frequently accessed per-CPU data optimised for fast, concurrent manipulation |
| 495 | on different CPUs. This buffer includes pointers to per-CPU contexts, crash |
| 496 | buffer, CPU reset and power down operations, PSCI data, platform data and so on. |
| 497 | |
| 498 | It then replaces the exception vectors populated by BL1 with its own. BL31 |
| 499 | exception vectors implement more elaborate support for handling SMCs since this |
| 500 | is the only mechanism to access the runtime services implemented by BL31 (PSCI |
| 501 | for example). BL31 checks each SMC for validity as specified by the |
Sandrine Bailleux | d9202df | 2020-04-17 14:06:52 +0200 | [diff] [blame] | 502 | `SMC Calling Convention`_ before passing control to the required SMC |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 503 | handler routine. |
| 504 | |
| 505 | BL31 programs the ``CNTFRQ_EL0`` register with the clock frequency of the system |
| 506 | counter, which is provided by the platform. |
| 507 | |
| 508 | Platform initialization |
| 509 | ^^^^^^^^^^^^^^^^^^^^^^^ |
| 510 | |
| 511 | BL31 performs detailed platform initialization, which enables normal world |
| 512 | software to function correctly. |
| 513 | |
Dan Handley | 610e7e1 | 2018-03-01 18:44:00 +0000 | [diff] [blame] | 514 | On Arm platforms, this consists of the following: |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 515 | |
| 516 | - Initialize the console. |
| 517 | - Configure the Interconnect to enable hardware coherency. |
| 518 | - Enable the MMU and map the memory it needs to access. |
| 519 | - Initialize the generic interrupt controller. |
| 520 | - Initialize the power controller device. |
| 521 | - Detect the system topology. |
| 522 | |
| 523 | Runtime services initialization |
| 524 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ |
| 525 | |
| 526 | BL31 is responsible for initializing the runtime services. One of them is PSCI. |
| 527 | |
| 528 | As part of the PSCI initializations, BL31 detects the system topology. It also |
| 529 | initializes the data structures that implement the state machine used to track |
| 530 | the state of power domain nodes. The state can be one of ``OFF``, ``RUN`` or |
| 531 | ``RETENTION``. All secondary CPUs are initially in the ``OFF`` state. The cluster |
| 532 | that the primary CPU belongs to is ``ON``; any other cluster is ``OFF``. It also |
| 533 | initializes the locks that protect them. BL31 accesses the state of a CPU or |
| 534 | cluster immediately after reset and before the data cache is enabled in the |
| 535 | warm boot path. It is not currently possible to use 'exclusive' based spinlocks, |
| 536 | therefore BL31 uses locks based on Lamport's Bakery algorithm instead. |
| 537 | |
| 538 | The runtime service framework and its initialization is described in more |
| 539 | detail in the "EL3 runtime services framework" section below. |
| 540 | |
| 541 | Details about the status of the PSCI implementation are provided in the |
| 542 | "Power State Coordination Interface" section below. |
| 543 | |
| 544 | AArch64 BL32 (Secure-EL1 Payload) image initialization |
| 545 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ |
| 546 | |
| 547 | If a BL32 image is present then there must be a matching Secure-EL1 Payload |
| 548 | Dispatcher (SPD) service (see later for details). During initialization |
| 549 | that service must register a function to carry out initialization of BL32 |
| 550 | once the runtime services are fully initialized. BL31 invokes such a |
| 551 | registered function to initialize BL32 before running BL33. This initialization |
| 552 | is not necessary for AArch32 SPs. |
| 553 | |
| 554 | Details on BL32 initialization and the SPD's role are described in the |
Paul Beesley | d2fcc4e | 2019-05-29 13:59:40 +0100 | [diff] [blame] | 555 | :ref:`firmware_design_sel1_spd` section below. |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 556 | |
| 557 | BL33 (Non-trusted Firmware) execution |
| 558 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ |
| 559 | |
| 560 | EL3 Runtime Software initializes the EL2 or EL1 processor context for normal- |
| 561 | world cold boot, ensuring that no secure state information finds its way into |
| 562 | the non-secure execution state. EL3 Runtime Software uses the entrypoint |
| 563 | information provided by BL2 to jump to the Non-trusted firmware image (BL33) |
| 564 | at the highest available Exception Level (EL2 if available, otherwise EL1). |
| 565 | |
| 566 | Using alternative Trusted Boot Firmware in place of BL1 & BL2 (AArch64 only) |
| 567 | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
| 568 | |
| 569 | Some platforms have existing implementations of Trusted Boot Firmware that |
Dan Handley | 610e7e1 | 2018-03-01 18:44:00 +0000 | [diff] [blame] | 570 | would like to use TF-A BL31 for the EL3 Runtime Software. To enable this |
| 571 | firmware architecture it is important to provide a fully documented and stable |
| 572 | interface between the Trusted Boot Firmware and BL31. |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 573 | |
| 574 | Future changes to the BL31 interface will be done in a backwards compatible |
| 575 | way, and this enables these firmware components to be independently enhanced/ |
| 576 | updated to develop and exploit new functionality. |
| 577 | |
| 578 | Required CPU state when calling ``bl31_entrypoint()`` during cold boot |
| 579 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ |
| 580 | |
| 581 | This function must only be called by the primary CPU. |
| 582 | |
| 583 | On entry to this function the calling primary CPU must be executing in AArch64 |
| 584 | EL3, little-endian data access, and all interrupt sources masked: |
| 585 | |
| 586 | :: |
| 587 | |
| 588 | PSTATE.EL = 3 |
| 589 | PSTATE.RW = 1 |
| 590 | PSTATE.DAIF = 0xf |
| 591 | SCTLR_EL3.EE = 0 |
| 592 | |
| 593 | X0 and X1 can be used to pass information from the Trusted Boot Firmware to the |
| 594 | platform code in BL31: |
| 595 | |
| 596 | :: |
| 597 | |
Dan Handley | 610e7e1 | 2018-03-01 18:44:00 +0000 | [diff] [blame] | 598 | X0 : Reserved for common TF-A information |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 599 | X1 : Platform specific information |
| 600 | |
| 601 | BL31 zero-init sections (e.g. ``.bss``) should not contain valid data on entry, |
| 602 | these will be zero filled prior to invoking platform setup code. |
| 603 | |
| 604 | Use of the X0 and X1 parameters |
| 605 | ''''''''''''''''''''''''''''''' |
| 606 | |
| 607 | The parameters are platform specific and passed from ``bl31_entrypoint()`` to |
| 608 | ``bl31_early_platform_setup()``. The value of these parameters is never directly |
| 609 | used by the common BL31 code. |
| 610 | |
| 611 | The convention is that ``X0`` conveys information regarding the BL31, BL32 and |
| 612 | BL33 images from the Trusted Boot firmware and ``X1`` can be used for other |
Dan Handley | 610e7e1 | 2018-03-01 18:44:00 +0000 | [diff] [blame] | 613 | platform specific purpose. This convention allows platforms which use TF-A's |
| 614 | BL1 and BL2 images to transfer additional platform specific information from |
| 615 | Secure Boot without conflicting with future evolution of TF-A using ``X0`` to |
| 616 | pass a ``bl31_params`` structure. |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 617 | |
| 618 | BL31 common and SPD initialization code depends on image and entrypoint |
| 619 | information about BL33 and BL32, which is provided via BL31 platform APIs. |
| 620 | This information is required until the start of execution of BL33. This |
| 621 | information can be provided in a platform defined manner, e.g. compiled into |
| 622 | the platform code in BL31, or provided in a platform defined memory location |
| 623 | by the Trusted Boot firmware, or passed from the Trusted Boot Firmware via the |
| 624 | Cold boot Initialization parameters. This data may need to be cleaned out of |
| 625 | the CPU caches if it is provided by an earlier boot stage and then accessed by |
| 626 | BL31 platform code before the caches are enabled. |
| 627 | |
Dan Handley | 610e7e1 | 2018-03-01 18:44:00 +0000 | [diff] [blame] | 628 | TF-A's BL2 implementation passes a ``bl31_params`` structure in |
| 629 | ``X0`` and the Arm development platforms interpret this in the BL31 platform |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 630 | code. |
| 631 | |
| 632 | MMU, Data caches & Coherency |
| 633 | '''''''''''''''''''''''''''' |
| 634 | |
| 635 | BL31 does not depend on the enabled state of the MMU, data caches or |
| 636 | interconnect coherency on entry to ``bl31_entrypoint()``. If these are disabled |
| 637 | on entry, these should be enabled during ``bl31_plat_arch_setup()``. |
| 638 | |
| 639 | Data structures used in the BL31 cold boot interface |
| 640 | '''''''''''''''''''''''''''''''''''''''''''''''''''' |
| 641 | |
| 642 | These structures are designed to support compatibility and independent |
| 643 | evolution of the structures and the firmware images. For example, a version of |
| 644 | BL31 that can interpret the BL3x image information from different versions of |
Sandrine Bailleux | 15530dd | 2019-02-08 15:26:36 +0100 | [diff] [blame] | 645 | BL2, a platform that uses an extended entry_point_info structure to convey |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 646 | additional register information to BL31, or a ELF image loader that can convey |
| 647 | more details about the firmware images. |
| 648 | |
| 649 | To support these scenarios the structures are versioned and sized, which enables |
| 650 | BL31 to detect which information is present and respond appropriately. The |
| 651 | ``param_header`` is defined to capture this information: |
| 652 | |
| 653 | .. code:: c |
| 654 | |
| 655 | typedef struct param_header { |
| 656 | uint8_t type; /* type of the structure */ |
| 657 | uint8_t version; /* version of this structure */ |
| 658 | uint16_t size; /* size of this structure in bytes */ |
| 659 | uint32_t attr; /* attributes: unused bits SBZ */ |
| 660 | } param_header_t; |
| 661 | |
| 662 | The structures using this format are ``entry_point_info``, ``image_info`` and |
| 663 | ``bl31_params``. The code that allocates and populates these structures must set |
| 664 | the header fields appropriately, and the ``SET_PARAM_HEAD()`` a macro is defined |
| 665 | to simplify this action. |
| 666 | |
| 667 | Required CPU state for BL31 Warm boot initialization |
| 668 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ |
| 669 | |
Dan Handley | 610e7e1 | 2018-03-01 18:44:00 +0000 | [diff] [blame] | 670 | When requesting a CPU power-on, or suspending a running CPU, TF-A provides |
| 671 | the platform power management code with a Warm boot initialization |
| 672 | entry-point, to be invoked by the CPU immediately after the reset handler. |
| 673 | On entry to the Warm boot initialization function the calling CPU must be in |
| 674 | AArch64 EL3, little-endian data access and all interrupt sources masked: |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 675 | |
| 676 | :: |
| 677 | |
| 678 | PSTATE.EL = 3 |
| 679 | PSTATE.RW = 1 |
| 680 | PSTATE.DAIF = 0xf |
| 681 | SCTLR_EL3.EE = 0 |
| 682 | |
| 683 | The PSCI implementation will initialize the processor state and ensure that the |
| 684 | platform power management code is then invoked as required to initialize all |
| 685 | necessary system, cluster and CPU resources. |
| 686 | |
| 687 | AArch32 EL3 Runtime Software entrypoint interface |
| 688 | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
| 689 | |
| 690 | To enable this firmware architecture it is important to provide a fully |
| 691 | documented and stable interface between the Trusted Boot Firmware and the |
| 692 | AArch32 EL3 Runtime Software. |
| 693 | |
| 694 | Future changes to the entrypoint interface will be done in a backwards |
| 695 | compatible way, and this enables these firmware components to be independently |
| 696 | enhanced/updated to develop and exploit new functionality. |
| 697 | |
| 698 | Required CPU state when entering during cold boot |
| 699 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ |
| 700 | |
| 701 | This function must only be called by the primary CPU. |
| 702 | |
| 703 | On entry to this function the calling primary CPU must be executing in AArch32 |
| 704 | EL3, little-endian data access, and all interrupt sources masked: |
| 705 | |
| 706 | :: |
| 707 | |
| 708 | PSTATE.AIF = 0x7 |
| 709 | SCTLR.EE = 0 |
| 710 | |
| 711 | R0 and R1 are used to pass information from the Trusted Boot Firmware to the |
| 712 | platform code in AArch32 EL3 Runtime Software: |
| 713 | |
| 714 | :: |
| 715 | |
Dan Handley | 610e7e1 | 2018-03-01 18:44:00 +0000 | [diff] [blame] | 716 | R0 : Reserved for common TF-A information |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 717 | R1 : Platform specific information |
| 718 | |
| 719 | Use of the R0 and R1 parameters |
| 720 | ''''''''''''''''''''''''''''''' |
| 721 | |
| 722 | The parameters are platform specific and the convention is that ``R0`` conveys |
| 723 | information regarding the BL3x images from the Trusted Boot firmware and ``R1`` |
| 724 | can be used for other platform specific purpose. This convention allows |
Dan Handley | 610e7e1 | 2018-03-01 18:44:00 +0000 | [diff] [blame] | 725 | platforms which use TF-A's BL1 and BL2 images to transfer additional platform |
| 726 | specific information from Secure Boot without conflicting with future |
| 727 | evolution of TF-A using ``R0`` to pass a ``bl_params`` structure. |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 728 | |
| 729 | The AArch32 EL3 Runtime Software is responsible for entry into BL33. This |
| 730 | information can be obtained in a platform defined manner, e.g. compiled into |
| 731 | the AArch32 EL3 Runtime Software, or provided in a platform defined memory |
| 732 | location by the Trusted Boot firmware, or passed from the Trusted Boot Firmware |
| 733 | via the Cold boot Initialization parameters. This data may need to be cleaned |
| 734 | out of the CPU caches if it is provided by an earlier boot stage and then |
| 735 | accessed by AArch32 EL3 Runtime Software before the caches are enabled. |
| 736 | |
Dan Handley | 610e7e1 | 2018-03-01 18:44:00 +0000 | [diff] [blame] | 737 | When using AArch32 EL3 Runtime Software, the Arm development platforms pass a |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 738 | ``bl_params`` structure in ``R0`` from BL2 to be interpreted by AArch32 EL3 Runtime |
| 739 | Software platform code. |
| 740 | |
| 741 | MMU, Data caches & Coherency |
| 742 | '''''''''''''''''''''''''''' |
| 743 | |
| 744 | AArch32 EL3 Runtime Software must not depend on the enabled state of the MMU, |
| 745 | data caches or interconnect coherency in its entrypoint. They must be explicitly |
| 746 | enabled if required. |
| 747 | |
| 748 | Data structures used in cold boot interface |
| 749 | ''''''''''''''''''''''''''''''''''''''''''' |
| 750 | |
| 751 | The AArch32 EL3 Runtime Software cold boot interface uses ``bl_params`` instead |
| 752 | of ``bl31_params``. The ``bl_params`` structure is based on the convention |
| 753 | described in AArch64 BL31 cold boot interface section. |
| 754 | |
| 755 | Required CPU state for warm boot initialization |
| 756 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ |
| 757 | |
| 758 | When requesting a CPU power-on, or suspending a running CPU, AArch32 EL3 |
| 759 | Runtime Software must ensure execution of a warm boot initialization entrypoint. |
Sandrine Bailleux | 15530dd | 2019-02-08 15:26:36 +0100 | [diff] [blame] | 760 | If TF-A BL1 is used and the PROGRAMMABLE_RESET_ADDRESS build flag is false, |
Dan Handley | 610e7e1 | 2018-03-01 18:44:00 +0000 | [diff] [blame] | 761 | then AArch32 EL3 Runtime Software must ensure that BL1 branches to the warm |
| 762 | boot entrypoint by arranging for the BL1 platform function, |
Sandrine Bailleux | 15530dd | 2019-02-08 15:26:36 +0100 | [diff] [blame] | 763 | plat_get_my_entrypoint(), to return a non-zero value. |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 764 | |
| 765 | In this case, the warm boot entrypoint must be in AArch32 EL3, little-endian |
| 766 | data access and all interrupt sources masked: |
| 767 | |
| 768 | :: |
| 769 | |
| 770 | PSTATE.AIF = 0x7 |
| 771 | SCTLR.EE = 0 |
| 772 | |
Dan Handley | 610e7e1 | 2018-03-01 18:44:00 +0000 | [diff] [blame] | 773 | The warm boot entrypoint may be implemented by using TF-A |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 774 | ``psci_warmboot_entrypoint()`` function. In that case, the platform must fulfil |
Paul Beesley | f864067 | 2019-04-12 14:19:42 +0100 | [diff] [blame] | 775 | the pre-requisites mentioned in the |
| 776 | :ref:`PSCI Library Integration guide for Armv8-A AArch32 systems`. |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 777 | |
| 778 | EL3 runtime services framework |
| 779 | ------------------------------ |
| 780 | |
| 781 | Software executing in the non-secure state and in the secure state at exception |
| 782 | levels lower than EL3 will request runtime services using the Secure Monitor |
| 783 | Call (SMC) instruction. These requests will follow the convention described in |
| 784 | the SMC Calling Convention PDD (`SMCCC`_). The `SMCCC`_ assigns function |
| 785 | identifiers to each SMC request and describes how arguments are passed and |
| 786 | returned. |
| 787 | |
| 788 | The EL3 runtime services framework enables the development of services by |
| 789 | different providers that can be easily integrated into final product firmware. |
| 790 | The following sections describe the framework which facilitates the |
| 791 | registration, initialization and use of runtime services in EL3 Runtime |
| 792 | Software (BL31). |
| 793 | |
| 794 | The design of the runtime services depends heavily on the concepts and |
| 795 | definitions described in the `SMCCC`_, in particular SMC Function IDs, Owning |
| 796 | Entity Numbers (OEN), Fast and Yielding calls, and the SMC32 and SMC64 calling |
| 797 | conventions. Please refer to that document for more detailed explanation of |
| 798 | these terms. |
| 799 | |
| 800 | The following runtime services are expected to be implemented first. They have |
| 801 | not all been instantiated in the current implementation. |
| 802 | |
| 803 | #. Standard service calls |
| 804 | |
| 805 | This service is for management of the entire system. The Power State |
| 806 | Coordination Interface (`PSCI`_) is the first set of standard service calls |
Dan Handley | 610e7e1 | 2018-03-01 18:44:00 +0000 | [diff] [blame] | 807 | defined by Arm (see PSCI section later). |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 808 | |
| 809 | #. Secure-EL1 Payload Dispatcher service |
| 810 | |
| 811 | If a system runs a Trusted OS or other Secure-EL1 Payload (SP) then |
| 812 | it also requires a *Secure Monitor* at EL3 to switch the EL1 processor |
| 813 | context between the normal world (EL1/EL2) and trusted world (Secure-EL1). |
| 814 | The Secure Monitor will make these world switches in response to SMCs. The |
| 815 | `SMCCC`_ provides for such SMCs with the Trusted OS Call and Trusted |
| 816 | Application Call OEN ranges. |
| 817 | |
| 818 | The interface between the EL3 Runtime Software and the Secure-EL1 Payload is |
| 819 | not defined by the `SMCCC`_ or any other standard. As a result, each |
| 820 | Secure-EL1 Payload requires a specific Secure Monitor that runs as a runtime |
Dan Handley | 610e7e1 | 2018-03-01 18:44:00 +0000 | [diff] [blame] | 821 | service - within TF-A this service is referred to as the Secure-EL1 Payload |
| 822 | Dispatcher (SPD). |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 823 | |
Dan Handley | 610e7e1 | 2018-03-01 18:44:00 +0000 | [diff] [blame] | 824 | TF-A provides a Test Secure-EL1 Payload (TSP) and its associated Dispatcher |
| 825 | (TSPD). Details of SPD design and TSP/TSPD operation are described in the |
Paul Beesley | d2fcc4e | 2019-05-29 13:59:40 +0100 | [diff] [blame] | 826 | :ref:`firmware_design_sel1_spd` section below. |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 827 | |
| 828 | #. CPU implementation service |
| 829 | |
| 830 | This service will provide an interface to CPU implementation specific |
| 831 | services for a given platform e.g. access to processor errata workarounds. |
| 832 | This service is currently unimplemented. |
| 833 | |
Dan Handley | 610e7e1 | 2018-03-01 18:44:00 +0000 | [diff] [blame] | 834 | Additional services for Arm Architecture, SiP and OEM calls can be implemented. |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 835 | Each implemented service handles a range of SMC function identifiers as |
| 836 | described in the `SMCCC`_. |
| 837 | |
| 838 | Registration |
| 839 | ~~~~~~~~~~~~ |
| 840 | |
| 841 | A runtime service is registered using the ``DECLARE_RT_SVC()`` macro, specifying |
| 842 | the name of the service, the range of OENs covered, the type of service and |
| 843 | initialization and call handler functions. This macro instantiates a ``const struct rt_svc_desc`` for the service with these details (see ``runtime_svc.h``). |
Chris Kay | 33bfc5e | 2023-02-14 11:30:04 +0000 | [diff] [blame] | 844 | This structure is allocated in a special ELF section ``.rt_svc_descs``, enabling |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 845 | the framework to find all service descriptors included into BL31. |
| 846 | |
| 847 | The specific service for a SMC Function is selected based on the OEN and call |
| 848 | type of the Function ID, and the framework uses that information in the service |
| 849 | descriptor to identify the handler for the SMC Call. |
| 850 | |
| 851 | The service descriptors do not include information to identify the precise set |
| 852 | of SMC function identifiers supported by this service implementation, the |
| 853 | security state from which such calls are valid nor the capability to support |
| 854 | 64-bit and/or 32-bit callers (using SMC32 or SMC64). Responding appropriately |
| 855 | to these aspects of a SMC call is the responsibility of the service |
| 856 | implementation, the framework is focused on integration of services from |
| 857 | different providers and minimizing the time taken by the framework before the |
| 858 | service handler is invoked. |
| 859 | |
| 860 | Details of the parameters, requirements and behavior of the initialization and |
| 861 | call handling functions are provided in the following sections. |
| 862 | |
| 863 | Initialization |
| 864 | ~~~~~~~~~~~~~~ |
| 865 | |
| 866 | ``runtime_svc_init()`` in ``runtime_svc.c`` initializes the runtime services |
| 867 | framework running on the primary CPU during cold boot as part of the BL31 |
| 868 | initialization. This happens prior to initializing a Trusted OS and running |
| 869 | Normal world boot firmware that might in turn use these services. |
| 870 | Initialization involves validating each of the declared runtime service |
| 871 | descriptors, calling the service initialization function and populating the |
| 872 | index used for runtime lookup of the service. |
| 873 | |
| 874 | The BL31 linker script collects all of the declared service descriptors into a |
| 875 | single array and defines symbols that allow the framework to locate and traverse |
| 876 | the array, and determine its size. |
| 877 | |
| 878 | The framework does basic validation of each descriptor to halt firmware |
| 879 | initialization if service declaration errors are detected. The framework does |
| 880 | not check descriptors for the following error conditions, and may behave in an |
| 881 | unpredictable manner under such scenarios: |
| 882 | |
| 883 | #. Overlapping OEN ranges |
| 884 | #. Multiple descriptors for the same range of OENs and ``call_type`` |
| 885 | #. Incorrect range of owning entity numbers for a given ``call_type`` |
| 886 | |
| 887 | Once validated, the service ``init()`` callback is invoked. This function carries |
| 888 | out any essential EL3 initialization before servicing requests. The ``init()`` |
| 889 | function is only invoked on the primary CPU during cold boot. If the service |
| 890 | uses per-CPU data this must either be initialized for all CPUs during this call, |
| 891 | or be done lazily when a CPU first issues an SMC call to that service. If |
| 892 | ``init()`` returns anything other than ``0``, this is treated as an initialization |
| 893 | error and the service is ignored: this does not cause the firmware to halt. |
| 894 | |
| 895 | The OEN and call type fields present in the SMC Function ID cover a total of |
| 896 | 128 distinct services, but in practice a single descriptor can cover a range of |
| 897 | OENs, e.g. SMCs to call a Trusted OS function. To optimize the lookup of a |
| 898 | service handler, the framework uses an array of 128 indices that map every |
| 899 | distinct OEN/call-type combination either to one of the declared services or to |
| 900 | indicate the service is not handled. This ``rt_svc_descs_indices[]`` array is |
| 901 | populated for all of the OENs covered by a service after the service ``init()`` |
| 902 | function has reported success. So a service that fails to initialize will never |
| 903 | have it's ``handle()`` function invoked. |
| 904 | |
| 905 | The following figure shows how the ``rt_svc_descs_indices[]`` index maps the SMC |
| 906 | Function ID call type and OEN onto a specific service handler in the |
| 907 | ``rt_svc_descs[]`` array. |
| 908 | |
| 909 | |Image 1| |
| 910 | |
Madhukar Pappireddy | 86350ae | 2020-07-29 09:37:25 -0500 | [diff] [blame] | 911 | .. _handling-an-smc: |
| 912 | |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 913 | Handling an SMC |
| 914 | ~~~~~~~~~~~~~~~ |
| 915 | |
| 916 | When the EL3 runtime services framework receives a Secure Monitor Call, the SMC |
| 917 | Function ID is passed in W0 from the lower exception level (as per the |
| 918 | `SMCCC`_). If the calling register width is AArch32, it is invalid to invoke an |
| 919 | SMC Function which indicates the SMC64 calling convention: such calls are |
| 920 | ignored and return the Unknown SMC Function Identifier result code ``0xFFFFFFFF`` |
| 921 | in R0/X0. |
| 922 | |
| 923 | Bit[31] (fast/yielding call) and bits[29:24] (owning entity number) of the SMC |
| 924 | Function ID are combined to index into the ``rt_svc_descs_indices[]`` array. The |
| 925 | resulting value might indicate a service that has no handler, in this case the |
| 926 | framework will also report an Unknown SMC Function ID. Otherwise, the value is |
| 927 | used as a further index into the ``rt_svc_descs[]`` array to locate the required |
| 928 | service and handler. |
| 929 | |
| 930 | The service's ``handle()`` callback is provided with five of the SMC parameters |
| 931 | directly, the others are saved into memory for retrieval (if needed) by the |
| 932 | handler. The handler is also provided with an opaque ``handle`` for use with the |
| 933 | supporting library for parameter retrieval, setting return values and context |
Olivier Deprez | 33dd845 | 2022-10-11 15:38:27 +0200 | [diff] [blame] | 934 | manipulation. The ``flags`` parameter indicates the security state of the caller |
| 935 | and the state of the SVE hint bit per the SMCCCv1.3. The framework finally sets |
| 936 | up the execution stack for the handler, and invokes the services ``handle()`` |
| 937 | function. |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 938 | |
Madhukar Pappireddy | 20be077 | 2019-11-09 23:28:08 -0600 | [diff] [blame] | 939 | On return from the handler the result registers are populated in X0-X7 as needed |
| 940 | before restoring the stack and CPU state and returning from the original SMC. |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 941 | |
Jeenu Viswambharan | cbb40d5 | 2017-10-18 14:30:53 +0100 | [diff] [blame] | 942 | Exception Handling Framework |
| 943 | ---------------------------- |
| 944 | |
johpow01 | 7402f07 | 2020-07-28 13:07:25 -0500 | [diff] [blame] | 945 | Please refer to the :ref:`Exception Handling Framework` document. |
Jeenu Viswambharan | cbb40d5 | 2017-10-18 14:30:53 +0100 | [diff] [blame] | 946 | |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 947 | Power State Coordination Interface |
| 948 | ---------------------------------- |
| 949 | |
| 950 | TODO: Provide design walkthrough of PSCI implementation. |
| 951 | |
Roberto Vargas | d963e3e | 2017-09-12 10:28:35 +0100 | [diff] [blame] | 952 | The PSCI v1.1 specification categorizes APIs as optional and mandatory. All the |
| 953 | mandatory APIs in PSCI v1.1, PSCI v1.0 and in PSCI v0.2 draft specification |
Manish V Badarkhe | 9d24e9b | 2023-06-15 09:14:33 +0100 | [diff] [blame] | 954 | `PSCI`_ are implemented. The table lists the PSCI v1.1 APIs and their support |
| 955 | in generic code. |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 956 | |
Sandrine Bailleux | 15530dd | 2019-02-08 15:26:36 +0100 | [diff] [blame] | 957 | An API implementation might have a dependency on platform code e.g. CPU_SUSPEND |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 958 | requires the platform to export a part of the implementation. Hence the level |
| 959 | of support of the mandatory APIs depends upon the support exported by the |
| 960 | platform port as well. The Juno and FVP (all variants) platforms export all the |
| 961 | required support. |
| 962 | |
| 963 | +-----------------------------+-------------+-------------------------------+ |
Roberto Vargas | d963e3e | 2017-09-12 10:28:35 +0100 | [diff] [blame] | 964 | | PSCI v1.1 API | Supported | Comments | |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 965 | +=============================+=============+===============================+ |
Roberto Vargas | d963e3e | 2017-09-12 10:28:35 +0100 | [diff] [blame] | 966 | | ``PSCI_VERSION`` | Yes | The version returned is 1.1 | |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 967 | +-----------------------------+-------------+-------------------------------+ |
| 968 | | ``CPU_SUSPEND`` | Yes\* | | |
| 969 | +-----------------------------+-------------+-------------------------------+ |
| 970 | | ``CPU_OFF`` | Yes\* | | |
| 971 | +-----------------------------+-------------+-------------------------------+ |
| 972 | | ``CPU_ON`` | Yes\* | | |
| 973 | +-----------------------------+-------------+-------------------------------+ |
| 974 | | ``AFFINITY_INFO`` | Yes | | |
| 975 | +-----------------------------+-------------+-------------------------------+ |
| 976 | | ``MIGRATE`` | Yes\*\* | | |
| 977 | +-----------------------------+-------------+-------------------------------+ |
| 978 | | ``MIGRATE_INFO_TYPE`` | Yes\*\* | | |
| 979 | +-----------------------------+-------------+-------------------------------+ |
| 980 | | ``MIGRATE_INFO_CPU`` | Yes\*\* | | |
| 981 | +-----------------------------+-------------+-------------------------------+ |
| 982 | | ``SYSTEM_OFF`` | Yes\* | | |
| 983 | +-----------------------------+-------------+-------------------------------+ |
| 984 | | ``SYSTEM_RESET`` | Yes\* | | |
| 985 | +-----------------------------+-------------+-------------------------------+ |
| 986 | | ``PSCI_FEATURES`` | Yes | | |
| 987 | +-----------------------------+-------------+-------------------------------+ |
| 988 | | ``CPU_FREEZE`` | No | | |
| 989 | +-----------------------------+-------------+-------------------------------+ |
| 990 | | ``CPU_DEFAULT_SUSPEND`` | No | | |
| 991 | +-----------------------------+-------------+-------------------------------+ |
| 992 | | ``NODE_HW_STATE`` | Yes\* | | |
| 993 | +-----------------------------+-------------+-------------------------------+ |
| 994 | | ``SYSTEM_SUSPEND`` | Yes\* | | |
| 995 | +-----------------------------+-------------+-------------------------------+ |
| 996 | | ``PSCI_SET_SUSPEND_MODE`` | No | | |
| 997 | +-----------------------------+-------------+-------------------------------+ |
| 998 | | ``PSCI_STAT_RESIDENCY`` | Yes\* | | |
| 999 | +-----------------------------+-------------+-------------------------------+ |
| 1000 | | ``PSCI_STAT_COUNT`` | Yes\* | | |
| 1001 | +-----------------------------+-------------+-------------------------------+ |
Roberto Vargas | d963e3e | 2017-09-12 10:28:35 +0100 | [diff] [blame] | 1002 | | ``SYSTEM_RESET2`` | Yes\* | | |
| 1003 | +-----------------------------+-------------+-------------------------------+ |
| 1004 | | ``MEM_PROTECT`` | Yes\* | | |
| 1005 | +-----------------------------+-------------+-------------------------------+ |
| 1006 | | ``MEM_PROTECT_CHECK_RANGE`` | Yes\* | | |
| 1007 | +-----------------------------+-------------+-------------------------------+ |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 1008 | |
| 1009 | \*Note : These PSCI APIs require platform power management hooks to be |
| 1010 | registered with the generic PSCI code to be supported. |
| 1011 | |
| 1012 | \*\*Note : These PSCI APIs require appropriate Secure Payload Dispatcher |
| 1013 | hooks to be registered with the generic PSCI code to be supported. |
| 1014 | |
Dan Handley | 610e7e1 | 2018-03-01 18:44:00 +0000 | [diff] [blame] | 1015 | The PSCI implementation in TF-A is a library which can be integrated with |
| 1016 | AArch64 or AArch32 EL3 Runtime Software for Armv8-A systems. A guide to |
| 1017 | integrating PSCI library with AArch32 EL3 Runtime Software can be found |
Paul Beesley | f864067 | 2019-04-12 14:19:42 +0100 | [diff] [blame] | 1018 | at :ref:`PSCI Library Integration guide for Armv8-A AArch32 systems`. |
| 1019 | |
| 1020 | .. _firmware_design_sel1_spd: |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 1021 | |
| 1022 | Secure-EL1 Payloads and Dispatchers |
| 1023 | ----------------------------------- |
| 1024 | |
| 1025 | On a production system that includes a Trusted OS running in Secure-EL1/EL0, |
| 1026 | the Trusted OS is coupled with a companion runtime service in the BL31 |
| 1027 | firmware. This service is responsible for the initialisation of the Trusted |
| 1028 | OS and all communications with it. The Trusted OS is the BL32 stage of the |
Dan Handley | 610e7e1 | 2018-03-01 18:44:00 +0000 | [diff] [blame] | 1029 | boot flow in TF-A. The firmware will attempt to locate, load and execute a |
| 1030 | BL32 image. |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 1031 | |
Dan Handley | 610e7e1 | 2018-03-01 18:44:00 +0000 | [diff] [blame] | 1032 | TF-A uses a more general term for the BL32 software that runs at Secure-EL1 - |
| 1033 | the *Secure-EL1 Payload* - as it is not always a Trusted OS. |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 1034 | |
Dan Handley | 610e7e1 | 2018-03-01 18:44:00 +0000 | [diff] [blame] | 1035 | TF-A provides a Test Secure-EL1 Payload (TSP) and a Test Secure-EL1 Payload |
| 1036 | Dispatcher (TSPD) service as an example of how a Trusted OS is supported on a |
| 1037 | production system using the Runtime Services Framework. On such a system, the |
| 1038 | Test BL32 image and service are replaced by the Trusted OS and its dispatcher |
| 1039 | service. The TF-A build system expects that the dispatcher will define the |
| 1040 | build flag ``NEED_BL32`` to enable it to include the BL32 in the build either |
| 1041 | as a binary or to compile from source depending on whether the ``BL32`` build |
| 1042 | option is specified or not. |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 1043 | |
| 1044 | The TSP runs in Secure-EL1. It is designed to demonstrate synchronous |
| 1045 | communication with the normal-world software running in EL1/EL2. Communication |
| 1046 | is initiated by the normal-world software |
| 1047 | |
| 1048 | - either directly through a Fast SMC (as defined in the `SMCCC`_) |
| 1049 | |
| 1050 | - or indirectly through a `PSCI`_ SMC. The `PSCI`_ implementation in turn |
| 1051 | informs the TSPD about the requested power management operation. This allows |
| 1052 | the TSP to prepare for or respond to the power state change |
| 1053 | |
| 1054 | The TSPD service is responsible for. |
| 1055 | |
| 1056 | - Initializing the TSP |
| 1057 | |
| 1058 | - Routing requests and responses between the secure and the non-secure |
| 1059 | states during the two types of communications just described |
| 1060 | |
| 1061 | Initializing a BL32 Image |
| 1062 | ~~~~~~~~~~~~~~~~~~~~~~~~~ |
| 1063 | |
| 1064 | The Secure-EL1 Payload Dispatcher (SPD) service is responsible for initializing |
| 1065 | the BL32 image. It needs access to the information passed by BL2 to BL31 to do |
| 1066 | so. This is provided by: |
| 1067 | |
| 1068 | .. code:: c |
| 1069 | |
| 1070 | entry_point_info_t *bl31_plat_get_next_image_ep_info(uint32_t); |
| 1071 | |
| 1072 | which returns a reference to the ``entry_point_info`` structure corresponding to |
| 1073 | the image which will be run in the specified security state. The SPD uses this |
| 1074 | API to get entry point information for the SECURE image, BL32. |
| 1075 | |
| 1076 | In the absence of a BL32 image, BL31 passes control to the normal world |
| 1077 | bootloader image (BL33). When the BL32 image is present, it is typical |
| 1078 | that the SPD wants control to be passed to BL32 first and then later to BL33. |
| 1079 | |
| 1080 | To do this the SPD has to register a BL32 initialization function during |
| 1081 | initialization of the SPD service. The BL32 initialization function has this |
| 1082 | prototype: |
| 1083 | |
| 1084 | .. code:: c |
| 1085 | |
| 1086 | int32_t init(void); |
| 1087 | |
| 1088 | and is registered using the ``bl31_register_bl32_init()`` function. |
| 1089 | |
Dan Handley | 610e7e1 | 2018-03-01 18:44:00 +0000 | [diff] [blame] | 1090 | TF-A supports two approaches for the SPD to pass control to BL32 before |
| 1091 | returning through EL3 and running the non-trusted firmware (BL33): |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 1092 | |
| 1093 | #. In the BL32 setup function, use ``bl31_set_next_image_type()`` to |
| 1094 | request that the exit from ``bl31_main()`` is to the BL32 entrypoint in |
| 1095 | Secure-EL1. BL31 will exit to BL32 using the asynchronous method by |
| 1096 | calling ``bl31_prepare_next_image_entry()`` and ``el3_exit()``. |
| 1097 | |
| 1098 | When the BL32 has completed initialization at Secure-EL1, it returns to |
| 1099 | BL31 by issuing an SMC, using a Function ID allocated to the SPD. On |
| 1100 | receipt of this SMC, the SPD service handler should switch the CPU context |
| 1101 | from trusted to normal world and use the ``bl31_set_next_image_type()`` and |
| 1102 | ``bl31_prepare_next_image_entry()`` functions to set up the initial return to |
| 1103 | the normal world firmware BL33. On return from the handler the framework |
| 1104 | will exit to EL2 and run BL33. |
| 1105 | |
| 1106 | #. The BL32 setup function registers an initialization function using |
| 1107 | ``bl31_register_bl32_init()`` which provides a SPD-defined mechanism to |
| 1108 | invoke a 'world-switch synchronous call' to Secure-EL1 to run the BL32 |
| 1109 | entrypoint. |
Paul Beesley | ba3ed40 | 2019-03-13 16:20:44 +0000 | [diff] [blame] | 1110 | |
| 1111 | .. note:: |
| 1112 | The Test SPD service included with TF-A provides one implementation |
| 1113 | of such a mechanism. |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 1114 | |
| 1115 | On completion BL32 returns control to BL31 via a SMC, and on receipt the |
| 1116 | SPD service handler invokes the synchronous call return mechanism to return |
| 1117 | to the BL32 initialization function. On return from this function, |
| 1118 | ``bl31_main()`` will set up the return to the normal world firmware BL33 and |
| 1119 | continue the boot process in the normal world. |
| 1120 | |
Jeenu Viswambharan | b60420a | 2017-08-24 15:43:44 +0100 | [diff] [blame] | 1121 | Crash Reporting in BL31 |
| 1122 | ----------------------- |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 1123 | |
| 1124 | BL31 implements a scheme for reporting the processor state when an unhandled |
| 1125 | exception is encountered. The reporting mechanism attempts to preserve all the |
| 1126 | register contents and report it via a dedicated UART (PL011 console). BL31 |
| 1127 | reports the general purpose, EL3, Secure EL1 and some EL2 state registers. |
| 1128 | |
| 1129 | A dedicated per-CPU crash stack is maintained by BL31 and this is retrieved via |
| 1130 | the per-CPU pointer cache. The implementation attempts to minimise the memory |
| 1131 | required for this feature. The file ``crash_reporting.S`` contains the |
| 1132 | implementation for crash reporting. |
| 1133 | |
| 1134 | The sample crash output is shown below. |
| 1135 | |
| 1136 | :: |
| 1137 | |
Alexei Fedorov | 813c9f9 | 2020-03-03 13:31:58 +0000 | [diff] [blame] | 1138 | x0 = 0x000000002a4a0000 |
| 1139 | x1 = 0x0000000000000001 |
| 1140 | x2 = 0x0000000000000002 |
| 1141 | x3 = 0x0000000000000003 |
| 1142 | x4 = 0x0000000000000004 |
| 1143 | x5 = 0x0000000000000005 |
| 1144 | x6 = 0x0000000000000006 |
| 1145 | x7 = 0x0000000000000007 |
| 1146 | x8 = 0x0000000000000008 |
| 1147 | x9 = 0x0000000000000009 |
| 1148 | x10 = 0x0000000000000010 |
| 1149 | x11 = 0x0000000000000011 |
| 1150 | x12 = 0x0000000000000012 |
| 1151 | x13 = 0x0000000000000013 |
| 1152 | x14 = 0x0000000000000014 |
| 1153 | x15 = 0x0000000000000015 |
| 1154 | x16 = 0x0000000000000016 |
| 1155 | x17 = 0x0000000000000017 |
| 1156 | x18 = 0x0000000000000018 |
| 1157 | x19 = 0x0000000000000019 |
| 1158 | x20 = 0x0000000000000020 |
| 1159 | x21 = 0x0000000000000021 |
| 1160 | x22 = 0x0000000000000022 |
| 1161 | x23 = 0x0000000000000023 |
| 1162 | x24 = 0x0000000000000024 |
| 1163 | x25 = 0x0000000000000025 |
| 1164 | x26 = 0x0000000000000026 |
| 1165 | x27 = 0x0000000000000027 |
| 1166 | x28 = 0x0000000000000028 |
| 1167 | x29 = 0x0000000000000029 |
| 1168 | x30 = 0x0000000088000b78 |
| 1169 | scr_el3 = 0x000000000003073d |
| 1170 | sctlr_el3 = 0x00000000b0cd183f |
| 1171 | cptr_el3 = 0x0000000000000000 |
| 1172 | tcr_el3 = 0x000000008080351c |
| 1173 | daif = 0x00000000000002c0 |
| 1174 | mair_el3 = 0x00000000004404ff |
| 1175 | spsr_el3 = 0x0000000060000349 |
| 1176 | elr_el3 = 0x0000000088000114 |
| 1177 | ttbr0_el3 = 0x0000000004018201 |
| 1178 | esr_el3 = 0x00000000be000000 |
| 1179 | far_el3 = 0x0000000000000000 |
| 1180 | spsr_el1 = 0x0000000000000000 |
| 1181 | elr_el1 = 0x0000000000000000 |
| 1182 | spsr_abt = 0x0000000000000000 |
| 1183 | spsr_und = 0x0000000000000000 |
| 1184 | spsr_irq = 0x0000000000000000 |
| 1185 | spsr_fiq = 0x0000000000000000 |
| 1186 | sctlr_el1 = 0x0000000030d00800 |
| 1187 | actlr_el1 = 0x0000000000000000 |
| 1188 | cpacr_el1 = 0x0000000000000000 |
| 1189 | csselr_el1 = 0x0000000000000000 |
| 1190 | sp_el1 = 0x0000000000000000 |
| 1191 | esr_el1 = 0x0000000000000000 |
| 1192 | ttbr0_el1 = 0x0000000000000000 |
| 1193 | ttbr1_el1 = 0x0000000000000000 |
| 1194 | mair_el1 = 0x0000000000000000 |
| 1195 | amair_el1 = 0x0000000000000000 |
| 1196 | tcr_el1 = 0x0000000000000000 |
| 1197 | tpidr_el1 = 0x0000000000000000 |
| 1198 | tpidr_el0 = 0x0000000000000000 |
| 1199 | tpidrro_el0 = 0x0000000000000000 |
| 1200 | par_el1 = 0x0000000000000000 |
| 1201 | mpidr_el1 = 0x0000000080000000 |
| 1202 | afsr0_el1 = 0x0000000000000000 |
| 1203 | afsr1_el1 = 0x0000000000000000 |
| 1204 | contextidr_el1 = 0x0000000000000000 |
| 1205 | vbar_el1 = 0x0000000000000000 |
| 1206 | cntp_ctl_el0 = 0x0000000000000000 |
| 1207 | cntp_cval_el0 = 0x0000000000000000 |
| 1208 | cntv_ctl_el0 = 0x0000000000000000 |
| 1209 | cntv_cval_el0 = 0x0000000000000000 |
| 1210 | cntkctl_el1 = 0x0000000000000000 |
| 1211 | sp_el0 = 0x0000000004014940 |
| 1212 | isr_el1 = 0x0000000000000000 |
| 1213 | dacr32_el2 = 0x0000000000000000 |
| 1214 | ifsr32_el2 = 0x0000000000000000 |
| 1215 | icc_hppir0_el1 = 0x00000000000003ff |
| 1216 | icc_hppir1_el1 = 0x00000000000003ff |
| 1217 | icc_ctlr_el3 = 0x0000000000080400 |
| 1218 | gicd_ispendr regs (Offsets 0x200-0x278) |
| 1219 | Offset Value |
| 1220 | 0x200: 0x0000000000000000 |
| 1221 | 0x208: 0x0000000000000000 |
| 1222 | 0x210: 0x0000000000000000 |
| 1223 | 0x218: 0x0000000000000000 |
| 1224 | 0x220: 0x0000000000000000 |
| 1225 | 0x228: 0x0000000000000000 |
| 1226 | 0x230: 0x0000000000000000 |
| 1227 | 0x238: 0x0000000000000000 |
| 1228 | 0x240: 0x0000000000000000 |
| 1229 | 0x248: 0x0000000000000000 |
| 1230 | 0x250: 0x0000000000000000 |
| 1231 | 0x258: 0x0000000000000000 |
| 1232 | 0x260: 0x0000000000000000 |
| 1233 | 0x268: 0x0000000000000000 |
| 1234 | 0x270: 0x0000000000000000 |
| 1235 | 0x278: 0x0000000000000000 |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 1236 | |
| 1237 | Guidelines for Reset Handlers |
| 1238 | ----------------------------- |
| 1239 | |
Dan Handley | 610e7e1 | 2018-03-01 18:44:00 +0000 | [diff] [blame] | 1240 | TF-A implements a framework that allows CPU and platform ports to perform |
| 1241 | actions very early after a CPU is released from reset in both the cold and warm |
| 1242 | boot paths. This is done by calling the ``reset_handler()`` function in both |
| 1243 | the BL1 and BL31 images. It in turn calls the platform and CPU specific reset |
| 1244 | handling functions. |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 1245 | |
| 1246 | Details for implementing a CPU specific reset handler can be found in |
Boyan Karatotev | d71b5d7 | 2023-02-07 15:46:50 +0000 | [diff] [blame] | 1247 | :ref:`firmware_design_cpu_specific_reset_handling`. Details for implementing a |
| 1248 | platform specific reset handler can be found in the :ref:`Porting Guide` (see |
| 1249 | the``plat_reset_handler()`` function). |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 1250 | |
| 1251 | When adding functionality to a reset handler, keep in mind that if a different |
| 1252 | reset handling behavior is required between the first and the subsequent |
| 1253 | invocations of the reset handling code, this should be detected at runtime. |
| 1254 | In other words, the reset handler should be able to detect whether an action has |
| 1255 | already been performed and act as appropriate. Possible courses of actions are, |
| 1256 | e.g. skip the action the second time, or undo/redo it. |
| 1257 | |
Madhukar Pappireddy | 86350ae | 2020-07-29 09:37:25 -0500 | [diff] [blame] | 1258 | .. _configuring-secure-interrupts: |
| 1259 | |
Jeenu Viswambharan | aeb267c | 2017-09-22 08:32:09 +0100 | [diff] [blame] | 1260 | Configuring secure interrupts |
| 1261 | ----------------------------- |
| 1262 | |
| 1263 | The GIC driver is responsible for performing initial configuration of secure |
| 1264 | interrupts on the platform. To this end, the platform is expected to provide the |
| 1265 | GIC driver (either GICv2 or GICv3, as selected by the platform) with the |
| 1266 | interrupt configuration during the driver initialisation. |
| 1267 | |
Antonio Nino Diaz | 29b9f5b | 2018-09-24 17:23:24 +0100 | [diff] [blame] | 1268 | Secure interrupt configuration are specified in an array of secure interrupt |
| 1269 | properties. In this scheme, in both GICv2 and GICv3 driver data structures, the |
| 1270 | ``interrupt_props`` member points to an array of interrupt properties. Each |
Antonio Nino Diaz | 56b68ad | 2019-02-28 13:35:21 +0000 | [diff] [blame] | 1271 | element of the array specifies the interrupt number and its attributes |
| 1272 | (priority, group, configuration). Each element of the array shall be populated |
| 1273 | by the macro ``INTR_PROP_DESC()``. The macro takes the following arguments: |
Jeenu Viswambharan | aeb267c | 2017-09-22 08:32:09 +0100 | [diff] [blame] | 1274 | |
Ming Huang | 1bea7aa | 2023-02-01 14:03:44 +0800 | [diff] [blame] | 1275 | - 13-bit interrupt number, |
Jeenu Viswambharan | aeb267c | 2017-09-22 08:32:09 +0100 | [diff] [blame] | 1276 | |
Antonio Nino Diaz | 29b9f5b | 2018-09-24 17:23:24 +0100 | [diff] [blame] | 1277 | - 8-bit interrupt priority, |
Jeenu Viswambharan | aeb267c | 2017-09-22 08:32:09 +0100 | [diff] [blame] | 1278 | |
Antonio Nino Diaz | 29b9f5b | 2018-09-24 17:23:24 +0100 | [diff] [blame] | 1279 | - Interrupt type (one of ``INTR_TYPE_EL3``, ``INTR_TYPE_S_EL1``, |
| 1280 | ``INTR_TYPE_NS``), |
Jeenu Viswambharan | aeb267c | 2017-09-22 08:32:09 +0100 | [diff] [blame] | 1281 | |
Antonio Nino Diaz | 29b9f5b | 2018-09-24 17:23:24 +0100 | [diff] [blame] | 1282 | - Interrupt configuration (either ``GIC_INTR_CFG_LEVEL`` or |
| 1283 | ``GIC_INTR_CFG_EDGE``). |
Jeenu Viswambharan | aeb267c | 2017-09-22 08:32:09 +0100 | [diff] [blame] | 1284 | |
Paul Beesley | f864067 | 2019-04-12 14:19:42 +0100 | [diff] [blame] | 1285 | .. _firmware_design_cpu_ops_fwk: |
| 1286 | |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 1287 | CPU specific operations framework |
| 1288 | --------------------------------- |
| 1289 | |
Dan Handley | 610e7e1 | 2018-03-01 18:44:00 +0000 | [diff] [blame] | 1290 | Certain aspects of the Armv8-A architecture are implementation defined, |
| 1291 | that is, certain behaviours are not architecturally defined, but must be |
| 1292 | defined and documented by individual processor implementations. TF-A |
| 1293 | implements a framework which categorises the common implementation defined |
| 1294 | behaviours and allows a processor to export its implementation of that |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 1295 | behaviour. The categories are: |
| 1296 | |
| 1297 | #. Processor specific reset sequence. |
| 1298 | |
| 1299 | #. Processor specific power down sequences. |
| 1300 | |
| 1301 | #. Processor specific register dumping as a part of crash reporting. |
| 1302 | |
| 1303 | #. Errata status reporting. |
| 1304 | |
| 1305 | Each of the above categories fulfils a different requirement. |
| 1306 | |
| 1307 | #. allows any processor specific initialization before the caches and MMU |
| 1308 | are turned on, like implementation of errata workarounds, entry into |
| 1309 | the intra-cluster coherency domain etc. |
| 1310 | |
| 1311 | #. allows each processor to implement the power down sequence mandated in |
| 1312 | its Technical Reference Manual (TRM). |
| 1313 | |
| 1314 | #. allows a processor to provide additional information to the developer |
| 1315 | in the event of a crash, for example Cortex-A53 has registers which |
| 1316 | can expose the data cache contents. |
| 1317 | |
| 1318 | #. allows a processor to define a function that inspects and reports the status |
| 1319 | of all errata workarounds on that processor. |
| 1320 | |
| 1321 | Please note that only 2. is mandated by the TRM. |
| 1322 | |
| 1323 | The CPU specific operations framework scales to accommodate a large number of |
| 1324 | different CPUs during power down and reset handling. The platform can specify |
| 1325 | any CPU optimization it wants to enable for each CPU. It can also specify |
| 1326 | the CPU errata workarounds to be applied for each CPU type during reset |
| 1327 | handling by defining CPU errata compile time macros. Details on these macros |
Paul Beesley | f864067 | 2019-04-12 14:19:42 +0100 | [diff] [blame] | 1328 | can be found in the :ref:`Arm CPU Specific Build Macros` document. |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 1329 | |
| 1330 | The CPU specific operations framework depends on the ``cpu_ops`` structure which |
| 1331 | needs to be exported for each type of CPU in the platform. It is defined in |
| 1332 | ``include/lib/cpus/aarch64/cpu_macros.S`` and has the following fields : ``midr``, |
| 1333 | ``reset_func()``, ``cpu_pwr_down_ops`` (array of power down functions) and |
| 1334 | ``cpu_reg_dump()``. |
| 1335 | |
| 1336 | The CPU specific files in ``lib/cpus`` export a ``cpu_ops`` data structure with |
| 1337 | suitable handlers for that CPU. For example, ``lib/cpus/aarch64/cortex_a53.S`` |
| 1338 | exports the ``cpu_ops`` for Cortex-A53 CPU. According to the platform |
| 1339 | configuration, these CPU specific files must be included in the build by |
| 1340 | the platform makefile. The generic CPU specific operations framework code exists |
| 1341 | in ``lib/cpus/aarch64/cpu_helpers.S``. |
| 1342 | |
Boyan Karatotev | d71b5d7 | 2023-02-07 15:46:50 +0000 | [diff] [blame] | 1343 | CPU PCS |
| 1344 | ~~~~~~~ |
| 1345 | |
| 1346 | All assembly functions in CPU files are asked to follow a modified version of |
| 1347 | the Procedure Call Standard (PCS) in their internals. This is done to ensure |
| 1348 | calling these functions from outside the file doesn't unexpectedly corrupt |
| 1349 | registers in the very early environment and to help the internals to be easier |
| 1350 | to understand. Please see the :ref:`firmware_design_cpu_errata_implementation` |
| 1351 | for any function specific restrictions. |
| 1352 | |
| 1353 | +--------------+---------------------------------+ |
| 1354 | | register | use | |
| 1355 | +==============+=================================+ |
| 1356 | | x0 - x15 | scratch | |
| 1357 | +--------------+---------------------------------+ |
| 1358 | | x16, x17 | do not use (used by the linker) | |
| 1359 | +--------------+---------------------------------+ |
| 1360 | | x18 | do not use (platform register) | |
| 1361 | +--------------+---------------------------------+ |
| 1362 | | x19 - x28 | callee saved | |
| 1363 | +--------------+---------------------------------+ |
| 1364 | | x29, x30 | FP, LR | |
| 1365 | +--------------+---------------------------------+ |
| 1366 | |
| 1367 | .. _firmware_design_cpu_specific_reset_handling: |
| 1368 | |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 1369 | CPU specific Reset Handling |
| 1370 | ~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
| 1371 | |
| 1372 | After a reset, the state of the CPU when it calls generic reset handler is: |
Boyan Karatotev | d71b5d7 | 2023-02-07 15:46:50 +0000 | [diff] [blame] | 1373 | MMU turned off, both instruction and data caches turned off, not part |
| 1374 | of any coherency domain and no stack. |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 1375 | |
| 1376 | The BL entrypoint code first invokes the ``plat_reset_handler()`` to allow |
| 1377 | the platform to perform any system initialization required and any system |
| 1378 | errata workarounds that needs to be applied. The ``get_cpu_ops_ptr()`` reads |
| 1379 | the current CPU midr, finds the matching ``cpu_ops`` entry in the ``cpu_ops`` |
| 1380 | array and returns it. Note that only the part number and implementer fields |
| 1381 | in midr are used to find the matching ``cpu_ops`` entry. The ``reset_func()`` in |
| 1382 | the returned ``cpu_ops`` is then invoked which executes the required reset |
| 1383 | handling for that CPU and also any errata workarounds enabled by the platform. |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 1384 | |
Boyan Karatotev | d71b5d7 | 2023-02-07 15:46:50 +0000 | [diff] [blame] | 1385 | It should be defined using the ``cpu_reset_func_{start,end}`` macros and its |
| 1386 | body may only clobber x0 to x14 with x14 being the cpu_rev parameter. |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 1387 | |
| 1388 | CPU specific power down sequence |
| 1389 | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
| 1390 | |
| 1391 | During the BL31 initialization sequence, the pointer to the matching ``cpu_ops`` |
| 1392 | entry is stored in per-CPU data by ``init_cpu_ops()`` so that it can be quickly |
| 1393 | retrieved during power down sequences. |
| 1394 | |
| 1395 | Various CPU drivers register handlers to perform power down at certain power |
| 1396 | levels for that specific CPU. The PSCI service, upon receiving a power down |
| 1397 | request, determines the highest power level at which to execute power down |
| 1398 | sequence for a particular CPU. It uses the ``prepare_cpu_pwr_dwn()`` function to |
| 1399 | pick the right power down handler for the requested level. The function |
| 1400 | retrieves ``cpu_ops`` pointer member of per-CPU data, and from that, further |
| 1401 | retrieves ``cpu_pwr_down_ops`` array, and indexes into the required level. If the |
| 1402 | requested power level is higher than what a CPU driver supports, the handler |
| 1403 | registered for highest level is invoked. |
| 1404 | |
| 1405 | At runtime the platform hooks for power down are invoked by the PSCI service to |
| 1406 | perform platform specific operations during a power down sequence, for example |
| 1407 | turning off CCI coherency during a cluster power down. |
| 1408 | |
| 1409 | CPU specific register reporting during crash |
| 1410 | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
| 1411 | |
| 1412 | If the crash reporting is enabled in BL31, when a crash occurs, the crash |
| 1413 | reporting framework calls ``do_cpu_reg_dump`` which retrieves the matching |
| 1414 | ``cpu_ops`` using ``get_cpu_ops_ptr()`` function. The ``cpu_reg_dump()`` in |
| 1415 | ``cpu_ops`` is invoked, which then returns the CPU specific register values to |
| 1416 | be reported and a pointer to the ASCII list of register names in a format |
| 1417 | expected by the crash reporting framework. |
| 1418 | |
Boyan Karatotev | d71b5d7 | 2023-02-07 15:46:50 +0000 | [diff] [blame] | 1419 | .. _firmware_design_cpu_errata_implementation: |
Paul Beesley | f864067 | 2019-04-12 14:19:42 +0100 | [diff] [blame] | 1420 | |
Boyan Karatotev | d71b5d7 | 2023-02-07 15:46:50 +0000 | [diff] [blame] | 1421 | CPU errata implementation |
| 1422 | ~~~~~~~~~~~~~~~~~~~~~~~~~ |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 1423 | |
Dan Handley | 610e7e1 | 2018-03-01 18:44:00 +0000 | [diff] [blame] | 1424 | Errata workarounds for CPUs supported in TF-A are applied during both cold and |
| 1425 | warm boots, shortly after reset. Individual Errata workarounds are enabled as |
| 1426 | build options. Some errata workarounds have potential run-time implications; |
| 1427 | therefore some are enabled by default, others not. Platform ports shall |
| 1428 | override build options to enable or disable errata as appropriate. The CPU |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 1429 | drivers take care of applying errata workarounds that are enabled and applicable |
Boyan Karatotev | d71b5d7 | 2023-02-07 15:46:50 +0000 | [diff] [blame] | 1430 | to a given CPU. |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 1431 | |
Boyan Karatotev | d71b5d7 | 2023-02-07 15:46:50 +0000 | [diff] [blame] | 1432 | Each erratum has a build flag in ``lib/cpus/cpu-ops.mk`` of the form: |
| 1433 | ``ERRATA_<cpu_num>_<erratum_id>``. It also has a short description in |
| 1434 | :ref:`arm_cpu_macros_errata_workarounds` on when it should apply. |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 1435 | |
Boyan Karatotev | d71b5d7 | 2023-02-07 15:46:50 +0000 | [diff] [blame] | 1436 | Errata framework |
| 1437 | ^^^^^^^^^^^^^^^^ |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 1438 | |
Boyan Karatotev | d71b5d7 | 2023-02-07 15:46:50 +0000 | [diff] [blame] | 1439 | The errata framework is a convention and a small library to allow errata to be |
| 1440 | automatically discovered. It enables compliant errata to be automatically |
| 1441 | applied and reported at runtime (either by status reporting or the errata ABI). |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 1442 | |
Boyan Karatotev | d71b5d7 | 2023-02-07 15:46:50 +0000 | [diff] [blame] | 1443 | To write a compliant mitigation for erratum number ``erratum_id`` on a cpu that |
| 1444 | declared itself (with ``declare_cpu_ops``) as ``cpu_name`` one needs 3 things: |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 1445 | |
Boyan Karatotev | d71b5d7 | 2023-02-07 15:46:50 +0000 | [diff] [blame] | 1446 | #. A CPU revision checker function: ``check_erratum_<cpu_name>_<erratum_id>`` |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 1447 | |
Boyan Karatotev | d71b5d7 | 2023-02-07 15:46:50 +0000 | [diff] [blame] | 1448 | It should check whether this erratum applies on this revision of this CPU. |
| 1449 | It will be called with the CPU revision as its first parameter (x0) and |
| 1450 | should return one of ``ERRATA_APPLIES`` or ``ERRATA_NOT_APPLIES``. |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 1451 | |
Boyan Karatotev | d71b5d7 | 2023-02-07 15:46:50 +0000 | [diff] [blame] | 1452 | It may only clobber x0 to x4. The rest should be treated as callee-saved. |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 1453 | |
Boyan Karatotev | d71b5d7 | 2023-02-07 15:46:50 +0000 | [diff] [blame] | 1454 | #. A workaround function: ``erratum_<cpu_name>_<erratum_id>_wa`` |
| 1455 | |
| 1456 | It should obtain the cpu revision (with ``cpu_get_rev_var``), call its |
| 1457 | revision checker, and perform the mitigation, should the erratum apply. |
| 1458 | |
| 1459 | It may only clobber x0 to x8. The rest should be treated as callee-saved. |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 1460 | |
Boyan Karatotev | d71b5d7 | 2023-02-07 15:46:50 +0000 | [diff] [blame] | 1461 | #. Register itself to the framework |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 1462 | |
Boyan Karatotev | d71b5d7 | 2023-02-07 15:46:50 +0000 | [diff] [blame] | 1463 | Do this with |
| 1464 | ``add_erratum_entry <cpu_name>, ERRATUM(<erratum_id>), <errata_flag>`` |
| 1465 | where the ``errata_flag`` is the enable flag in ``cpu-ops.mk`` described |
| 1466 | above. |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 1467 | |
Boyan Karatotev | d71b5d7 | 2023-02-07 15:46:50 +0000 | [diff] [blame] | 1468 | See the next section on how to do this easily. |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 1469 | |
Boyan Karatotev | d71b5d7 | 2023-02-07 15:46:50 +0000 | [diff] [blame] | 1470 | .. note:: |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 1471 | |
Boyan Karatotev | d71b5d7 | 2023-02-07 15:46:50 +0000 | [diff] [blame] | 1472 | CVEs have the format ``CVE_<year>_<number>``. To fit them in the framework, the |
| 1473 | ``erratum_id`` for the checker and the workaround functions become the |
| 1474 | ``number`` part of its name and the ``ERRATUM(<number>)`` part of the |
| 1475 | registration should instead be ``CVE(<year>, <number>)``. In the extremely |
| 1476 | unlikely scenario where a CVE and an erratum numbers clash, the CVE number |
| 1477 | should be prefixed with a zero. |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 1478 | |
Boyan Karatotev | d71b5d7 | 2023-02-07 15:46:50 +0000 | [diff] [blame] | 1479 | Also, their build flag should be ``WORKAROUND_CVE_<year>_<number>``. |
| 1480 | |
| 1481 | .. note:: |
| 1482 | |
| 1483 | AArch32 uses the legacy convention. The checker function has the format |
| 1484 | ``check_errata_<erratum_id>`` and the workaround has the format |
| 1485 | ``errata_<cpu_number>_<erratum_id>_wa`` where ``cpu_number`` is the shortform |
| 1486 | letter and number name of the CPU. |
| 1487 | |
| 1488 | For CVEs the ``erratum_id`` also becomes ``cve_<year>_<number>``. |
| 1489 | |
| 1490 | Errata framework helpers |
| 1491 | ^^^^^^^^^^^^^^^^^^^^^^^^ |
| 1492 | |
| 1493 | Writing these errata involves lots of boilerplate and repetitive code. On |
| 1494 | AArch64 there are helpers to omit most of this. They are located in |
| 1495 | ``include/lib/cpus/aarch64/cpu_macros.S`` and the preferred way to implement |
| 1496 | errata. Please see their comments on how to use them. |
| 1497 | |
| 1498 | The most common type of erratum workaround, one that just sets a "chicken" bit |
| 1499 | in some arbitrary register, would have an implementation for the Cortex-A77, |
| 1500 | erratum #1925769 like:: |
| 1501 | |
| 1502 | workaround_reset_start cortex_a77, ERRATUM(1925769), ERRATA_A77_1925769 |
| 1503 | sysreg_bit_set CORTEX_A77_CPUECTLR_EL1, CORTEX_A77_CPUECTLR_EL1_BIT_8 |
| 1504 | workaround_reset_end cortex_a77, ERRATUM(1925769) |
| 1505 | |
| 1506 | check_erratum_ls cortex_a77, ERRATUM(1925769), CPU_REV(1, 1) |
| 1507 | |
| 1508 | Status reporting |
| 1509 | ^^^^^^^^^^^^^^^^ |
| 1510 | |
| 1511 | In a debug build of TF-A, on a CPU that comes out of reset, both BL1 and the |
| 1512 | runtime firmware (BL31 in AArch64, and BL32 in AArch32) will invoke a generic |
| 1513 | errata status reporting function. It will read the ``errata_entries`` list of |
| 1514 | that cpu and will report whether each known erratum was applied and, if not, |
| 1515 | whether it should have been. |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 1516 | |
| 1517 | Reporting the status of errata workaround is for informational purpose only; it |
| 1518 | has no functional significance. |
| 1519 | |
| 1520 | Memory layout of BL images |
| 1521 | -------------------------- |
| 1522 | |
| 1523 | Each bootloader image can be divided in 2 parts: |
| 1524 | |
| 1525 | - the static contents of the image. These are data actually stored in the |
| 1526 | binary on the disk. In the ELF terminology, they are called ``PROGBITS`` |
| 1527 | sections; |
| 1528 | |
| 1529 | - the run-time contents of the image. These are data that don't occupy any |
| 1530 | space in the binary on the disk. The ELF binary just contains some |
| 1531 | metadata indicating where these data will be stored at run-time and the |
| 1532 | corresponding sections need to be allocated and initialized at run-time. |
| 1533 | In the ELF terminology, they are called ``NOBITS`` sections. |
| 1534 | |
| 1535 | All PROGBITS sections are grouped together at the beginning of the image, |
Dan Handley | 610e7e1 | 2018-03-01 18:44:00 +0000 | [diff] [blame] | 1536 | followed by all NOBITS sections. This is true for all TF-A images and it is |
| 1537 | governed by the linker scripts. This ensures that the raw binary images are |
| 1538 | as small as possible. If a NOBITS section was inserted in between PROGBITS |
| 1539 | sections then the resulting binary file would contain zero bytes in place of |
| 1540 | this NOBITS section, making the image unnecessarily bigger. Smaller images |
| 1541 | allow faster loading from the FIP to the main memory. |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 1542 | |
Samuel Holland | 31a14e1 | 2018-10-17 21:40:18 -0500 | [diff] [blame] | 1543 | For BL31, a platform can specify an alternate location for NOBITS sections |
| 1544 | (other than immediately following PROGBITS sections) by setting |
| 1545 | ``SEPARATE_NOBITS_REGION`` to 1 and defining ``BL31_NOBITS_BASE`` and |
| 1546 | ``BL31_NOBITS_LIMIT``. |
| 1547 | |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 1548 | Linker scripts and symbols |
| 1549 | ~~~~~~~~~~~~~~~~~~~~~~~~~~ |
| 1550 | |
| 1551 | Each bootloader stage image layout is described by its own linker script. The |
| 1552 | linker scripts export some symbols into the program symbol table. Their values |
Dan Handley | 610e7e1 | 2018-03-01 18:44:00 +0000 | [diff] [blame] | 1553 | correspond to particular addresses. TF-A code can refer to these symbols to |
| 1554 | figure out the image memory layout. |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 1555 | |
Dan Handley | 610e7e1 | 2018-03-01 18:44:00 +0000 | [diff] [blame] | 1556 | Linker symbols follow the following naming convention in TF-A. |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 1557 | |
| 1558 | - ``__<SECTION>_START__`` |
| 1559 | |
| 1560 | Start address of a given section named ``<SECTION>``. |
| 1561 | |
| 1562 | - ``__<SECTION>_END__`` |
| 1563 | |
| 1564 | End address of a given section named ``<SECTION>``. If there is an alignment |
| 1565 | constraint on the section's end address then ``__<SECTION>_END__`` corresponds |
| 1566 | to the end address of the section's actual contents, rounded up to the right |
| 1567 | boundary. Refer to the value of ``__<SECTION>_UNALIGNED_END__`` to know the |
| 1568 | actual end address of the section's contents. |
| 1569 | |
| 1570 | - ``__<SECTION>_UNALIGNED_END__`` |
| 1571 | |
| 1572 | End address of a given section named ``<SECTION>`` without any padding or |
| 1573 | rounding up due to some alignment constraint. |
| 1574 | |
| 1575 | - ``__<SECTION>_SIZE__`` |
| 1576 | |
| 1577 | Size (in bytes) of a given section named ``<SECTION>``. If there is an |
| 1578 | alignment constraint on the section's end address then ``__<SECTION>_SIZE__`` |
| 1579 | corresponds to the size of the section's actual contents, rounded up to the |
| 1580 | right boundary. In other words, ``__<SECTION>_SIZE__ = __<SECTION>_END__ - _<SECTION>_START__``. Refer to the value of ``__<SECTION>_UNALIGNED_SIZE__`` |
| 1581 | to know the actual size of the section's contents. |
| 1582 | |
| 1583 | - ``__<SECTION>_UNALIGNED_SIZE__`` |
| 1584 | |
| 1585 | Size (in bytes) of a given section named ``<SECTION>`` without any padding or |
| 1586 | rounding up due to some alignment constraint. In other words, |
| 1587 | ``__<SECTION>_UNALIGNED_SIZE__ = __<SECTION>_UNALIGNED_END__ - __<SECTION>_START__``. |
| 1588 | |
Dan Handley | 610e7e1 | 2018-03-01 18:44:00 +0000 | [diff] [blame] | 1589 | Some of the linker symbols are mandatory as TF-A code relies on them to be |
| 1590 | defined. They are listed in the following subsections. Some of them must be |
| 1591 | provided for each bootloader stage and some are specific to a given bootloader |
| 1592 | stage. |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 1593 | |
| 1594 | The linker scripts define some extra, optional symbols. They are not actually |
| 1595 | used by any code but they help in understanding the bootloader images' memory |
| 1596 | layout as they are easy to spot in the link map files. |
| 1597 | |
| 1598 | Common linker symbols |
| 1599 | ^^^^^^^^^^^^^^^^^^^^^ |
| 1600 | |
| 1601 | All BL images share the following requirements: |
| 1602 | |
| 1603 | - The BSS section must be zero-initialised before executing any C code. |
| 1604 | - The coherent memory section (if enabled) must be zero-initialised as well. |
| 1605 | - The MMU setup code needs to know the extents of the coherent and read-only |
| 1606 | memory regions to set the right memory attributes. When |
| 1607 | ``SEPARATE_CODE_AND_RODATA=1``, it needs to know more specifically how the |
| 1608 | read-only memory region is divided between code and data. |
| 1609 | |
| 1610 | The following linker symbols are defined for this purpose: |
| 1611 | |
| 1612 | - ``__BSS_START__`` |
| 1613 | - ``__BSS_SIZE__`` |
| 1614 | - ``__COHERENT_RAM_START__`` Must be aligned on a page-size boundary. |
| 1615 | - ``__COHERENT_RAM_END__`` Must be aligned on a page-size boundary. |
| 1616 | - ``__COHERENT_RAM_UNALIGNED_SIZE__`` |
| 1617 | - ``__RO_START__`` |
| 1618 | - ``__RO_END__`` |
| 1619 | - ``__TEXT_START__`` |
Michal Simek | 80c530e | 2023-04-27 14:26:03 +0200 | [diff] [blame] | 1620 | - ``__TEXT_END_UNALIGNED__`` |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 1621 | - ``__TEXT_END__`` |
| 1622 | - ``__RODATA_START__`` |
Michal Simek | 80c530e | 2023-04-27 14:26:03 +0200 | [diff] [blame] | 1623 | - ``__RODATA_END_UNALIGNED__`` |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 1624 | - ``__RODATA_END__`` |
| 1625 | |
| 1626 | BL1's linker symbols |
| 1627 | ^^^^^^^^^^^^^^^^^^^^ |
| 1628 | |
| 1629 | BL1 being the ROM image, it has additional requirements. BL1 resides in ROM and |
| 1630 | it is entirely executed in place but it needs some read-write memory for its |
| 1631 | mutable data. Its ``.data`` section (i.e. its allocated read-write data) must be |
| 1632 | relocated from ROM to RAM before executing any C code. |
| 1633 | |
| 1634 | The following additional linker symbols are defined for BL1: |
| 1635 | |
| 1636 | - ``__BL1_ROM_END__`` End address of BL1's ROM contents, covering its code |
| 1637 | and ``.data`` section in ROM. |
| 1638 | - ``__DATA_ROM_START__`` Start address of the ``.data`` section in ROM. Must be |
| 1639 | aligned on a 16-byte boundary. |
| 1640 | - ``__DATA_RAM_START__`` Address in RAM where the ``.data`` section should be |
| 1641 | copied over. Must be aligned on a 16-byte boundary. |
| 1642 | - ``__DATA_SIZE__`` Size of the ``.data`` section (in ROM or RAM). |
| 1643 | - ``__BL1_RAM_START__`` Start address of BL1 read-write data. |
| 1644 | - ``__BL1_RAM_END__`` End address of BL1 read-write data. |
| 1645 | |
| 1646 | How to choose the right base addresses for each bootloader stage image |
| 1647 | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
| 1648 | |
Dan Handley | 610e7e1 | 2018-03-01 18:44:00 +0000 | [diff] [blame] | 1649 | There is currently no support for dynamic image loading in TF-A. This means |
| 1650 | that all bootloader images need to be linked against their ultimate runtime |
| 1651 | locations and the base addresses of each image must be chosen carefully such |
| 1652 | that images don't overlap each other in an undesired way. As the code grows, |
| 1653 | the base addresses might need adjustments to cope with the new memory layout. |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 1654 | |
| 1655 | The memory layout is completely specific to the platform and so there is no |
| 1656 | general recipe for choosing the right base addresses for each bootloader image. |
| 1657 | However, there are tools to aid in understanding the memory layout. These are |
| 1658 | the link map files: ``build/<platform>/<build-type>/bl<x>/bl<x>.map``, with ``<x>`` |
| 1659 | being the stage bootloader. They provide a detailed view of the memory usage of |
| 1660 | each image. Among other useful information, they provide the end address of |
| 1661 | each image. |
| 1662 | |
| 1663 | - ``bl1.map`` link map file provides ``__BL1_RAM_END__`` address. |
| 1664 | - ``bl2.map`` link map file provides ``__BL2_END__`` address. |
| 1665 | - ``bl31.map`` link map file provides ``__BL31_END__`` address. |
| 1666 | - ``bl32.map`` link map file provides ``__BL32_END__`` address. |
| 1667 | |
| 1668 | For each bootloader image, the platform code must provide its start address |
| 1669 | as well as a limit address that it must not overstep. The latter is used in the |
| 1670 | linker scripts to check that the image doesn't grow past that address. If that |
| 1671 | happens, the linker will issue a message similar to the following: |
| 1672 | |
| 1673 | :: |
| 1674 | |
| 1675 | aarch64-none-elf-ld: BLx has exceeded its limit. |
| 1676 | |
| 1677 | Additionally, if the platform memory layout implies some image overlaying like |
| 1678 | on FVP, BL31 and TSP need to know the limit address that their PROGBITS |
| 1679 | sections must not overstep. The platform code must provide those. |
| 1680 | |
Soby Mathew | 97b1bff | 2018-09-27 16:46:41 +0100 | [diff] [blame] | 1681 | TF-A does not provide any mechanism to verify at boot time that the memory |
| 1682 | to load a new image is free to prevent overwriting a previously loaded image. |
| 1683 | The platform must specify the memory available in the system for all the |
| 1684 | relevant BL images to be loaded. |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 1685 | |
| 1686 | For example, in the case of BL1 loading BL2, ``bl1_plat_sec_mem_layout()`` will |
| 1687 | return the region defined by the platform where BL1 intends to load BL2. The |
| 1688 | ``load_image()`` function performs bounds check for the image size based on the |
| 1689 | base and maximum image size provided by the platforms. Platforms must take |
| 1690 | this behaviour into account when defining the base/size for each of the images. |
| 1691 | |
Dan Handley | 610e7e1 | 2018-03-01 18:44:00 +0000 | [diff] [blame] | 1692 | Memory layout on Arm development platforms |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 1693 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ |
| 1694 | |
Dan Handley | 610e7e1 | 2018-03-01 18:44:00 +0000 | [diff] [blame] | 1695 | The following list describes the memory layout on the Arm development platforms: |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 1696 | |
| 1697 | - A 4KB page of shared memory is used for communication between Trusted |
| 1698 | Firmware and the platform's power controller. This is located at the base of |
| 1699 | Trusted SRAM. The amount of Trusted SRAM available to load the bootloader |
| 1700 | images is reduced by the size of the shared memory. |
| 1701 | |
| 1702 | The shared memory is used to store the CPUs' entrypoint mailbox. On Juno, |
| 1703 | this is also used for the MHU payload when passing messages to and from the |
| 1704 | SCP. |
| 1705 | |
Soby Mathew | 492e245 | 2018-06-06 16:03:10 +0100 | [diff] [blame] | 1706 | - Another 4 KB page is reserved for passing memory layout between BL1 and BL2 |
| 1707 | and also the dynamic firmware configurations. |
| 1708 | |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 1709 | - On FVP, BL1 is originally sitting in the Trusted ROM at address ``0x0``. On |
| 1710 | Juno, BL1 resides in flash memory at address ``0x0BEC0000``. BL1 read-write |
| 1711 | data are relocated to the top of Trusted SRAM at runtime. |
| 1712 | |
Soby Mathew | 492e245 | 2018-06-06 16:03:10 +0100 | [diff] [blame] | 1713 | - BL2 is loaded below BL1 RW |
| 1714 | |
Sandrine Bailleux | 15530dd | 2019-02-08 15:26:36 +0100 | [diff] [blame] | 1715 | - EL3 Runtime Software, BL31 for AArch64 and BL32 for AArch32 (e.g. SP_MIN), |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 1716 | is loaded at the top of the Trusted SRAM, such that its NOBITS sections will |
Soby Mathew | 492e245 | 2018-06-06 16:03:10 +0100 | [diff] [blame] | 1717 | overwrite BL1 R/W data and BL2. This implies that BL1 global variables |
| 1718 | remain valid only until execution reaches the EL3 Runtime Software entry |
| 1719 | point during a cold boot. |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 1720 | |
Sandrine Bailleux | 15530dd | 2019-02-08 15:26:36 +0100 | [diff] [blame] | 1721 | - On Juno, SCP_BL2 is loaded temporarily into the EL3 Runtime Software memory |
Paul Beesley | f2ec714 | 2019-10-04 16:17:46 +0000 | [diff] [blame] | 1722 | region and transferred to the SCP before being overwritten by EL3 Runtime |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 1723 | Software. |
| 1724 | |
| 1725 | - BL32 (for AArch64) can be loaded in one of the following locations: |
| 1726 | |
| 1727 | - Trusted SRAM |
| 1728 | - Trusted DRAM (FVP only) |
| 1729 | - Secure region of DRAM (top 16MB of DRAM configured by the TrustZone |
| 1730 | controller) |
| 1731 | |
Soby Mathew | 492e245 | 2018-06-06 16:03:10 +0100 | [diff] [blame] | 1732 | When BL32 (for AArch64) is loaded into Trusted SRAM, it is loaded below |
| 1733 | BL31. |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 1734 | |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 1735 | The location of the BL32 image will result in different memory maps. This is |
| 1736 | illustrated for both FVP and Juno in the following diagrams, using the TSP as |
| 1737 | an example. |
| 1738 | |
Paul Beesley | ba3ed40 | 2019-03-13 16:20:44 +0000 | [diff] [blame] | 1739 | .. note:: |
| 1740 | Loading the BL32 image in TZC secured DRAM doesn't change the memory |
| 1741 | layout of the other images in Trusted SRAM. |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 1742 | |
Sathees Balya | 9095009 | 2018-11-15 14:22:30 +0000 | [diff] [blame] | 1743 | CONFIG section in memory layouts shown below contains: |
| 1744 | |
| 1745 | :: |
| 1746 | |
| 1747 | +--------------------+ |
| 1748 | |bl2_mem_params_descs| |
| 1749 | |--------------------| |
| 1750 | | fw_configs | |
| 1751 | +--------------------+ |
| 1752 | |
| 1753 | ``bl2_mem_params_descs`` contains parameters passed from BL2 to next the |
| 1754 | BL image during boot. |
| 1755 | |
Manish V Badarkhe | ece96fd | 2020-06-13 09:42:28 +0100 | [diff] [blame] | 1756 | ``fw_configs`` includes soc_fw_config, tos_fw_config, tb_fw_config and fw_config. |
Sathees Balya | 9095009 | 2018-11-15 14:22:30 +0000 | [diff] [blame] | 1757 | |
Soby Mathew | 492e245 | 2018-06-06 16:03:10 +0100 | [diff] [blame] | 1758 | **FVP with TSP in Trusted SRAM with firmware configs :** |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 1759 | (These diagrams only cover the AArch64 case) |
| 1760 | |
| 1761 | :: |
| 1762 | |
Soby Mathew | 492e245 | 2018-06-06 16:03:10 +0100 | [diff] [blame] | 1763 | DRAM |
| 1764 | 0xffffffff +----------+ |
Manish V Badarkhe | 638ac18 | 2023-03-07 10:21:30 +0000 | [diff] [blame] | 1765 | | EL3 TZC | |
| 1766 | 0xffe00000 |----------| (secure) |
| 1767 | | AP TZC | |
| 1768 | 0xff000000 +----------+ |
Soby Mathew | 492e245 | 2018-06-06 16:03:10 +0100 | [diff] [blame] | 1769 | : : |
Manish V Badarkhe | 70d8eee | 2022-04-12 21:11:56 +0100 | [diff] [blame] | 1770 | 0x82100000 |----------| |
Soby Mathew | 492e245 | 2018-06-06 16:03:10 +0100 | [diff] [blame] | 1771 | |HW_CONFIG | |
Manish V Badarkhe | 70d8eee | 2022-04-12 21:11:56 +0100 | [diff] [blame] | 1772 | 0x82000000 |----------| (non-secure) |
Soby Mathew | 492e245 | 2018-06-06 16:03:10 +0100 | [diff] [blame] | 1773 | | | |
| 1774 | 0x80000000 +----------+ |
| 1775 | |
Manish V Badarkhe | 70d8eee | 2022-04-12 21:11:56 +0100 | [diff] [blame] | 1776 | Trusted DRAM |
| 1777 | 0x08000000 +----------+ |
| 1778 | |HW_CONFIG | |
| 1779 | 0x07f00000 |----------| |
| 1780 | : : |
| 1781 | | | |
| 1782 | 0x06000000 +----------+ |
| 1783 | |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 1784 | Trusted SRAM |
Soby Mathew | 492e245 | 2018-06-06 16:03:10 +0100 | [diff] [blame] | 1785 | 0x04040000 +----------+ loaded by BL2 +----------------+ |
| 1786 | | BL1 (rw) | <<<<<<<<<<<<< | | |
| 1787 | |----------| <<<<<<<<<<<<< | BL31 NOBITS | |
| 1788 | | BL2 | <<<<<<<<<<<<< | | |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 1789 | |----------| <<<<<<<<<<<<< |----------------| |
| 1790 | | | <<<<<<<<<<<<< | BL31 PROGBITS | |
Soby Mathew | 492e245 | 2018-06-06 16:03:10 +0100 | [diff] [blame] | 1791 | | | <<<<<<<<<<<<< |----------------| |
| 1792 | | | <<<<<<<<<<<<< | BL32 | |
Manish V Badarkhe | ece96fd | 2020-06-13 09:42:28 +0100 | [diff] [blame] | 1793 | 0x04003000 +----------+ +----------------+ |
Sathees Balya | 9095009 | 2018-11-15 14:22:30 +0000 | [diff] [blame] | 1794 | | CONFIG | |
Soby Mathew | 492e245 | 2018-06-06 16:03:10 +0100 | [diff] [blame] | 1795 | 0x04001000 +----------+ |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 1796 | | Shared | |
| 1797 | 0x04000000 +----------+ |
| 1798 | |
| 1799 | Trusted ROM |
| 1800 | 0x04000000 +----------+ |
| 1801 | | BL1 (ro) | |
| 1802 | 0x00000000 +----------+ |
| 1803 | |
Soby Mathew | 492e245 | 2018-06-06 16:03:10 +0100 | [diff] [blame] | 1804 | **FVP with TSP in Trusted DRAM with firmware configs (default option):** |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 1805 | |
| 1806 | :: |
| 1807 | |
Soby Mathew | b1bf044 | 2018-02-16 14:52:52 +0000 | [diff] [blame] | 1808 | DRAM |
| 1809 | 0xffffffff +--------------+ |
Manish V Badarkhe | 638ac18 | 2023-03-07 10:21:30 +0000 | [diff] [blame] | 1810 | | EL3 TZC | |
| 1811 | 0xffe00000 |--------------| (secure) |
| 1812 | | AP TZC | |
| 1813 | 0xff000000 +--------------+ |
Soby Mathew | b1bf044 | 2018-02-16 14:52:52 +0000 | [diff] [blame] | 1814 | : : |
Manish V Badarkhe | 70d8eee | 2022-04-12 21:11:56 +0100 | [diff] [blame] | 1815 | 0x82100000 |--------------| |
Soby Mathew | b1bf044 | 2018-02-16 14:52:52 +0000 | [diff] [blame] | 1816 | | HW_CONFIG | |
Manish V Badarkhe | 70d8eee | 2022-04-12 21:11:56 +0100 | [diff] [blame] | 1817 | 0x82000000 |--------------| (non-secure) |
Soby Mathew | b1bf044 | 2018-02-16 14:52:52 +0000 | [diff] [blame] | 1818 | | | |
| 1819 | 0x80000000 +--------------+ |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 1820 | |
Manish V Badarkhe | 70d8eee | 2022-04-12 21:11:56 +0100 | [diff] [blame] | 1821 | Trusted DRAM |
Soby Mathew | b1bf044 | 2018-02-16 14:52:52 +0000 | [diff] [blame] | 1822 | 0x08000000 +--------------+ |
Manish V Badarkhe | 70d8eee | 2022-04-12 21:11:56 +0100 | [diff] [blame] | 1823 | | HW_CONFIG | |
| 1824 | 0x07f00000 |--------------| |
| 1825 | : : |
| 1826 | | BL32 | |
Soby Mathew | b1bf044 | 2018-02-16 14:52:52 +0000 | [diff] [blame] | 1827 | 0x06000000 +--------------+ |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 1828 | |
Soby Mathew | b1bf044 | 2018-02-16 14:52:52 +0000 | [diff] [blame] | 1829 | Trusted SRAM |
Soby Mathew | 492e245 | 2018-06-06 16:03:10 +0100 | [diff] [blame] | 1830 | 0x04040000 +--------------+ loaded by BL2 +----------------+ |
| 1831 | | BL1 (rw) | <<<<<<<<<<<<< | | |
| 1832 | |--------------| <<<<<<<<<<<<< | BL31 NOBITS | |
| 1833 | | BL2 | <<<<<<<<<<<<< | | |
Soby Mathew | b1bf044 | 2018-02-16 14:52:52 +0000 | [diff] [blame] | 1834 | |--------------| <<<<<<<<<<<<< |----------------| |
| 1835 | | | <<<<<<<<<<<<< | BL31 PROGBITS | |
Soby Mathew | 492e245 | 2018-06-06 16:03:10 +0100 | [diff] [blame] | 1836 | | | +----------------+ |
Manish V Badarkhe | ece96fd | 2020-06-13 09:42:28 +0100 | [diff] [blame] | 1837 | 0x04003000 +--------------+ |
Sathees Balya | 9095009 | 2018-11-15 14:22:30 +0000 | [diff] [blame] | 1838 | | CONFIG | |
Soby Mathew | b1bf044 | 2018-02-16 14:52:52 +0000 | [diff] [blame] | 1839 | 0x04001000 +--------------+ |
| 1840 | | Shared | |
| 1841 | 0x04000000 +--------------+ |
| 1842 | |
| 1843 | Trusted ROM |
| 1844 | 0x04000000 +--------------+ |
| 1845 | | BL1 (ro) | |
| 1846 | 0x00000000 +--------------+ |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 1847 | |
Soby Mathew | 492e245 | 2018-06-06 16:03:10 +0100 | [diff] [blame] | 1848 | **FVP with TSP in TZC-Secured DRAM with firmware configs :** |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 1849 | |
| 1850 | :: |
| 1851 | |
| 1852 | DRAM |
| 1853 | 0xffffffff +----------+ |
Manish V Badarkhe | 638ac18 | 2023-03-07 10:21:30 +0000 | [diff] [blame] | 1854 | | EL3 TZC | |
| 1855 | 0xffe00000 |----------| (secure) |
| 1856 | | AP TZC | |
| 1857 | | (BL32) | |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 1858 | 0xff000000 +----------+ |
| 1859 | | | |
Manish V Badarkhe | 70d8eee | 2022-04-12 21:11:56 +0100 | [diff] [blame] | 1860 | 0x82100000 |----------| |
Soby Mathew | 492e245 | 2018-06-06 16:03:10 +0100 | [diff] [blame] | 1861 | |HW_CONFIG | |
Manish V Badarkhe | 70d8eee | 2022-04-12 21:11:56 +0100 | [diff] [blame] | 1862 | 0x82000000 |----------| (non-secure) |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 1863 | | | |
| 1864 | 0x80000000 +----------+ |
| 1865 | |
Manish V Badarkhe | 70d8eee | 2022-04-12 21:11:56 +0100 | [diff] [blame] | 1866 | Trusted DRAM |
| 1867 | 0x08000000 +----------+ |
| 1868 | |HW_CONFIG | |
| 1869 | 0x7f000000 |----------| |
| 1870 | : : |
| 1871 | | | |
| 1872 | 0x06000000 +----------+ |
| 1873 | |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 1874 | Trusted SRAM |
Soby Mathew | 492e245 | 2018-06-06 16:03:10 +0100 | [diff] [blame] | 1875 | 0x04040000 +----------+ loaded by BL2 +----------------+ |
| 1876 | | BL1 (rw) | <<<<<<<<<<<<< | | |
| 1877 | |----------| <<<<<<<<<<<<< | BL31 NOBITS | |
| 1878 | | BL2 | <<<<<<<<<<<<< | | |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 1879 | |----------| <<<<<<<<<<<<< |----------------| |
| 1880 | | | <<<<<<<<<<<<< | BL31 PROGBITS | |
Soby Mathew | 492e245 | 2018-06-06 16:03:10 +0100 | [diff] [blame] | 1881 | | | +----------------+ |
Manish V Badarkhe | ece96fd | 2020-06-13 09:42:28 +0100 | [diff] [blame] | 1882 | 0x04003000 +----------+ |
Sathees Balya | 9095009 | 2018-11-15 14:22:30 +0000 | [diff] [blame] | 1883 | | CONFIG | |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 1884 | 0x04001000 +----------+ |
| 1885 | | Shared | |
| 1886 | 0x04000000 +----------+ |
| 1887 | |
| 1888 | Trusted ROM |
| 1889 | 0x04000000 +----------+ |
| 1890 | | BL1 (ro) | |
| 1891 | 0x00000000 +----------+ |
| 1892 | |
Soby Mathew | 492e245 | 2018-06-06 16:03:10 +0100 | [diff] [blame] | 1893 | **Juno with BL32 in Trusted SRAM :** |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 1894 | |
| 1895 | :: |
| 1896 | |
Manish V Badarkhe | 638ac18 | 2023-03-07 10:21:30 +0000 | [diff] [blame] | 1897 | DRAM |
| 1898 | 0xFFFFFFFF +----------+ |
| 1899 | | SCP TZC | |
| 1900 | 0xFFE00000 |----------| |
| 1901 | | EL3 TZC | |
| 1902 | 0xFFC00000 |----------| (secure) |
| 1903 | | AP TZC | |
| 1904 | 0xFF000000 +----------+ |
| 1905 | | | |
| 1906 | : : (non-secure) |
| 1907 | | | |
| 1908 | 0x80000000 +----------+ |
| 1909 | |
| 1910 | |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 1911 | Flash0 |
| 1912 | 0x0C000000 +----------+ |
| 1913 | : : |
| 1914 | 0x0BED0000 |----------| |
| 1915 | | BL1 (ro) | |
| 1916 | 0x0BEC0000 |----------| |
| 1917 | : : |
| 1918 | 0x08000000 +----------+ BL31 is loaded |
| 1919 | after SCP_BL2 has |
| 1920 | Trusted SRAM been sent to SCP |
Soby Mathew | 492e245 | 2018-06-06 16:03:10 +0100 | [diff] [blame] | 1921 | 0x04040000 +----------+ loaded by BL2 +----------------+ |
| 1922 | | BL1 (rw) | <<<<<<<<<<<<< | | |
| 1923 | |----------| <<<<<<<<<<<<< | BL31 NOBITS | |
| 1924 | | BL2 | <<<<<<<<<<<<< | | |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 1925 | |----------| <<<<<<<<<<<<< |----------------| |
| 1926 | | SCP_BL2 | <<<<<<<<<<<<< | BL31 PROGBITS | |
Chris Kay | f8fa465 | 2020-03-12 13:50:26 +0000 | [diff] [blame] | 1927 | | | <<<<<<<<<<<<< |----------------| |
Soby Mathew | 492e245 | 2018-06-06 16:03:10 +0100 | [diff] [blame] | 1928 | | | <<<<<<<<<<<<< | BL32 | |
| 1929 | | | +----------------+ |
| 1930 | | | |
| 1931 | 0x04001000 +----------+ |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 1932 | | MHU | |
| 1933 | 0x04000000 +----------+ |
| 1934 | |
Soby Mathew | 492e245 | 2018-06-06 16:03:10 +0100 | [diff] [blame] | 1935 | **Juno with BL32 in TZC-secured DRAM :** |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 1936 | |
| 1937 | :: |
| 1938 | |
| 1939 | DRAM |
Manish V Badarkhe | 638ac18 | 2023-03-07 10:21:30 +0000 | [diff] [blame] | 1940 | 0xFFFFFFFF +----------+ |
| 1941 | | SCP TZC | |
| 1942 | 0xFFE00000 |----------| |
| 1943 | | EL3 TZC | |
| 1944 | 0xFFC00000 |----------| (secure) |
| 1945 | | AP TZC | |
| 1946 | | (BL32) | |
| 1947 | 0xFF000000 +----------+ |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 1948 | | | |
| 1949 | : : (non-secure) |
| 1950 | | | |
| 1951 | 0x80000000 +----------+ |
| 1952 | |
| 1953 | Flash0 |
| 1954 | 0x0C000000 +----------+ |
| 1955 | : : |
| 1956 | 0x0BED0000 |----------| |
| 1957 | | BL1 (ro) | |
| 1958 | 0x0BEC0000 |----------| |
| 1959 | : : |
| 1960 | 0x08000000 +----------+ BL31 is loaded |
| 1961 | after SCP_BL2 has |
| 1962 | Trusted SRAM been sent to SCP |
Soby Mathew | 492e245 | 2018-06-06 16:03:10 +0100 | [diff] [blame] | 1963 | 0x04040000 +----------+ loaded by BL2 +----------------+ |
| 1964 | | BL1 (rw) | <<<<<<<<<<<<< | | |
| 1965 | |----------| <<<<<<<<<<<<< | BL31 NOBITS | |
| 1966 | | BL2 | <<<<<<<<<<<<< | | |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 1967 | |----------| <<<<<<<<<<<<< |----------------| |
| 1968 | | SCP_BL2 | <<<<<<<<<<<<< | BL31 PROGBITS | |
Chris Kay | f8fa465 | 2020-03-12 13:50:26 +0000 | [diff] [blame] | 1969 | | | +----------------+ |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 1970 | 0x04001000 +----------+ |
| 1971 | | MHU | |
| 1972 | 0x04000000 +----------+ |
| 1973 | |
Paul Beesley | d2fcc4e | 2019-05-29 13:59:40 +0100 | [diff] [blame] | 1974 | .. _firmware_design_fip: |
Sathees Balya | 17d8eed | 2019-01-30 15:56:44 +0000 | [diff] [blame] | 1975 | |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 1976 | Firmware Image Package (FIP) |
| 1977 | ---------------------------- |
| 1978 | |
| 1979 | Using a Firmware Image Package (FIP) allows for packing bootloader images (and |
Dan Handley | 610e7e1 | 2018-03-01 18:44:00 +0000 | [diff] [blame] | 1980 | potentially other payloads) into a single archive that can be loaded by TF-A |
| 1981 | from non-volatile platform storage. A driver to load images from a FIP has |
| 1982 | been added to the storage layer and allows a package to be read from supported |
| 1983 | platform storage. A tool to create Firmware Image Packages is also provided |
| 1984 | and described below. |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 1985 | |
| 1986 | Firmware Image Package layout |
| 1987 | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
| 1988 | |
| 1989 | The FIP layout consists of a table of contents (ToC) followed by payload data. |
| 1990 | The ToC itself has a header followed by one or more table entries. The ToC is |
Jett Zhou | 7556610 | 2017-11-24 16:03:58 +0800 | [diff] [blame] | 1991 | terminated by an end marker entry, and since the size of the ToC is 0 bytes, |
| 1992 | the offset equals the total size of the FIP file. All ToC entries describe some |
| 1993 | payload data that has been appended to the end of the binary package. With the |
| 1994 | information provided in the ToC entry the corresponding payload data can be |
| 1995 | retrieved. |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 1996 | |
| 1997 | :: |
| 1998 | |
| 1999 | ------------------ |
| 2000 | | ToC Header | |
| 2001 | |----------------| |
| 2002 | | ToC Entry 0 | |
| 2003 | |----------------| |
| 2004 | | ToC Entry 1 | |
| 2005 | |----------------| |
| 2006 | | ToC End Marker | |
| 2007 | |----------------| |
| 2008 | | | |
| 2009 | | Data 0 | |
| 2010 | | | |
| 2011 | |----------------| |
| 2012 | | | |
| 2013 | | Data 1 | |
| 2014 | | | |
| 2015 | ------------------ |
| 2016 | |
| 2017 | The ToC header and entry formats are described in the header file |
| 2018 | ``include/tools_share/firmware_image_package.h``. This file is used by both the |
Dan Handley | 610e7e1 | 2018-03-01 18:44:00 +0000 | [diff] [blame] | 2019 | tool and TF-A. |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 2020 | |
| 2021 | The ToC header has the following fields: |
| 2022 | |
| 2023 | :: |
| 2024 | |
| 2025 | `name`: The name of the ToC. This is currently used to validate the header. |
| 2026 | `serial_number`: A non-zero number provided by the creation tool |
| 2027 | `flags`: Flags associated with this data. |
| 2028 | Bits 0-31: Reserved |
| 2029 | Bits 32-47: Platform defined |
| 2030 | Bits 48-63: Reserved |
| 2031 | |
| 2032 | A ToC entry has the following fields: |
| 2033 | |
| 2034 | :: |
| 2035 | |
| 2036 | `uuid`: All files are referred to by a pre-defined Universally Unique |
| 2037 | IDentifier [UUID] . The UUIDs are defined in |
| 2038 | `include/tools_share/firmware_image_package.h`. The platform translates |
| 2039 | the requested image name into the corresponding UUID when accessing the |
| 2040 | package. |
| 2041 | `offset_address`: The offset address at which the corresponding payload data |
| 2042 | can be found. The offset is calculated from the ToC base address. |
| 2043 | `size`: The size of the corresponding payload data in bytes. |
Etienne Carriere | 7421bf1 | 2017-08-23 15:43:33 +0200 | [diff] [blame] | 2044 | `flags`: Flags associated with this entry. None are yet defined. |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 2045 | |
| 2046 | Firmware Image Package creation tool |
| 2047 | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
| 2048 | |
Dan Handley | 610e7e1 | 2018-03-01 18:44:00 +0000 | [diff] [blame] | 2049 | The FIP creation tool can be used to pack specified images into a binary |
| 2050 | package that can be loaded by TF-A from platform storage. The tool currently |
| 2051 | only supports packing bootloader images. Additional image definitions can be |
| 2052 | added to the tool as required. |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 2053 | |
| 2054 | The tool can be found in ``tools/fiptool``. |
| 2055 | |
| 2056 | Loading from a Firmware Image Package (FIP) |
| 2057 | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
| 2058 | |
| 2059 | The Firmware Image Package (FIP) driver can load images from a binary package on |
Dan Handley | 610e7e1 | 2018-03-01 18:44:00 +0000 | [diff] [blame] | 2060 | non-volatile platform storage. For the Arm development platforms, this is |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 2061 | currently NOR FLASH. |
| 2062 | |
| 2063 | Bootloader images are loaded according to the platform policy as specified by |
Dan Handley | 610e7e1 | 2018-03-01 18:44:00 +0000 | [diff] [blame] | 2064 | the function ``plat_get_image_source()``. For the Arm development platforms, this |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 2065 | means the platform will attempt to load images from a Firmware Image Package |
| 2066 | located at the start of NOR FLASH0. |
| 2067 | |
Dan Handley | 610e7e1 | 2018-03-01 18:44:00 +0000 | [diff] [blame] | 2068 | The Arm development platforms' policy is to only allow loading of a known set of |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 2069 | images. The platform policy can be modified to allow additional images. |
| 2070 | |
Dan Handley | 610e7e1 | 2018-03-01 18:44:00 +0000 | [diff] [blame] | 2071 | Use of coherent memory in TF-A |
| 2072 | ------------------------------ |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 2073 | |
| 2074 | There might be loss of coherency when physical memory with mismatched |
| 2075 | shareability, cacheability and memory attributes is accessed by multiple CPUs |
Dan Handley | 610e7e1 | 2018-03-01 18:44:00 +0000 | [diff] [blame] | 2076 | (refer to section B2.9 of `Arm ARM`_ for more details). This possibility occurs |
| 2077 | in TF-A during power up/down sequences when coherency, MMU and caches are |
| 2078 | turned on/off incrementally. |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 2079 | |
Dan Handley | 610e7e1 | 2018-03-01 18:44:00 +0000 | [diff] [blame] | 2080 | TF-A defines coherent memory as a region of memory with Device nGnRE attributes |
| 2081 | in the translation tables. The translation granule size in TF-A is 4KB. This |
| 2082 | is the smallest possible size of the coherent memory region. |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 2083 | |
| 2084 | By default, all data structures which are susceptible to accesses with |
| 2085 | mismatched attributes from various CPUs are allocated in a coherent memory |
Paul Beesley | f864067 | 2019-04-12 14:19:42 +0100 | [diff] [blame] | 2086 | region (refer to section 2.1 of :ref:`Porting Guide`). The coherent memory |
| 2087 | region accesses are Outer Shareable, non-cacheable and they can be accessed with |
| 2088 | the Device nGnRE attributes when the MMU is turned on. Hence, at the expense of |
| 2089 | at least an extra page of memory, TF-A is able to work around coherency issues |
| 2090 | due to mismatched memory attributes. |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 2091 | |
| 2092 | The alternative to the above approach is to allocate the susceptible data |
| 2093 | structures in Normal WriteBack WriteAllocate Inner shareable memory. This |
| 2094 | approach requires the data structures to be designed so that it is possible to |
| 2095 | work around the issue of mismatched memory attributes by performing software |
| 2096 | cache maintenance on them. |
| 2097 | |
Dan Handley | 610e7e1 | 2018-03-01 18:44:00 +0000 | [diff] [blame] | 2098 | Disabling the use of coherent memory in TF-A |
| 2099 | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 2100 | |
| 2101 | It might be desirable to avoid the cost of allocating coherent memory on |
Dan Handley | 610e7e1 | 2018-03-01 18:44:00 +0000 | [diff] [blame] | 2102 | platforms which are memory constrained. TF-A enables inclusion of coherent |
| 2103 | memory in firmware images through the build flag ``USE_COHERENT_MEM``. |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 2104 | This flag is enabled by default. It can be disabled to choose the second |
| 2105 | approach described above. |
| 2106 | |
| 2107 | The below sections analyze the data structures allocated in the coherent memory |
| 2108 | region and the changes required to allocate them in normal memory. |
| 2109 | |
| 2110 | Coherent memory usage in PSCI implementation |
| 2111 | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
| 2112 | |
| 2113 | The ``psci_non_cpu_pd_nodes`` data structure stores the platform's power domain |
| 2114 | tree information for state management of power domains. By default, this data |
Dan Handley | 610e7e1 | 2018-03-01 18:44:00 +0000 | [diff] [blame] | 2115 | structure is allocated in the coherent memory region in TF-A because it can be |
Paul Beesley | 1fbc97b | 2019-01-11 18:26:51 +0000 | [diff] [blame] | 2116 | accessed by multiple CPUs, either with caches enabled or disabled. |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 2117 | |
| 2118 | .. code:: c |
| 2119 | |
| 2120 | typedef struct non_cpu_pwr_domain_node { |
| 2121 | /* |
| 2122 | * Index of the first CPU power domain node level 0 which has this node |
| 2123 | * as its parent. |
| 2124 | */ |
| 2125 | unsigned int cpu_start_idx; |
| 2126 | |
| 2127 | /* |
| 2128 | * Number of CPU power domains which are siblings of the domain indexed |
| 2129 | * by 'cpu_start_idx' i.e. all the domains in the range 'cpu_start_idx |
| 2130 | * -> cpu_start_idx + ncpus' have this node as their parent. |
| 2131 | */ |
| 2132 | unsigned int ncpus; |
| 2133 | |
| 2134 | /* |
| 2135 | * Index of the parent power domain node. |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 2136 | */ |
| 2137 | unsigned int parent_node; |
| 2138 | |
| 2139 | plat_local_state_t local_state; |
| 2140 | |
| 2141 | unsigned char level; |
| 2142 | |
| 2143 | /* For indexing the psci_lock array*/ |
| 2144 | unsigned char lock_index; |
| 2145 | } non_cpu_pd_node_t; |
| 2146 | |
| 2147 | In order to move this data structure to normal memory, the use of each of its |
| 2148 | fields must be analyzed. Fields like ``cpu_start_idx``, ``ncpus``, ``parent_node`` |
| 2149 | ``level`` and ``lock_index`` are only written once during cold boot. Hence removing |
| 2150 | them from coherent memory involves only doing a clean and invalidate of the |
| 2151 | cache lines after these fields are written. |
| 2152 | |
| 2153 | The field ``local_state`` can be concurrently accessed by multiple CPUs in |
| 2154 | different cache states. A Lamport's Bakery lock ``psci_locks`` is used to ensure |
Paul Beesley | 1fbc97b | 2019-01-11 18:26:51 +0000 | [diff] [blame] | 2155 | mutual exclusion to this field and a clean and invalidate is needed after it |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 2156 | is written. |
| 2157 | |
| 2158 | Bakery lock data |
| 2159 | ~~~~~~~~~~~~~~~~ |
| 2160 | |
| 2161 | The bakery lock data structure ``bakery_lock_t`` is allocated in coherent memory |
| 2162 | and is accessed by multiple CPUs with mismatched attributes. ``bakery_lock_t`` is |
| 2163 | defined as follows: |
| 2164 | |
| 2165 | .. code:: c |
| 2166 | |
| 2167 | typedef struct bakery_lock { |
| 2168 | /* |
| 2169 | * The lock_data is a bit-field of 2 members: |
| 2170 | * Bit[0] : choosing. This field is set when the CPU is |
| 2171 | * choosing its bakery number. |
| 2172 | * Bits[1 - 15] : number. This is the bakery number allocated. |
| 2173 | */ |
| 2174 | volatile uint16_t lock_data[BAKERY_LOCK_MAX_CPUS]; |
| 2175 | } bakery_lock_t; |
| 2176 | |
| 2177 | It is a characteristic of Lamport's Bakery algorithm that the volatile per-CPU |
| 2178 | fields can be read by all CPUs but only written to by the owning CPU. |
| 2179 | |
| 2180 | Depending upon the data cache line size, the per-CPU fields of the |
| 2181 | ``bakery_lock_t`` structure for multiple CPUs may exist on a single cache line. |
| 2182 | These per-CPU fields can be read and written during lock contention by multiple |
| 2183 | CPUs with mismatched memory attributes. Since these fields are a part of the |
| 2184 | lock implementation, they do not have access to any other locking primitive to |
| 2185 | safeguard against the resulting coherency issues. As a result, simple software |
| 2186 | cache maintenance is not enough to allocate them in coherent memory. Consider |
| 2187 | the following example. |
| 2188 | |
| 2189 | CPU0 updates its per-CPU field with data cache enabled. This write updates a |
| 2190 | local cache line which contains a copy of the fields for other CPUs as well. Now |
| 2191 | CPU1 updates its per-CPU field of the ``bakery_lock_t`` structure with data cache |
| 2192 | disabled. CPU1 then issues a DCIVAC operation to invalidate any stale copies of |
| 2193 | its field in any other cache line in the system. This operation will invalidate |
| 2194 | the update made by CPU0 as well. |
| 2195 | |
| 2196 | To use bakery locks when ``USE_COHERENT_MEM`` is disabled, the lock data structure |
| 2197 | has been redesigned. The changes utilise the characteristic of Lamport's Bakery |
Sandrine Bailleux | 15530dd | 2019-02-08 15:26:36 +0100 | [diff] [blame] | 2198 | algorithm mentioned earlier. The bakery_lock structure only allocates the memory |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 2199 | for a single CPU. The macro ``DEFINE_BAKERY_LOCK`` allocates all the bakery locks |
Chris Kay | 33bfc5e | 2023-02-14 11:30:04 +0000 | [diff] [blame] | 2200 | needed for a CPU into a section ``.bakery_lock``. The linker allocates the memory |
Sandrine Bailleux | 15530dd | 2019-02-08 15:26:36 +0100 | [diff] [blame] | 2201 | for other cores by using the total size allocated for the bakery_lock section |
| 2202 | and multiplying it with (PLATFORM_CORE_COUNT - 1). This enables software to |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 2203 | perform software cache maintenance on the lock data structure without running |
| 2204 | into coherency issues associated with mismatched attributes. |
| 2205 | |
| 2206 | The bakery lock data structure ``bakery_info_t`` is defined for use when |
| 2207 | ``USE_COHERENT_MEM`` is disabled as follows: |
| 2208 | |
| 2209 | .. code:: c |
| 2210 | |
| 2211 | typedef struct bakery_info { |
| 2212 | /* |
| 2213 | * The lock_data is a bit-field of 2 members: |
| 2214 | * Bit[0] : choosing. This field is set when the CPU is |
| 2215 | * choosing its bakery number. |
| 2216 | * Bits[1 - 15] : number. This is the bakery number allocated. |
| 2217 | */ |
| 2218 | volatile uint16_t lock_data; |
| 2219 | } bakery_info_t; |
| 2220 | |
| 2221 | The ``bakery_info_t`` represents a single per-CPU field of one lock and |
| 2222 | the combination of corresponding ``bakery_info_t`` structures for all CPUs in the |
| 2223 | system represents the complete bakery lock. The view in memory for a system |
| 2224 | with n bakery locks are: |
| 2225 | |
| 2226 | :: |
| 2227 | |
Chris Kay | 33bfc5e | 2023-02-14 11:30:04 +0000 | [diff] [blame] | 2228 | .bakery_lock section start |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 2229 | |----------------| |
| 2230 | | `bakery_info_t`| <-- Lock_0 per-CPU field |
| 2231 | | Lock_0 | for CPU0 |
| 2232 | |----------------| |
| 2233 | | `bakery_info_t`| <-- Lock_1 per-CPU field |
| 2234 | | Lock_1 | for CPU0 |
| 2235 | |----------------| |
| 2236 | | .... | |
| 2237 | |----------------| |
| 2238 | | `bakery_info_t`| <-- Lock_N per-CPU field |
| 2239 | | Lock_N | for CPU0 |
| 2240 | ------------------ |
| 2241 | | XXXXX | |
| 2242 | | Padding to | |
| 2243 | | next Cache WB | <--- Calculate PERCPU_BAKERY_LOCK_SIZE, allocate |
| 2244 | | Granule | continuous memory for remaining CPUs. |
| 2245 | ------------------ |
| 2246 | | `bakery_info_t`| <-- Lock_0 per-CPU field |
| 2247 | | Lock_0 | for CPU1 |
| 2248 | |----------------| |
| 2249 | | `bakery_info_t`| <-- Lock_1 per-CPU field |
| 2250 | | Lock_1 | for CPU1 |
| 2251 | |----------------| |
| 2252 | | .... | |
| 2253 | |----------------| |
| 2254 | | `bakery_info_t`| <-- Lock_N per-CPU field |
| 2255 | | Lock_N | for CPU1 |
| 2256 | ------------------ |
| 2257 | | XXXXX | |
| 2258 | | Padding to | |
| 2259 | | next Cache WB | |
| 2260 | | Granule | |
| 2261 | ------------------ |
| 2262 | |
| 2263 | Consider a system of 2 CPUs with 'N' bakery locks as shown above. For an |
Sandrine Bailleux | 15530dd | 2019-02-08 15:26:36 +0100 | [diff] [blame] | 2264 | operation on Lock_N, the corresponding ``bakery_info_t`` in both CPU0 and CPU1 |
Chris Kay | 33bfc5e | 2023-02-14 11:30:04 +0000 | [diff] [blame] | 2265 | ``.bakery_lock`` section need to be fetched and appropriate cache operations need |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 2266 | to be performed for each access. |
| 2267 | |
Dan Handley | 610e7e1 | 2018-03-01 18:44:00 +0000 | [diff] [blame] | 2268 | On Arm Platforms, bakery locks are used in psci (``psci_locks``) and power controller |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 2269 | driver (``arm_lock``). |
| 2270 | |
| 2271 | Non Functional Impact of removing coherent memory |
| 2272 | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
| 2273 | |
| 2274 | Removal of the coherent memory region leads to the additional software overhead |
| 2275 | of performing cache maintenance for the affected data structures. However, since |
| 2276 | the memory where the data structures are allocated is cacheable, the overhead is |
| 2277 | mostly mitigated by an increase in performance. |
| 2278 | |
| 2279 | There is however a performance impact for bakery locks, due to: |
| 2280 | |
| 2281 | - Additional cache maintenance operations, and |
| 2282 | - Multiple cache line reads for each lock operation, since the bakery locks |
| 2283 | for each CPU are distributed across different cache lines. |
| 2284 | |
| 2285 | The implementation has been optimized to minimize this additional overhead. |
| 2286 | Measurements indicate that when bakery locks are allocated in Normal memory, the |
| 2287 | minimum latency of acquiring a lock is on an average 3-4 micro seconds whereas |
| 2288 | in Device memory the same is 2 micro seconds. The measurements were done on the |
Dan Handley | 610e7e1 | 2018-03-01 18:44:00 +0000 | [diff] [blame] | 2289 | Juno Arm development platform. |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 2290 | |
| 2291 | As mentioned earlier, almost a page of memory can be saved by disabling |
| 2292 | ``USE_COHERENT_MEM``. Each platform needs to consider these trade-offs to decide |
| 2293 | whether coherent memory should be used. If a platform disables |
| 2294 | ``USE_COHERENT_MEM`` and needs to use bakery locks in the porting layer, it can |
| 2295 | optionally define macro ``PLAT_PERCPU_BAKERY_LOCK_SIZE`` (see the |
Paul Beesley | f864067 | 2019-04-12 14:19:42 +0100 | [diff] [blame] | 2296 | :ref:`Porting Guide`). Refer to the reference platform code for examples. |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 2297 | |
| 2298 | Isolating code and read-only data on separate memory pages |
| 2299 | ---------------------------------------------------------- |
| 2300 | |
Dan Handley | 610e7e1 | 2018-03-01 18:44:00 +0000 | [diff] [blame] | 2301 | In the Armv8-A VMSA, translation table entries include fields that define the |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 2302 | properties of the target memory region, such as its access permissions. The |
| 2303 | smallest unit of memory that can be addressed by a translation table entry is |
| 2304 | a memory page. Therefore, if software needs to set different permissions on two |
| 2305 | memory regions then it needs to map them using different memory pages. |
| 2306 | |
| 2307 | The default memory layout for each BL image is as follows: |
| 2308 | |
| 2309 | :: |
| 2310 | |
| 2311 | | ... | |
| 2312 | +-------------------+ |
| 2313 | | Read-write data | |
| 2314 | +-------------------+ Page boundary |
| 2315 | | <Padding> | |
| 2316 | +-------------------+ |
| 2317 | | Exception vectors | |
| 2318 | +-------------------+ 2 KB boundary |
| 2319 | | <Padding> | |
| 2320 | +-------------------+ |
| 2321 | | Read-only data | |
| 2322 | +-------------------+ |
| 2323 | | Code | |
| 2324 | +-------------------+ BLx_BASE |
| 2325 | |
Paul Beesley | ba3ed40 | 2019-03-13 16:20:44 +0000 | [diff] [blame] | 2326 | .. note:: |
| 2327 | The 2KB alignment for the exception vectors is an architectural |
| 2328 | requirement. |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 2329 | |
| 2330 | The read-write data start on a new memory page so that they can be mapped with |
| 2331 | read-write permissions, whereas the code and read-only data below are configured |
| 2332 | as read-only. |
| 2333 | |
| 2334 | However, the read-only data are not aligned on a page boundary. They are |
| 2335 | contiguous to the code. Therefore, the end of the code section and the beginning |
| 2336 | of the read-only data one might share a memory page. This forces both to be |
| 2337 | mapped with the same memory attributes. As the code needs to be executable, this |
| 2338 | means that the read-only data stored on the same memory page as the code are |
| 2339 | executable as well. This could potentially be exploited as part of a security |
| 2340 | attack. |
| 2341 | |
| 2342 | TF provides the build flag ``SEPARATE_CODE_AND_RODATA`` to isolate the code and |
| 2343 | read-only data on separate memory pages. This in turn allows independent control |
| 2344 | of the access permissions for the code and read-only data. In this case, |
| 2345 | platform code gets a finer-grained view of the image layout and can |
| 2346 | appropriately map the code region as executable and the read-only data as |
| 2347 | execute-never. |
| 2348 | |
| 2349 | This has an impact on memory footprint, as padding bytes need to be introduced |
Paul Beesley | 1fbc97b | 2019-01-11 18:26:51 +0000 | [diff] [blame] | 2350 | between the code and read-only data to ensure the segregation of the two. To |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 2351 | limit the memory cost, this flag also changes the memory layout such that the |
| 2352 | code and exception vectors are now contiguous, like so: |
| 2353 | |
| 2354 | :: |
| 2355 | |
| 2356 | | ... | |
| 2357 | +-------------------+ |
| 2358 | | Read-write data | |
| 2359 | +-------------------+ Page boundary |
| 2360 | | <Padding> | |
| 2361 | +-------------------+ |
| 2362 | | Read-only data | |
| 2363 | +-------------------+ Page boundary |
| 2364 | | <Padding> | |
| 2365 | +-------------------+ |
| 2366 | | Exception vectors | |
| 2367 | +-------------------+ 2 KB boundary |
| 2368 | | <Padding> | |
| 2369 | +-------------------+ |
| 2370 | | Code | |
| 2371 | +-------------------+ BLx_BASE |
| 2372 | |
| 2373 | With this more condensed memory layout, the separation of read-only data will |
| 2374 | add zero or one page to the memory footprint of each BL image. Each platform |
| 2375 | should consider the trade-off between memory footprint and security. |
| 2376 | |
Dan Handley | 610e7e1 | 2018-03-01 18:44:00 +0000 | [diff] [blame] | 2377 | This build flag is disabled by default, minimising memory footprint. On Arm |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 2378 | platforms, it is enabled. |
| 2379 | |
Jeenu Viswambharan | e3f2200 | 2017-09-22 08:32:10 +0100 | [diff] [blame] | 2380 | Publish and Subscribe Framework |
| 2381 | ------------------------------- |
| 2382 | |
| 2383 | The Publish and Subscribe Framework allows EL3 components to define and publish |
| 2384 | events, to which other EL3 components can subscribe. |
| 2385 | |
| 2386 | The following macros are provided by the framework: |
| 2387 | |
| 2388 | - ``REGISTER_PUBSUB_EVENT(event)``: Defines an event, and takes one argument, |
| 2389 | the event name, which must be a valid C identifier. All calls to |
| 2390 | ``REGISTER_PUBSUB_EVENT`` macro must be placed in the file |
| 2391 | ``pubsub_events.h``. |
| 2392 | |
| 2393 | - ``PUBLISH_EVENT_ARG(event, arg)``: Publishes a defined event, by iterating |
| 2394 | subscribed handlers and calling them in turn. The handlers will be passed the |
| 2395 | parameter ``arg``. The expected use-case is to broadcast an event. |
| 2396 | |
| 2397 | - ``PUBLISH_EVENT(event)``: Like ``PUBLISH_EVENT_ARG``, except that the value |
| 2398 | ``NULL`` is passed to subscribed handlers. |
| 2399 | |
| 2400 | - ``SUBSCRIBE_TO_EVENT(event, handler)``: Registers the ``handler`` to |
| 2401 | subscribe to ``event``. The handler will be executed whenever the ``event`` |
| 2402 | is published. |
| 2403 | |
| 2404 | - ``for_each_subscriber(event, subscriber)``: Iterates through all handlers |
| 2405 | subscribed for ``event``. ``subscriber`` must be a local variable of type |
| 2406 | ``pubsub_cb_t *``, and will point to each subscribed handler in turn during |
| 2407 | iteration. This macro can be used for those patterns that none of the |
| 2408 | ``PUBLISH_EVENT_*()`` macros cover. |
| 2409 | |
| 2410 | Publishing an event that wasn't defined using ``REGISTER_PUBSUB_EVENT`` will |
| 2411 | result in build error. Subscribing to an undefined event however won't. |
| 2412 | |
| 2413 | Subscribed handlers must be of type ``pubsub_cb_t``, with following function |
| 2414 | signature: |
| 2415 | |
Paul Beesley | 493e349 | 2019-03-13 15:11:04 +0000 | [diff] [blame] | 2416 | .. code:: c |
Jeenu Viswambharan | e3f2200 | 2017-09-22 08:32:10 +0100 | [diff] [blame] | 2417 | |
| 2418 | typedef void* (*pubsub_cb_t)(const void *arg); |
| 2419 | |
| 2420 | There may be arbitrary number of handlers registered to the same event. The |
| 2421 | order in which subscribed handlers are notified when that event is published is |
| 2422 | not defined. Subscribed handlers may be executed in any order; handlers should |
| 2423 | not assume any relative ordering amongst them. |
| 2424 | |
| 2425 | Publishing an event on a PE will result in subscribed handlers executing on that |
| 2426 | PE only; it won't cause handlers to execute on a different PE. |
| 2427 | |
| 2428 | Note that publishing an event on a PE blocks until all the subscribed handlers |
| 2429 | finish executing on the PE. |
| 2430 | |
Dan Handley | 610e7e1 | 2018-03-01 18:44:00 +0000 | [diff] [blame] | 2431 | TF-A generic code publishes and subscribes to some events within. Platform |
| 2432 | ports are discouraged from subscribing to them. These events may be withdrawn, |
| 2433 | renamed, or have their semantics altered in the future. Platforms may however |
| 2434 | register, publish, and subscribe to platform-specific events. |
Dimitris Papastamos | a7921b9 | 2017-10-13 15:27:58 +0100 | [diff] [blame] | 2435 | |
Jeenu Viswambharan | e3f2200 | 2017-09-22 08:32:10 +0100 | [diff] [blame] | 2436 | Publish and Subscribe Example |
| 2437 | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
| 2438 | |
| 2439 | A publisher that wants to publish event ``foo`` would: |
| 2440 | |
| 2441 | - Define the event ``foo`` in the ``pubsub_events.h``. |
| 2442 | |
Paul Beesley | 493e349 | 2019-03-13 15:11:04 +0000 | [diff] [blame] | 2443 | .. code:: c |
Jeenu Viswambharan | e3f2200 | 2017-09-22 08:32:10 +0100 | [diff] [blame] | 2444 | |
| 2445 | REGISTER_PUBSUB_EVENT(foo); |
| 2446 | |
| 2447 | - Depending on the nature of event, use one of ``PUBLISH_EVENT_*()`` macros to |
| 2448 | publish the event at the appropriate path and time of execution. |
| 2449 | |
| 2450 | A subscriber that wants to subscribe to event ``foo`` published above would |
| 2451 | implement: |
| 2452 | |
Sandrine Bailleux | f5a9100 | 2019-02-08 10:50:28 +0100 | [diff] [blame] | 2453 | .. code:: c |
Jeenu Viswambharan | e3f2200 | 2017-09-22 08:32:10 +0100 | [diff] [blame] | 2454 | |
Sandrine Bailleux | f5a9100 | 2019-02-08 10:50:28 +0100 | [diff] [blame] | 2455 | void *foo_handler(const void *arg) |
| 2456 | { |
| 2457 | void *result; |
Jeenu Viswambharan | e3f2200 | 2017-09-22 08:32:10 +0100 | [diff] [blame] | 2458 | |
Sandrine Bailleux | f5a9100 | 2019-02-08 10:50:28 +0100 | [diff] [blame] | 2459 | /* Do handling ... */ |
Jeenu Viswambharan | e3f2200 | 2017-09-22 08:32:10 +0100 | [diff] [blame] | 2460 | |
Sandrine Bailleux | f5a9100 | 2019-02-08 10:50:28 +0100 | [diff] [blame] | 2461 | return result; |
| 2462 | } |
Jeenu Viswambharan | e3f2200 | 2017-09-22 08:32:10 +0100 | [diff] [blame] | 2463 | |
Sandrine Bailleux | f5a9100 | 2019-02-08 10:50:28 +0100 | [diff] [blame] | 2464 | SUBSCRIBE_TO_EVENT(foo, foo_handler); |
Jeenu Viswambharan | e3f2200 | 2017-09-22 08:32:10 +0100 | [diff] [blame] | 2465 | |
Daniel Boulby | 468f0d7 | 2018-09-18 11:45:51 +0100 | [diff] [blame] | 2466 | |
| 2467 | Reclaiming the BL31 initialization code |
| 2468 | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
| 2469 | |
| 2470 | A significant amount of the code used for the initialization of BL31 is never |
| 2471 | needed again after boot time. In order to reduce the runtime memory |
| 2472 | footprint, the memory used for this code can be reclaimed after initialization |
| 2473 | has finished and be used for runtime data. |
| 2474 | |
| 2475 | The build option ``RECLAIM_INIT_CODE`` can be set to mark this boot time code |
| 2476 | with a ``.text.init.*`` attribute which can be filtered and placed suitably |
Paul Beesley | 1fbc97b | 2019-01-11 18:26:51 +0000 | [diff] [blame] | 2477 | within the BL image for later reclamation by the platform. The platform can |
| 2478 | specify the filter and the memory region for this init section in BL31 via the |
Daniel Boulby | 468f0d7 | 2018-09-18 11:45:51 +0100 | [diff] [blame] | 2479 | plat.ld.S linker script. For example, on the FVP, this section is placed |
| 2480 | overlapping the secondary CPU stacks so that after the cold boot is done, this |
| 2481 | memory can be reclaimed for the stacks. The init memory section is initially |
Paul Beesley | 1fbc97b | 2019-01-11 18:26:51 +0000 | [diff] [blame] | 2482 | mapped with ``RO``, ``EXECUTE`` attributes. After BL31 initialization has |
Daniel Boulby | 468f0d7 | 2018-09-18 11:45:51 +0100 | [diff] [blame] | 2483 | completed, the FVP changes the attributes of this section to ``RW``, |
| 2484 | ``EXECUTE_NEVER`` allowing it to be used for runtime data. The memory attributes |
| 2485 | are changed within the ``bl31_plat_runtime_setup`` platform hook. The init |
| 2486 | section section can be reclaimed for any data which is accessed after cold |
| 2487 | boot initialization and it is upto the platform to make the decision. |
| 2488 | |
Paul Beesley | f864067 | 2019-04-12 14:19:42 +0100 | [diff] [blame] | 2489 | .. _firmware_design_pmf: |
| 2490 | |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 2491 | Performance Measurement Framework |
| 2492 | --------------------------------- |
| 2493 | |
| 2494 | The Performance Measurement Framework (PMF) facilitates collection of |
Dan Handley | 610e7e1 | 2018-03-01 18:44:00 +0000 | [diff] [blame] | 2495 | timestamps by registered services and provides interfaces to retrieve them |
| 2496 | from within TF-A. A platform can choose to expose appropriate SMCs to |
| 2497 | retrieve these collected timestamps. |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 2498 | |
| 2499 | By default, the global physical counter is used for the timestamp |
| 2500 | value and is read via ``CNTPCT_EL0``. The framework allows to retrieve |
| 2501 | timestamps captured by other CPUs. |
| 2502 | |
| 2503 | Timestamp identifier format |
| 2504 | ~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
| 2505 | |
| 2506 | A PMF timestamp is uniquely identified across the system via the |
| 2507 | timestamp ID or ``tid``. The ``tid`` is composed as follows: |
| 2508 | |
| 2509 | :: |
| 2510 | |
| 2511 | Bits 0-7: The local timestamp identifier. |
| 2512 | Bits 8-9: Reserved. |
| 2513 | Bits 10-15: The service identifier. |
| 2514 | Bits 16-31: Reserved. |
| 2515 | |
| 2516 | #. The service identifier. Each PMF service is identified by a |
| 2517 | service name and a service identifier. Both the service name and |
| 2518 | identifier are unique within the system as a whole. |
| 2519 | |
| 2520 | #. The local timestamp identifier. This identifier is unique within a given |
| 2521 | service. |
| 2522 | |
| 2523 | Registering a PMF service |
| 2524 | ~~~~~~~~~~~~~~~~~~~~~~~~~ |
| 2525 | |
| 2526 | To register a PMF service, the ``PMF_REGISTER_SERVICE()`` macro from ``pmf.h`` |
| 2527 | is used. The arguments required are the service name, the service ID, |
| 2528 | the total number of local timestamps to be captured and a set of flags. |
| 2529 | |
| 2530 | The ``flags`` field can be specified as a bitwise-OR of the following values: |
| 2531 | |
| 2532 | :: |
| 2533 | |
| 2534 | PMF_STORE_ENABLE: The timestamp is stored in memory for later retrieval. |
| 2535 | PMF_DUMP_ENABLE: The timestamp is dumped on the serial console. |
| 2536 | |
| 2537 | The ``PMF_REGISTER_SERVICE()`` reserves memory to store captured |
| 2538 | timestamps in a PMF specific linker section at build time. |
| 2539 | Additionally, it defines necessary functions to capture and |
| 2540 | retrieve a particular timestamp for the given service at runtime. |
| 2541 | |
Dan Handley | 610e7e1 | 2018-03-01 18:44:00 +0000 | [diff] [blame] | 2542 | The macro ``PMF_REGISTER_SERVICE()`` only enables capturing PMF timestamps |
| 2543 | from within TF-A. In order to retrieve timestamps from outside of TF-A, the |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 2544 | ``PMF_REGISTER_SERVICE_SMC()`` macro must be used instead. This macro |
| 2545 | accepts the same set of arguments as the ``PMF_REGISTER_SERVICE()`` |
| 2546 | macro but additionally supports retrieving timestamps using SMCs. |
| 2547 | |
| 2548 | Capturing a timestamp |
| 2549 | ~~~~~~~~~~~~~~~~~~~~~ |
| 2550 | |
| 2551 | PMF timestamps are stored in a per-service timestamp region. On a |
| 2552 | system with multiple CPUs, each timestamp is captured and stored |
| 2553 | in a per-CPU cache line aligned memory region. |
| 2554 | |
| 2555 | Having registered the service, the ``PMF_CAPTURE_TIMESTAMP()`` macro can be |
| 2556 | used to capture a timestamp at the location where it is used. The macro |
| 2557 | takes the service name, a local timestamp identifier and a flag as arguments. |
| 2558 | |
| 2559 | The ``flags`` field argument can be zero, or ``PMF_CACHE_MAINT`` which |
| 2560 | instructs PMF to do cache maintenance following the capture. Cache |
| 2561 | maintenance is required if any of the service's timestamps are captured |
| 2562 | with data cache disabled. |
| 2563 | |
| 2564 | To capture a timestamp in assembly code, the caller should use |
| 2565 | ``pmf_calc_timestamp_addr`` macro (defined in ``pmf_asm_macros.S``) to |
| 2566 | calculate the address of where the timestamp would be stored. The |
| 2567 | caller should then read ``CNTPCT_EL0`` register to obtain the timestamp |
| 2568 | and store it at the determined address for later retrieval. |
| 2569 | |
| 2570 | Retrieving a timestamp |
| 2571 | ~~~~~~~~~~~~~~~~~~~~~~ |
| 2572 | |
Dan Handley | 610e7e1 | 2018-03-01 18:44:00 +0000 | [diff] [blame] | 2573 | From within TF-A, timestamps for individual CPUs can be retrieved using either |
| 2574 | ``PMF_GET_TIMESTAMP_BY_MPIDR()`` or ``PMF_GET_TIMESTAMP_BY_INDEX()`` macros. |
| 2575 | These macros accept the CPU's MPIDR value, or its ordinal position |
| 2576 | respectively. |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 2577 | |
Dan Handley | 610e7e1 | 2018-03-01 18:44:00 +0000 | [diff] [blame] | 2578 | From outside TF-A, timestamps for individual CPUs can be retrieved by calling |
| 2579 | into ``pmf_smc_handler()``. |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 2580 | |
Paul Beesley | 493e349 | 2019-03-13 15:11:04 +0000 | [diff] [blame] | 2581 | :: |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 2582 | |
| 2583 | Interface : pmf_smc_handler() |
| 2584 | Argument : unsigned int smc_fid, u_register_t x1, |
| 2585 | u_register_t x2, u_register_t x3, |
| 2586 | u_register_t x4, void *cookie, |
| 2587 | void *handle, u_register_t flags |
| 2588 | Return : uintptr_t |
| 2589 | |
| 2590 | smc_fid: Holds the SMC identifier which is either `PMF_SMC_GET_TIMESTAMP_32` |
| 2591 | when the caller of the SMC is running in AArch32 mode |
| 2592 | or `PMF_SMC_GET_TIMESTAMP_64` when the caller is running in AArch64 mode. |
| 2593 | x1: Timestamp identifier. |
| 2594 | x2: The `mpidr` of the CPU for which the timestamp has to be retrieved. |
| 2595 | This can be the `mpidr` of a different core to the one initiating |
| 2596 | the SMC. In that case, service specific cache maintenance may be |
| 2597 | required to ensure the updated copy of the timestamp is returned. |
| 2598 | x3: A flags value that is either 0 or `PMF_CACHE_MAINT`. If |
| 2599 | `PMF_CACHE_MAINT` is passed, then the PMF code will perform a |
| 2600 | cache invalidate before reading the timestamp. This ensures |
| 2601 | an updated copy is returned. |
| 2602 | |
| 2603 | The remaining arguments, ``x4``, ``cookie``, ``handle`` and ``flags`` are unused |
| 2604 | in this implementation. |
| 2605 | |
| 2606 | PMF code structure |
| 2607 | ~~~~~~~~~~~~~~~~~~ |
| 2608 | |
| 2609 | #. ``pmf_main.c`` consists of core functions that implement service registration, |
| 2610 | initialization, storing, dumping and retrieving timestamps. |
| 2611 | |
| 2612 | #. ``pmf_smc.c`` contains the SMC handling for registered PMF services. |
| 2613 | |
| 2614 | #. ``pmf.h`` contains the public interface to Performance Measurement Framework. |
| 2615 | |
| 2616 | #. ``pmf_asm_macros.S`` consists of macros to facilitate capturing timestamps in |
| 2617 | assembly code. |
| 2618 | |
| 2619 | #. ``pmf_helpers.h`` is an internal header used by ``pmf.h``. |
| 2620 | |
Dan Handley | 610e7e1 | 2018-03-01 18:44:00 +0000 | [diff] [blame] | 2621 | Armv8-A Architecture Extensions |
| 2622 | ------------------------------- |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 2623 | |
Dan Handley | 610e7e1 | 2018-03-01 18:44:00 +0000 | [diff] [blame] | 2624 | TF-A makes use of Armv8-A Architecture Extensions where applicable. This |
| 2625 | section lists the usage of Architecture Extensions, and build flags |
| 2626 | controlling them. |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 2627 | |
Manish Pandey | acdaac2 | 2023-05-12 14:51:39 +0100 | [diff] [blame] | 2628 | Build options |
| 2629 | ~~~~~~~~~~~~~ |
| 2630 | |
| 2631 | ``ARM_ARCH_MAJOR`` and ``ARM_ARCH_MINOR`` |
| 2632 | |
| 2633 | These build options serve dual purpose |
| 2634 | |
| 2635 | - Determine the architecture extension support in TF-A build: All the mandatory |
| 2636 | architectural features up to ``ARM_ARCH_MAJOR.ARM_ARCH_MINOR`` are included |
| 2637 | and unconditionally enabled by TF-A build system. |
| 2638 | |
| 2639 | - Passed to compiler via "-march" option to generate binary target : Tell the |
| 2640 | compiler to emit instructions upto ``ARM_ARCH_MAJOR.ARM_ARCH_MINOR`` |
| 2641 | |
| 2642 | The build system requires that the platform provides a valid numeric value based on |
| 2643 | CPU architecture extension, otherwise it defaults to base Armv8.0-A architecture. |
| 2644 | Subsequent Arm Architecture versions also support extensions which were introduced |
| 2645 | in previous versions. |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 2646 | |
Manish Pandey | acdaac2 | 2023-05-12 14:51:39 +0100 | [diff] [blame] | 2647 | **TO-DO** : Its planned to decouple the two functionalities and introduce a new macro |
| 2648 | for compiler usage. The requirement for this decoupling arises becasue TF-A code |
| 2649 | always provides support for the latest and greatest architecture features but this |
| 2650 | is not the case for the target compiler. |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 2651 | |
Paul Beesley | d2fcc4e | 2019-05-29 13:59:40 +0100 | [diff] [blame] | 2652 | .. seealso:: :ref:`Build Options` |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 2653 | |
| 2654 | For details on the Architecture Extension and available features, please refer |
| 2655 | to the respective Architecture Extension Supplement. |
| 2656 | |
Dan Handley | 610e7e1 | 2018-03-01 18:44:00 +0000 | [diff] [blame] | 2657 | Armv8.1-A |
| 2658 | ~~~~~~~~~ |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 2659 | |
| 2660 | This Architecture Extension is targeted when ``ARM_ARCH_MAJOR`` >= 8, or when |
| 2661 | ``ARM_ARCH_MAJOR`` == 8 and ``ARM_ARCH_MINOR`` >= 1. |
| 2662 | |
Soby Mathew | ad04201 | 2019-09-25 14:03:41 +0100 | [diff] [blame] | 2663 | - By default, a load-/store-exclusive instruction pair is used to implement |
| 2664 | spinlocks. The ``USE_SPINLOCK_CAS`` build option when set to 1 selects the |
| 2665 | spinlock implementation using the ARMv8.1-LSE Compare and Swap instruction. |
| 2666 | Notice this instruction is only available in AArch64 execution state, so |
| 2667 | the option is only available to AArch64 builds. |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 2668 | |
Dan Handley | 610e7e1 | 2018-03-01 18:44:00 +0000 | [diff] [blame] | 2669 | Armv8.2-A |
| 2670 | ~~~~~~~~~ |
Isla Mitchell | c4a1a07 | 2017-08-07 11:20:13 +0100 | [diff] [blame] | 2671 | |
Antonio Nino Diaz | 633703a | 2019-02-19 13:14:06 +0000 | [diff] [blame] | 2672 | - The presence of ARMv8.2-TTCNP is detected at runtime. When it is present, the |
| 2673 | Common not Private (TTBRn_ELx.CnP) bit is enabled to indicate that multiple |
Sandrine Bailleux | fee6e26 | 2018-01-29 14:48:15 +0100 | [diff] [blame] | 2674 | Processing Elements in the same Inner Shareable domain use the same |
| 2675 | translation table entries for a given stage of translation for a particular |
| 2676 | translation regime. |
Isla Mitchell | c4a1a07 | 2017-08-07 11:20:13 +0100 | [diff] [blame] | 2677 | |
Jeenu Viswambharan | cbad661 | 2018-08-15 14:29:29 +0100 | [diff] [blame] | 2678 | Armv8.3-A |
| 2679 | ~~~~~~~~~ |
| 2680 | |
Antonio Nino Diaz | 594811b | 2019-01-31 11:58:00 +0000 | [diff] [blame] | 2681 | - Pointer authentication features of Armv8.3-A are unconditionally enabled in |
| 2682 | the Non-secure world so that lower ELs are allowed to use them without |
| 2683 | causing a trap to EL3. |
| 2684 | |
| 2685 | In order to enable the Secure world to use it, ``CTX_INCLUDE_PAUTH_REGS`` |
| 2686 | must be set to 1. This will add all pointer authentication system registers |
| 2687 | to the context that is saved when doing a world switch. |
Jeenu Viswambharan | cbad661 | 2018-08-15 14:29:29 +0100 | [diff] [blame] | 2688 | |
Alexei Fedorov | 2831d58 | 2019-03-13 11:05:07 +0000 | [diff] [blame] | 2689 | The TF-A itself has support for pointer authentication at runtime |
Alexei Fedorov | 90f2e88 | 2019-05-24 12:17:09 +0100 | [diff] [blame] | 2690 | that can be enabled by setting ``BRANCH_PROTECTION`` option to non-zero and |
Antonio Nino Diaz | 25cda67 | 2019-02-19 11:53:51 +0000 | [diff] [blame] | 2691 | ``CTX_INCLUDE_PAUTH_REGS`` to 1. This enables pointer authentication in BL1, |
| 2692 | BL2, BL31, and the TSP if it is used. |
| 2693 | |
Alexei Fedorov | 2831d58 | 2019-03-13 11:05:07 +0000 | [diff] [blame] | 2694 | Note that Pointer Authentication is enabled for Non-secure world irrespective |
| 2695 | of the value of these build flags if the CPU supports it. |
| 2696 | |
Alexei Fedorov | b567e5d | 2019-03-11 16:51:47 +0000 | [diff] [blame] | 2697 | If ``ARM_ARCH_MAJOR == 8`` and ``ARM_ARCH_MINOR >= 3`` the code footprint of |
| 2698 | enabling PAuth is lower because the compiler will use the optimized |
| 2699 | PAuth instructions rather than the backwards-compatible ones. |
| 2700 | |
Alexei Fedorov | 90f2e88 | 2019-05-24 12:17:09 +0100 | [diff] [blame] | 2701 | Armv8.5-A |
| 2702 | ~~~~~~~~~ |
| 2703 | |
| 2704 | - Branch Target Identification feature is selected by ``BRANCH_PROTECTION`` |
Manish Pandey | 34a305e | 2021-10-21 21:53:49 +0100 | [diff] [blame] | 2705 | option set to 1. This option defaults to 0. |
Justin Chadwell | 55c7351 | 2019-07-18 16:16:32 +0100 | [diff] [blame] | 2706 | |
| 2707 | - Memory Tagging Extension feature is unconditionally enabled for both worlds |
| 2708 | (at EL0 and S-EL0) if it is only supported at EL0. If instead it is |
| 2709 | implemented at all ELs, it is unconditionally enabled for only the normal |
| 2710 | world. To enable it for the secure world as well, the build option |
| 2711 | ``CTX_INCLUDE_MTE_REGS`` is required. If the hardware does not implement |
| 2712 | MTE support at all, it is always disabled, no matter what build options |
| 2713 | are used. |
Alexei Fedorov | 90f2e88 | 2019-05-24 12:17:09 +0100 | [diff] [blame] | 2714 | |
Dan Handley | 610e7e1 | 2018-03-01 18:44:00 +0000 | [diff] [blame] | 2715 | Armv7-A |
| 2716 | ~~~~~~~ |
Etienne Carriere | 1374fcb | 2017-11-08 13:48:40 +0100 | [diff] [blame] | 2717 | |
| 2718 | This Architecture Extension is targeted when ``ARM_ARCH_MAJOR`` == 7. |
| 2719 | |
Dan Handley | 610e7e1 | 2018-03-01 18:44:00 +0000 | [diff] [blame] | 2720 | There are several Armv7-A extensions available. Obviously the TrustZone |
| 2721 | extension is mandatory to support the TF-A bootloader and runtime services. |
Etienne Carriere | 1374fcb | 2017-11-08 13:48:40 +0100 | [diff] [blame] | 2722 | |
Dan Handley | 610e7e1 | 2018-03-01 18:44:00 +0000 | [diff] [blame] | 2723 | Platform implementing an Armv7-A system can to define from its target |
Etienne Carriere | 1374fcb | 2017-11-08 13:48:40 +0100 | [diff] [blame] | 2724 | Cortex-A architecture through ``ARM_CORTEX_A<X> = yes`` in their |
Paul Beesley | 1fbc97b | 2019-01-11 18:26:51 +0000 | [diff] [blame] | 2725 | ``platform.mk`` script. For example ``ARM_CORTEX_A15=yes`` for a |
Etienne Carriere | 1374fcb | 2017-11-08 13:48:40 +0100 | [diff] [blame] | 2726 | Cortex-A15 target. |
| 2727 | |
| 2728 | Platform can also set ``ARM_WITH_NEON=yes`` to enable neon support. |
Paul Beesley | f2ec714 | 2019-10-04 16:17:46 +0000 | [diff] [blame] | 2729 | Note that using neon at runtime has constraints on non secure world context. |
Dan Handley | 610e7e1 | 2018-03-01 18:44:00 +0000 | [diff] [blame] | 2730 | TF-A does not yet provide VFP context management. |
Etienne Carriere | 1374fcb | 2017-11-08 13:48:40 +0100 | [diff] [blame] | 2731 | |
| 2732 | Directive ``ARM_CORTEX_A<x>`` and ``ARM_WITH_NEON`` are used to set |
| 2733 | the toolchain target architecture directive. |
| 2734 | |
| 2735 | Platform may choose to not define straight the toolchain target architecture |
| 2736 | directive by defining ``MARCH32_DIRECTIVE``. |
| 2737 | I.e: |
| 2738 | |
Paul Beesley | 493e349 | 2019-03-13 15:11:04 +0000 | [diff] [blame] | 2739 | .. code:: make |
Etienne Carriere | 1374fcb | 2017-11-08 13:48:40 +0100 | [diff] [blame] | 2740 | |
| 2741 | MARCH32_DIRECTIVE := -mach=armv7-a |
| 2742 | |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 2743 | Code Structure |
| 2744 | -------------- |
| 2745 | |
Dan Handley | 610e7e1 | 2018-03-01 18:44:00 +0000 | [diff] [blame] | 2746 | TF-A code is logically divided between the three boot loader stages mentioned |
| 2747 | in the previous sections. The code is also divided into the following |
| 2748 | categories (present as directories in the source code): |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 2749 | |
| 2750 | - **Platform specific.** Choice of architecture specific code depends upon |
| 2751 | the platform. |
| 2752 | - **Common code.** This is platform and architecture agnostic code. |
| 2753 | - **Library code.** This code comprises of functionality commonly used by all |
| 2754 | other code. The PSCI implementation and other EL3 runtime frameworks reside |
| 2755 | as Library components. |
| 2756 | - **Stage specific.** Code specific to a boot stage. |
| 2757 | - **Drivers.** |
| 2758 | - **Services.** EL3 runtime services (eg: SPD). Specific SPD services |
| 2759 | reside in the ``services/spd`` directory (e.g. ``services/spd/tspd``). |
| 2760 | |
| 2761 | Each boot loader stage uses code from one or more of the above mentioned |
| 2762 | categories. Based upon the above, the code layout looks like this: |
| 2763 | |
| 2764 | :: |
| 2765 | |
| 2766 | Directory Used by BL1? Used by BL2? Used by BL31? |
| 2767 | bl1 Yes No No |
| 2768 | bl2 No Yes No |
| 2769 | bl31 No No Yes |
| 2770 | plat Yes Yes Yes |
| 2771 | drivers Yes No Yes |
| 2772 | common Yes Yes Yes |
| 2773 | lib Yes Yes Yes |
| 2774 | services No No Yes |
| 2775 | |
Sandrine Bailleux | 15530dd | 2019-02-08 15:26:36 +0100 | [diff] [blame] | 2776 | The build system provides a non configurable build option IMAGE_BLx for each |
| 2777 | boot loader stage (where x = BL stage). e.g. for BL1 , IMAGE_BL1 will be |
Dan Handley | 610e7e1 | 2018-03-01 18:44:00 +0000 | [diff] [blame] | 2778 | defined by the build system. This enables TF-A to compile certain code only |
| 2779 | for specific boot loader stages |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 2780 | |
| 2781 | All assembler files have the ``.S`` extension. The linker source files for each |
| 2782 | boot stage have the extension ``.ld.S``. These are processed by GCC to create the |
| 2783 | linker scripts which have the extension ``.ld``. |
| 2784 | |
| 2785 | FDTs provide a description of the hardware platform and are used by the Linux |
| 2786 | kernel at boot time. These can be found in the ``fdts`` directory. |
| 2787 | |
Paul Beesley | f864067 | 2019-04-12 14:19:42 +0100 | [diff] [blame] | 2788 | .. rubric:: References |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 2789 | |
Paul Beesley | f864067 | 2019-04-12 14:19:42 +0100 | [diff] [blame] | 2790 | - `Trusted Board Boot Requirements CLIENT (TBBR-CLIENT) Armv8-A (ARM DEN0006D)`_ |
| 2791 | |
Manish V Badarkhe | 9d24e9b | 2023-06-15 09:14:33 +0100 | [diff] [blame] | 2792 | - `PSCI`_ |
Paul Beesley | f864067 | 2019-04-12 14:19:42 +0100 | [diff] [blame] | 2793 | |
Sandrine Bailleux | d9202df | 2020-04-17 14:06:52 +0200 | [diff] [blame] | 2794 | - `SMC Calling Convention`_ |
Paul Beesley | f864067 | 2019-04-12 14:19:42 +0100 | [diff] [blame] | 2795 | |
| 2796 | - :ref:`Interrupt Management Framework` |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 2797 | |
| 2798 | -------------- |
| 2799 | |
Arvind Ram Prakash | 11b9b49 | 2022-11-22 14:41:00 -0600 | [diff] [blame] | 2800 | *Copyright (c) 2013-2023, Arm Limited and Contributors. All rights reserved.* |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 2801 | |
laurenw-arm | 03e7e61 | 2020-04-16 10:02:17 -0500 | [diff] [blame] | 2802 | .. _SMCCC: https://developer.arm.com/docs/den0028/latest |
Manish V Badarkhe | 9d24e9b | 2023-06-15 09:14:33 +0100 | [diff] [blame] | 2803 | .. _PSCI: https://developer.arm.com/documentation/den0022/latest/ |
Petre-Ionut Tudor | 620a702 | 2019-09-27 15:13:21 +0100 | [diff] [blame] | 2804 | .. _Arm ARM: https://developer.arm.com/docs/ddi0487/latest |
laurenw-arm | 03e7e61 | 2020-04-16 10:02:17 -0500 | [diff] [blame] | 2805 | .. _SMC Calling Convention: https://developer.arm.com/docs/den0028/latest |
Sandrine Bailleux | 3091842 | 2019-04-24 10:41:24 +0200 | [diff] [blame] | 2806 | .. _Trusted Board Boot Requirements CLIENT (TBBR-CLIENT) Armv8-A (ARM DEN0006D): https://developer.arm.com/docs/den0006/latest/trusted-board-boot-requirements-client-tbbr-client-armv8-a |
Zelalem Aweke | 023b1a4 | 2021-10-21 13:59:45 -0500 | [diff] [blame] | 2807 | .. _Arm Confidential Compute Architecture (Arm CCA): https://www.arm.com/why-arm/architecture/security-features/arm-confidential-compute-architecture |
Douglas Raillard | d7c21b7 | 2017-06-28 15:23:03 +0100 | [diff] [blame] | 2808 | |
Paul Beesley | 814f8c0 | 2019-03-13 15:49:27 +0000 | [diff] [blame] | 2809 | .. |Image 1| image:: ../resources/diagrams/rt-svc-descs-layout.png |