1fcb1398fSOlivier DeprezSecure Partition Manager 2fcb1398fSOlivier Deprez************************ 3fcb1398fSOlivier Deprez 4fcb1398fSOlivier Deprez.. contents:: 5fcb1398fSOlivier Deprez 6fcb1398fSOlivier DeprezAcronyms 7fcb1398fSOlivier Deprez======== 8fcb1398fSOlivier Deprez 98a5bd3cfSOlivier Deprez+--------+--------------------------------------+ 10b5dd2422SOlivier Deprez| CoT | Chain of Trust | 118a5bd3cfSOlivier Deprez+--------+--------------------------------------+ 124ec3ccb4SMadhukar Pappireddy| DMA | Direct Memory Access | 138a5bd3cfSOlivier Deprez+--------+--------------------------------------+ 14fcb1398fSOlivier Deprez| DTB | Device Tree Blob | 158a5bd3cfSOlivier Deprez+--------+--------------------------------------+ 16fcb1398fSOlivier Deprez| DTS | Device Tree Source | 178a5bd3cfSOlivier Deprez+--------+--------------------------------------+ 18fcb1398fSOlivier Deprez| EC | Execution Context | 198a5bd3cfSOlivier Deprez+--------+--------------------------------------+ 20fcb1398fSOlivier Deprez| FIP | Firmware Image Package | 218a5bd3cfSOlivier Deprez+--------+--------------------------------------+ 228a5bd3cfSOlivier Deprez| FF-A | Firmware Framework for Arm A-profile | 238a5bd3cfSOlivier Deprez+--------+--------------------------------------+ 24fcb1398fSOlivier Deprez| IPA | Intermediate Physical Address | 258a5bd3cfSOlivier Deprez+--------+--------------------------------------+ 26fcb1398fSOlivier Deprez| NWd | Normal World | 278a5bd3cfSOlivier Deprez+--------+--------------------------------------+ 28fcb1398fSOlivier Deprez| ODM | Original Design Manufacturer | 298a5bd3cfSOlivier Deprez+--------+--------------------------------------+ 30fcb1398fSOlivier Deprez| OEM | Original Equipment Manufacturer | 318a5bd3cfSOlivier Deprez+--------+--------------------------------------+ 32fcb1398fSOlivier Deprez| PA | Physical Address | 338a5bd3cfSOlivier Deprez+--------+--------------------------------------+ 34fcb1398fSOlivier Deprez| PE | Processing Element | 358a5bd3cfSOlivier Deprez+--------+--------------------------------------+ 36b5dd2422SOlivier Deprez| PM | Power Management | 378a5bd3cfSOlivier Deprez+--------+--------------------------------------+ 38fcb1398fSOlivier Deprez| PVM | Primary VM | 398a5bd3cfSOlivier Deprez+--------+--------------------------------------+ 404ec3ccb4SMadhukar Pappireddy| SMMU | System Memory Management Unit | 418a5bd3cfSOlivier Deprez+--------+--------------------------------------+ 42fcb1398fSOlivier Deprez| SP | Secure Partition | 438a5bd3cfSOlivier Deprez+--------+--------------------------------------+ 44b5dd2422SOlivier Deprez| SPD | Secure Payload Dispatcher | 458a5bd3cfSOlivier Deprez+--------+--------------------------------------+ 46fcb1398fSOlivier Deprez| SPM | Secure Partition Manager | 478a5bd3cfSOlivier Deprez+--------+--------------------------------------+ 48fcb1398fSOlivier Deprez| SPMC | SPM Core | 498a5bd3cfSOlivier Deprez+--------+--------------------------------------+ 50fcb1398fSOlivier Deprez| SPMD | SPM Dispatcher | 518a5bd3cfSOlivier Deprez+--------+--------------------------------------+ 52fcb1398fSOlivier Deprez| SiP | Silicon Provider | 538a5bd3cfSOlivier Deprez+--------+--------------------------------------+ 54fcb1398fSOlivier Deprez| SWd | Secure World | 558a5bd3cfSOlivier Deprez+--------+--------------------------------------+ 56fcb1398fSOlivier Deprez| TLV | Tag-Length-Value | 578a5bd3cfSOlivier Deprez+--------+--------------------------------------+ 58fcb1398fSOlivier Deprez| TOS | Trusted Operating System | 598a5bd3cfSOlivier Deprez+--------+--------------------------------------+ 60fcb1398fSOlivier Deprez| VM | Virtual Machine | 618a5bd3cfSOlivier Deprez+--------+--------------------------------------+ 62fcb1398fSOlivier Deprez 63fcb1398fSOlivier DeprezForeword 64fcb1398fSOlivier Deprez======== 65fcb1398fSOlivier Deprez 66fcb1398fSOlivier DeprezTwo implementations of a Secure Partition Manager co-exist in the TF-A codebase: 67fcb1398fSOlivier Deprez 681b17f4f1SOlivier Deprez- SPM based on the FF-A specification `[1]`_. 69fcb1398fSOlivier Deprez- SPM based on the MM interface to communicate with an S-EL0 partition `[2]`_. 70fcb1398fSOlivier Deprez 71fcb1398fSOlivier DeprezBoth implementations differ in their architectures and only one can be selected 72fcb1398fSOlivier Deprezat build time. 73fcb1398fSOlivier Deprez 74fcb1398fSOlivier DeprezThis document: 75fcb1398fSOlivier Deprez 761b17f4f1SOlivier Deprez- describes the FF-A implementation where the Secure Partition Manager 77fcb1398fSOlivier Deprez resides at EL3 and S-EL2 (or EL3 and S-EL1). 78fcb1398fSOlivier Deprez- is not an architecture specification and it might provide assumptions 79fcb1398fSOlivier Deprez on sections mandated as implementation-defined in the specification. 80fcb1398fSOlivier Deprez- covers the implications to TF-A used as a bootloader, and Hafnium 81fcb1398fSOlivier Deprez used as a reference code base for an S-EL2 secure firmware on 82b5dd2422SOlivier Deprez platforms implementing the FEAT_SEL2 (formerly Armv8.4 Secure EL2) 83b5dd2422SOlivier Deprez architecture extension. 84fcb1398fSOlivier Deprez 85fcb1398fSOlivier DeprezTerminology 86fcb1398fSOlivier Deprez----------- 87fcb1398fSOlivier Deprez 88b5dd2422SOlivier Deprez- The term Hypervisor refers to the NS-EL2 component managing Virtual Machines 89b5dd2422SOlivier Deprez (or partitions) in the normal world. 90b5dd2422SOlivier Deprez- The term SPMC refers to the S-EL2 component managing secure partitions in 91b5dd2422SOlivier Deprez the secure world when the FEAT_SEL2 architecture extension is implemented. 92b5dd2422SOlivier Deprez- Alternatively, SPMC can refer to an S-EL1 component, itself being a secure 93b5dd2422SOlivier Deprez partition and implementing the FF-A ABI on platforms not implementing the 94b5dd2422SOlivier Deprez FEAT_SEL2 architecture extension. 95b5dd2422SOlivier Deprez- The term VM refers to a normal world Virtual Machine managed by an Hypervisor. 96b5dd2422SOlivier Deprez- The term SP refers to a secure world "Virtual Machine" managed by an SPMC. 97fcb1398fSOlivier Deprez 98fcb1398fSOlivier DeprezSupport for legacy platforms 99fcb1398fSOlivier Deprez---------------------------- 100fcb1398fSOlivier Deprez 101b5dd2422SOlivier DeprezIn the implementation, the SPM is split into SPMD and SPMC components. 102b5dd2422SOlivier DeprezThe SPMD is located at EL3 and mainly relays FF-A messages from 103b5dd2422SOlivier DeprezNWd (Hypervisor or OS kernel) to SPMC located either at S-EL1 or S-EL2. 104fcb1398fSOlivier Deprez 105b5dd2422SOlivier DeprezHence TF-A supports both cases where the SPMC is located either at: 106fcb1398fSOlivier Deprez 107b5dd2422SOlivier Deprez- S-EL1 supporting platforms not implementing the FEAT_SEL2 architecture 108b5dd2422SOlivier Deprez extension. The SPMD relays the FF-A protocol from EL3 to S-EL1. 109b5dd2422SOlivier Deprez- or S-EL2 supporting platforms implementing the FEAT_SEL2 architecture 110b5dd2422SOlivier Deprez extension. The SPMD relays the FF-A protocol from EL3 to S-EL2. 111fcb1398fSOlivier Deprez 112b5dd2422SOlivier DeprezThe same TF-A SPMD component is used to support both configurations. 113b5dd2422SOlivier DeprezThe SPMC exception level is a build time choice. 114fcb1398fSOlivier Deprez 115fcb1398fSOlivier DeprezSample reference stack 116fcb1398fSOlivier Deprez====================== 117fcb1398fSOlivier Deprez 118b5dd2422SOlivier DeprezThe following diagram illustrates a possible configuration when the 119b5dd2422SOlivier DeprezFEAT_SEL2 architecture extension is implemented, showing the SPMD 120b5dd2422SOlivier Deprezand SPMC, one or multiple secure partitions, with an optional 121b5dd2422SOlivier DeprezHypervisor: 122fcb1398fSOlivier Deprez 123fcb1398fSOlivier Deprez.. image:: ../resources/diagrams/ff-a-spm-sel2.png 124fcb1398fSOlivier Deprez 125fcb1398fSOlivier DeprezTF-A build options 126fcb1398fSOlivier Deprez================== 127fcb1398fSOlivier Deprez 128b5dd2422SOlivier DeprezThis section explains the TF-A build options involved in building with 129b5dd2422SOlivier Deprezsupport for an FF-A based SPM where the SPMD is located at EL3 and the 130b5dd2422SOlivier DeprezSPMC located at S-EL1 or S-EL2: 131fcb1398fSOlivier Deprez 132b5dd2422SOlivier Deprez- **SPD=spmd**: this option selects the SPMD component to relay the FF-A 133fcb1398fSOlivier Deprez protocol from NWd to SWd back and forth. It is not possible to 134fcb1398fSOlivier Deprez enable another Secure Payload Dispatcher when this option is chosen. 135b5dd2422SOlivier Deprez- **SPMD_SPM_AT_SEL2**: this option adjusts the SPMC exception 136fcb1398fSOlivier Deprez level to being S-EL1 or S-EL2. It defaults to enabled (value 1) when 137fcb1398fSOlivier Deprez SPD=spmd is chosen. 138fcb1398fSOlivier Deprez- **CTX_INCLUDE_EL2_REGS**: this option permits saving (resp. 139fcb1398fSOlivier Deprez restoring) the EL2 system register context before entering (resp. 140b5dd2422SOlivier Deprez after leaving) the SPMC. It is mandatorily enabled when 141b5dd2422SOlivier Deprez ``SPMD_SPM_AT_SEL2`` is enabled. The context save/restore routine 142b5dd2422SOlivier Deprez and exhaustive list of registers is visible at `[4]`_. 143b5dd2422SOlivier Deprez- **SP_LAYOUT_FILE**: this option specifies a text description file 144b5dd2422SOlivier Deprez providing paths to SP binary images and manifests in DTS format 145b5dd2422SOlivier Deprez (see `Describing secure partitions`_). It 146fcb1398fSOlivier Deprez is required when ``SPMD_SPM_AT_SEL2`` is enabled hence when multiple 147b5dd2422SOlivier Deprez secure partitions are to be loaded on behalf of the SPMC. 148fcb1398fSOlivier Deprez 149b5dd2422SOlivier Deprez+---------------+----------------------+------------------+ 150fcb1398fSOlivier Deprez| | CTX_INCLUDE_EL2_REGS | SPMD_SPM_AT_SEL2 | 151b5dd2422SOlivier Deprez+---------------+----------------------+------------------+ 152b5dd2422SOlivier Deprez| SPMC at S-EL1 | 0 | 0 | 153b5dd2422SOlivier Deprez+---------------+----------------------+------------------+ 154b5dd2422SOlivier Deprez| SPMC at S-EL2 | 1 | 1 (default when | 155fcb1398fSOlivier Deprez| | | SPD=spmd) | 156b5dd2422SOlivier Deprez+---------------+----------------------+------------------+ 157fcb1398fSOlivier Deprez 158fcb1398fSOlivier DeprezOther combinations of such build options either break the build or are not 159fcb1398fSOlivier Deprezsupported. 160fcb1398fSOlivier Deprez 161b5dd2422SOlivier DeprezNotes: 162b5dd2422SOlivier Deprez 163b5dd2422SOlivier Deprez- Only Arm's FVP platform is supported to use with the TF-A reference software 164b5dd2422SOlivier Deprez stack. 165b5dd2422SOlivier Deprez- The reference software stack uses FEAT_PAuth (formerly Armv8.3-PAuth) and 166b5dd2422SOlivier Deprez FEAT_BTI (formerly Armv8.5-BTI) architecture extensions by default at EL3 167b5dd2422SOlivier Deprez and S-EL2. 168b5dd2422SOlivier Deprez- The ``CTX_INCLUDE_EL2_REGS`` option provides the generic support for 169fcb1398fSOlivier Deprez barely saving/restoring EL2 registers from an Arm arch perspective. As such 170fcb1398fSOlivier Deprez it is decoupled from the ``SPD=spmd`` option. 171b5dd2422SOlivier Deprez- BL32 option is re-purposed to specify the SPMC image. It can specify either 172b5dd2422SOlivier Deprez the Hafnium binary path (built for the secure world) or the path to a TEE 173b5dd2422SOlivier Deprez binary implementing FF-A interfaces. 174b5dd2422SOlivier Deprez- BL33 option can specify the TFTF binary or a normal world loader 175b5dd2422SOlivier Deprez such as U-Boot or the UEFI framework. 176fcb1398fSOlivier Deprez 177fcb1398fSOlivier DeprezSample TF-A build command line when SPMC is located at S-EL1 178b5dd2422SOlivier Deprez(e.g. when the FEAT_EL2 architecture extension is not implemented): 179fcb1398fSOlivier Deprez 180fcb1398fSOlivier Deprez.. code:: shell 181fcb1398fSOlivier Deprez 182fcb1398fSOlivier Deprez make \ 183fcb1398fSOlivier Deprez CROSS_COMPILE=aarch64-none-elf- \ 184fcb1398fSOlivier Deprez SPD=spmd \ 185fcb1398fSOlivier Deprez SPMD_SPM_AT_SEL2=0 \ 186fcb1398fSOlivier Deprez BL32=<path-to-tee-binary> \ 187b5dd2422SOlivier Deprez BL33=<path-to-bl33-binary> \ 188fcb1398fSOlivier Deprez PLAT=fvp \ 189fcb1398fSOlivier Deprez all fip 190fcb1398fSOlivier Deprez 191b5dd2422SOlivier DeprezSample TF-A build command line for a FEAT_SEL2 enabled system where the SPMC is 192b5dd2422SOlivier Deprezlocated at S-EL2: 193fcb1398fSOlivier Deprez 194fcb1398fSOlivier Deprez.. code:: shell 195fcb1398fSOlivier Deprez 196fcb1398fSOlivier Deprez make \ 197fcb1398fSOlivier Deprez CROSS_COMPILE=aarch64-none-elf- \ 198b5dd2422SOlivier Deprez PLAT=fvp \ 199fcb1398fSOlivier Deprez SPD=spmd \ 200fcb1398fSOlivier Deprez CTX_INCLUDE_EL2_REGS=1 \ 201b5dd2422SOlivier Deprez ARM_ARCH_MINOR=5 \ 202b5dd2422SOlivier Deprez BRANCH_PROTECTION=1 \ 203b5dd2422SOlivier Deprez CTX_INCLUDE_PAUTH_REGS=1 \ 204b5dd2422SOlivier Deprez BL32=<path-to-hafnium-binary> \ 205b5dd2422SOlivier Deprez BL33=<path-to-bl33-binary> \ 206fcb1398fSOlivier Deprez SP_LAYOUT_FILE=sp_layout.json \ 207fcb1398fSOlivier Deprez all fip 208fcb1398fSOlivier Deprez 209b5dd2422SOlivier DeprezSame as above with enabling secure boot in addition: 210fcb1398fSOlivier Deprez 211fcb1398fSOlivier Deprez.. code:: shell 212fcb1398fSOlivier Deprez 213fcb1398fSOlivier Deprez make \ 214fcb1398fSOlivier Deprez CROSS_COMPILE=aarch64-none-elf- \ 215b5dd2422SOlivier Deprez PLAT=fvp \ 216fcb1398fSOlivier Deprez SPD=spmd \ 217fcb1398fSOlivier Deprez CTX_INCLUDE_EL2_REGS=1 \ 218b5dd2422SOlivier Deprez ARM_ARCH_MINOR=5 \ 219b5dd2422SOlivier Deprez BRANCH_PROTECTION=1 \ 220b5dd2422SOlivier Deprez CTX_INCLUDE_PAUTH_REGS=1 \ 221b5dd2422SOlivier Deprez BL32=<path-to-hafnium-binary> \ 222b5dd2422SOlivier Deprez BL33=<path-to-bl33-binary> \ 223b5dd2422SOlivier Deprez SP_LAYOUT_FILE=sp_layout.json \ 224fcb1398fSOlivier Deprez MBEDTLS_DIR=<path-to-mbedtls-lib> \ 225fcb1398fSOlivier Deprez TRUSTED_BOARD_BOOT=1 \ 226fcb1398fSOlivier Deprez COT=dualroot \ 227fcb1398fSOlivier Deprez ARM_ROTPK_LOCATION=devel_rsa \ 228fcb1398fSOlivier Deprez ROT_KEY=plat/arm/board/common/rotpk/arm_rotprivk_rsa.pem \ 229fcb1398fSOlivier Deprez GENERATE_COT=1 \ 230fcb1398fSOlivier Deprez all fip 231fcb1398fSOlivier Deprez 232b5dd2422SOlivier DeprezFVP model invocation 233b5dd2422SOlivier Deprez==================== 234b5dd2422SOlivier Deprez 235b5dd2422SOlivier DeprezThe FVP command line needs the following options to exercise the S-EL2 SPMC: 236b5dd2422SOlivier Deprez 237b5dd2422SOlivier Deprez+---------------------------------------------------+------------------------------------+ 238b5dd2422SOlivier Deprez| - cluster0.has_arm_v8-5=1 | Implements FEAT_SEL2, FEAT_PAuth, | 239b5dd2422SOlivier Deprez| - cluster1.has_arm_v8-5=1 | and FEAT_BTI. | 240b5dd2422SOlivier Deprez+---------------------------------------------------+------------------------------------+ 241b5dd2422SOlivier Deprez| - pci.pci_smmuv3.mmu.SMMU_AIDR=2 | Parameters required for the | 242b5dd2422SOlivier Deprez| - pci.pci_smmuv3.mmu.SMMU_IDR0=0x0046123B | SMMUv3.2 modeling. | 243b5dd2422SOlivier Deprez| - pci.pci_smmuv3.mmu.SMMU_IDR1=0x00600002 | | 244b5dd2422SOlivier Deprez| - pci.pci_smmuv3.mmu.SMMU_IDR3=0x1714 | | 245b5dd2422SOlivier Deprez| - pci.pci_smmuv3.mmu.SMMU_IDR5=0xFFFF0472 | | 246b5dd2422SOlivier Deprez| - pci.pci_smmuv3.mmu.SMMU_S_IDR1=0xA0000002 | | 247b5dd2422SOlivier Deprez| - pci.pci_smmuv3.mmu.SMMU_S_IDR2=0 | | 248b5dd2422SOlivier Deprez| - pci.pci_smmuv3.mmu.SMMU_S_IDR3=0 | | 249b5dd2422SOlivier Deprez+---------------------------------------------------+------------------------------------+ 250b5dd2422SOlivier Deprez| - cluster0.has_branch_target_exception=1 | Implements FEAT_BTI. | 251b5dd2422SOlivier Deprez| - cluster1.has_branch_target_exception=1 | | 252b5dd2422SOlivier Deprez+---------------------------------------------------+------------------------------------+ 253b5dd2422SOlivier Deprez| - cluster0.restriction_on_speculative_execution=2 | Required by the EL2 context | 254b5dd2422SOlivier Deprez| - cluster1.restriction_on_speculative_execution=2 | save/restore routine. | 255b5dd2422SOlivier Deprez+---------------------------------------------------+------------------------------------+ 256b5dd2422SOlivier Deprez 257b5dd2422SOlivier DeprezSample FVP command line invocation: 258b5dd2422SOlivier Deprez 259b5dd2422SOlivier Deprez.. code:: shell 260b5dd2422SOlivier Deprez 261b5dd2422SOlivier Deprez <path-to-fvp-model>/FVP_Base_RevC-2xAEMv8A -C pctl.startup=0.0.0.0 262b5dd2422SOlivier Deprez -C cluster0.NUM_CORES=4 -C cluster1.NUM_CORES=4 -C bp.secure_memory=1 \ 263b5dd2422SOlivier Deprez -C bp.secureflashloader.fname=trusted-firmware-a/build/fvp/debug/bl1.bin \ 264b5dd2422SOlivier Deprez -C bp.flashloader0.fname=trusted-firmware-a/build/fvp/debug/fip.bin \ 265b5dd2422SOlivier Deprez -C bp.pl011_uart0.out_file=fvp-uart0.log -C bp.pl011_uart1.out_file=fvp-uart1.log \ 266b5dd2422SOlivier Deprez -C bp.pl011_uart2.out_file=fvp-uart2.log \ 267b5dd2422SOlivier Deprez -C cluster0.has_arm_v8-5=1 -C cluster1.has_arm_v8-5=1 -C pci.pci_smmuv3.mmu.SMMU_AIDR=2 \ 268b5dd2422SOlivier Deprez -C pci.pci_smmuv3.mmu.SMMU_IDR0=0x0046123B -C pci.pci_smmuv3.mmu.SMMU_IDR1=0x00600002 \ 269b5dd2422SOlivier Deprez -C pci.pci_smmuv3.mmu.SMMU_IDR3=0x1714 -C pci.pci_smmuv3.mmu.SMMU_IDR5=0xFFFF0472 \ 270b5dd2422SOlivier Deprez -C pci.pci_smmuv3.mmu.SMMU_S_IDR1=0xA0000002 -C pci.pci_smmuv3.mmu.SMMU_S_IDR2=0 \ 271b5dd2422SOlivier Deprez -C pci.pci_smmuv3.mmu.SMMU_S_IDR3=0 \ 272b5dd2422SOlivier Deprez -C cluster0.has_branch_target_exception=1 \ 273b5dd2422SOlivier Deprez -C cluster1.has_branch_target_exception=1 \ 274b5dd2422SOlivier Deprez -C cluster0.restriction_on_speculative_execution=2 \ 275b5dd2422SOlivier Deprez -C cluster1.restriction_on_speculative_execution=2 276b5dd2422SOlivier Deprez 277fcb1398fSOlivier DeprezBoot process 278fcb1398fSOlivier Deprez============ 279fcb1398fSOlivier Deprez 280b5dd2422SOlivier DeprezLoading Hafnium and secure partitions in the secure world 281fcb1398fSOlivier Deprez--------------------------------------------------------- 282fcb1398fSOlivier Deprez 283b5dd2422SOlivier DeprezTF-A BL2 is the bootlader for the SPMC and SPs in the secure world. 284fcb1398fSOlivier Deprez 285fcb1398fSOlivier DeprezSPs may be signed by different parties (SiP, OEM/ODM, TOS vendor, etc.). 286b5dd2422SOlivier DeprezThus they are supplied as distinct signed entities within the FIP flash 287b5dd2422SOlivier Deprezimage. The FIP image itself is not signed hence this provides the ability 288b5dd2422SOlivier Deprezto upgrade SPs in the field. 289fcb1398fSOlivier Deprez 290fcb1398fSOlivier DeprezBooting through TF-A 291fcb1398fSOlivier Deprez-------------------- 292fcb1398fSOlivier Deprez 293fcb1398fSOlivier DeprezSP manifests 294fcb1398fSOlivier Deprez~~~~~~~~~~~~ 295fcb1398fSOlivier Deprez 296fcb1398fSOlivier DeprezAn SP manifest describes SP attributes as defined in `[1]`_ 297b5dd2422SOlivier Deprez(partition manifest at virtual FF-A instance) in DTS format. It is 298b5dd2422SOlivier Deprezrepresented as a single file associated with the SP. A sample is 299fcb1398fSOlivier Deprezprovided by `[5]`_. A binding document is provided by `[6]`_. 300fcb1398fSOlivier Deprez 301fcb1398fSOlivier DeprezSecure Partition packages 302fcb1398fSOlivier Deprez~~~~~~~~~~~~~~~~~~~~~~~~~ 303fcb1398fSOlivier Deprez 304b5dd2422SOlivier DeprezSecure partitions are bundled as independent package files consisting 305fcb1398fSOlivier Deprezof: 306fcb1398fSOlivier Deprez 307fcb1398fSOlivier Deprez- a header 308fcb1398fSOlivier Deprez- a DTB 309fcb1398fSOlivier Deprez- an image payload 310fcb1398fSOlivier Deprez 311fcb1398fSOlivier DeprezThe header starts with a magic value and offset values to SP DTB and 312fcb1398fSOlivier Deprezimage payload. Each SP package is loaded independently by BL2 loader 313fcb1398fSOlivier Deprezand verified for authenticity and integrity. 314fcb1398fSOlivier Deprez 315b5dd2422SOlivier DeprezThe SP package identified by its UUID (matching FF-A uuid property) is 316b5dd2422SOlivier Deprezinserted as a single entry into the FIP at end of the TF-A build flow 317b5dd2422SOlivier Deprezas shown: 318fcb1398fSOlivier Deprez 319fcb1398fSOlivier Deprez.. code:: shell 320fcb1398fSOlivier Deprez 321fcb1398fSOlivier Deprez Trusted Boot Firmware BL2: offset=0x1F0, size=0x8AE1, cmdline="--tb-fw" 322fcb1398fSOlivier Deprez EL3 Runtime Firmware BL31: offset=0x8CD1, size=0x13000, cmdline="--soc-fw" 323fcb1398fSOlivier Deprez Secure Payload BL32 (Trusted OS): offset=0x1BCD1, size=0x15270, cmdline="--tos-fw" 324fcb1398fSOlivier Deprez Non-Trusted Firmware BL33: offset=0x30F41, size=0x92E0, cmdline="--nt-fw" 325fcb1398fSOlivier Deprez HW_CONFIG: offset=0x3A221, size=0x2348, cmdline="--hw-config" 326fcb1398fSOlivier Deprez TB_FW_CONFIG: offset=0x3C569, size=0x37A, cmdline="--tb-fw-config" 327fcb1398fSOlivier Deprez SOC_FW_CONFIG: offset=0x3C8E3, size=0x48, cmdline="--soc-fw-config" 328fcb1398fSOlivier Deprez TOS_FW_CONFIG: offset=0x3C92B, size=0x427, cmdline="--tos-fw-config" 329fcb1398fSOlivier Deprez NT_FW_CONFIG: offset=0x3CD52, size=0x48, cmdline="--nt-fw-config" 330fcb1398fSOlivier Deprez B4B5671E-4A90-4FE1-B81F-FB13DAE1DACB: offset=0x3CD9A, size=0xC168, cmdline="--blob" 331fcb1398fSOlivier Deprez D1582309-F023-47B9-827C-4464F5578FC8: offset=0x48F02, size=0xC168, cmdline="--blob" 332fcb1398fSOlivier Deprez 333fcb1398fSOlivier Deprez.. uml:: ../resources/diagrams/plantuml/fip-secure-partitions.puml 334fcb1398fSOlivier Deprez 335b5dd2422SOlivier DeprezDescribing secure partitions 336b5dd2422SOlivier Deprez~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 337fcb1398fSOlivier Deprez 338b5dd2422SOlivier DeprezA json-formatted description file is passed to the build flow specifying paths 339b5dd2422SOlivier Deprezto the SP binary image and associated DTS partition manifest file. The latter 340b5dd2422SOlivier Deprezis processed by the dtc compiler to generate a DTB fed into the SP package. 341b5dd2422SOlivier DeprezThis file also specifies the SP owner (as an optional field) identifying the 342b5dd2422SOlivier Deprezsigning domain in case of dual root CoT. 343b5dd2422SOlivier DeprezThe SP owner can either be the silicon or the platform provider. The 344b5dd2422SOlivier Deprezcorresponding "owner" field value can either take the value of "SiP" or "Plat". 345b5dd2422SOlivier DeprezIn absence of "owner" field, it defaults to "SiP" owner. 3465ac60ea1SImre KisThe UUID of the partition can be specified as a field in the description file or 3475ac60ea1SImre Kisif it does not exist there the UUID is extracted from the DTS partition 3485ac60ea1SImre Kismanifest. 349fcb1398fSOlivier Deprez 350fcb1398fSOlivier Deprez.. code:: shell 351fcb1398fSOlivier Deprez 352fcb1398fSOlivier Deprez { 353fcb1398fSOlivier Deprez "tee1" : { 354fcb1398fSOlivier Deprez "image": "tee1.bin", 3550901d339SManish Pandey "pm": "tee1.dts", 3565ac60ea1SImre Kis "owner": "SiP", 3575ac60ea1SImre Kis "uuid": "1b1820fe-48f7-4175-8999-d51da00b7c9f" 358fcb1398fSOlivier Deprez }, 359fcb1398fSOlivier Deprez 360fcb1398fSOlivier Deprez "tee2" : { 361fcb1398fSOlivier Deprez "image": "tee2.bin", 3620901d339SManish Pandey "pm": "tee2.dts", 3630901d339SManish Pandey "owner": "Plat" 364fcb1398fSOlivier Deprez } 365fcb1398fSOlivier Deprez } 366fcb1398fSOlivier Deprez 367fcb1398fSOlivier DeprezSPMC manifest 368fcb1398fSOlivier Deprez~~~~~~~~~~~~~ 369fcb1398fSOlivier Deprez 370b5dd2422SOlivier DeprezThis manifest contains the SPMC *attribute* node consumed by the SPMD at boot 371b5dd2422SOlivier Depreztime. It implements `[1]`_ (SP manifest at physical FF-A instance) and serves 372b5dd2422SOlivier Depreztwo different cases: 373fcb1398fSOlivier Deprez 374b5dd2422SOlivier Deprez- The SPMC resides at S-EL1: the SPMC manifest is used by the SPMD to setup a 375b5dd2422SOlivier Deprez SP that co-resides with the SPMC and executes at S-EL1 or Secure Supervisor 376b5dd2422SOlivier Deprez mode. 377b5dd2422SOlivier Deprez- The SPMC resides at S-EL2: the SPMC manifest is used by the SPMD to setup 378b5dd2422SOlivier Deprez the environment required by the SPMC to run at S-EL2. SPs run at S-EL1 or 379b5dd2422SOlivier Deprez S-EL0. 380fcb1398fSOlivier Deprez 381fcb1398fSOlivier Deprez.. code:: shell 382fcb1398fSOlivier Deprez 383fcb1398fSOlivier Deprez attribute { 384fcb1398fSOlivier Deprez spmc_id = <0x8000>; 385fcb1398fSOlivier Deprez maj_ver = <0x1>; 386fcb1398fSOlivier Deprez min_ver = <0x0>; 387fcb1398fSOlivier Deprez exec_state = <0x0>; 388fcb1398fSOlivier Deprez load_address = <0x0 0x6000000>; 389fcb1398fSOlivier Deprez entrypoint = <0x0 0x6000000>; 390fcb1398fSOlivier Deprez binary_size = <0x60000>; 391fcb1398fSOlivier Deprez }; 392fcb1398fSOlivier Deprez 393fcb1398fSOlivier Deprez- *spmc_id* defines the endpoint ID value that SPMC can query through 394fcb1398fSOlivier Deprez ``FFA_ID_GET``. 395fcb1398fSOlivier Deprez- *maj_ver/min_ver*. SPMD checks provided version versus its internal 396fcb1398fSOlivier Deprez version and aborts if not matching. 397b5dd2422SOlivier Deprez- *exec_state* defines the SPMC execution state (AArch64 or AArch32). 398b5dd2422SOlivier Deprez Notice Hafnium used as a SPMC only supports AArch64. 399fcb1398fSOlivier Deprez- *load_address* and *binary_size* are mostly used to verify secondary 400fcb1398fSOlivier Deprez entry points fit into the loaded binary image. 401fcb1398fSOlivier Deprez- *entrypoint* defines the cold boot primary core entry point used by 402b5dd2422SOlivier Deprez SPMD (currently matches ``BL32_BASE``) to enter the SPMC. 403fcb1398fSOlivier Deprez 404fcb1398fSOlivier DeprezOther nodes in the manifest are consumed by Hafnium in the secure world. 405fcb1398fSOlivier DeprezA sample can be found at [7]: 406fcb1398fSOlivier Deprez 407b5dd2422SOlivier Deprez- The *hypervisor* node describes SPs. *is_ffa_partition* boolean attribute 408b5dd2422SOlivier Deprez indicates a FF-A compliant SP. The *load_address* field specifies the load 409b5dd2422SOlivier Deprez address at which TF-A loaded the SP package. 410b5dd2422SOlivier Deprez- *cpus* node provide the platform topology and allows MPIDR to VMPIDR mapping. 411b5dd2422SOlivier Deprez Note the primary core is declared first, then secondary core are declared 412b5dd2422SOlivier Deprez in reverse order. 413b5dd2422SOlivier Deprez- The *memory* node provides platform information on the ranges of memory 414b5dd2422SOlivier Deprez available to the SPMC. 415fcb1398fSOlivier Deprez 416fcb1398fSOlivier DeprezSPMC boot 417fcb1398fSOlivier Deprez~~~~~~~~~ 418fcb1398fSOlivier Deprez 419fcb1398fSOlivier DeprezThe SPMC is loaded by BL2 as the BL32 image. 420fcb1398fSOlivier Deprez 421f2dcf418SOlivier DeprezThe SPMC manifest is loaded by BL2 as the ``TOS_FW_CONFIG`` image `[9]`_. 422fcb1398fSOlivier Deprez 423fcb1398fSOlivier DeprezBL2 passes the SPMC manifest address to BL31 through a register. 424fcb1398fSOlivier Deprez 425b5dd2422SOlivier DeprezAt boot time, the SPMD in BL31 runs from the primary core, initializes the core 426f2dcf418SOlivier Deprezcontexts and launches the SPMC (BL32) passing the following information through 427f2dcf418SOlivier Deprezregisters: 428f2dcf418SOlivier Deprez 429f2dcf418SOlivier Deprez- X0 holds the ``TOS_FW_CONFIG`` physical address (or SPMC manifest blob). 430f2dcf418SOlivier Deprez- X1 holds the ``HW_CONFIG`` physical address. 431f2dcf418SOlivier Deprez- X4 holds the currently running core linear id. 432fcb1398fSOlivier Deprez 433fcb1398fSOlivier DeprezLoading of SPs 434fcb1398fSOlivier Deprez~~~~~~~~~~~~~~ 435fcb1398fSOlivier Deprez 436b5dd2422SOlivier DeprezAt boot time, BL2 loads SPs sequentially in addition to the SPMC as depicted 437b5dd2422SOlivier Deprezbelow: 438b5dd2422SOlivier Deprez 439fcb1398fSOlivier Deprez.. uml:: ../resources/diagrams/plantuml/bl2-loading-sp.puml 440fcb1398fSOlivier Deprez 441b5dd2422SOlivier DeprezNote this boot flow is an implementation sample on Arm's FVP platform. 442b5dd2422SOlivier DeprezPlatforms not using TF-A's *Firmware CONFiguration* framework would adjust to a 443b5dd2422SOlivier Deprezdifferent implementation. 444fcb1398fSOlivier Deprez 445fcb1398fSOlivier DeprezSecure boot 446fcb1398fSOlivier Deprez~~~~~~~~~~~ 447fcb1398fSOlivier Deprez 448fcb1398fSOlivier DeprezThe SP content certificate is inserted as a separate FIP item so that BL2 loads SPMC, 449b5dd2422SOlivier DeprezSPMC manifest, secure partitions and verifies them for authenticity and integrity. 450fcb1398fSOlivier DeprezRefer to TBBR specification `[3]`_. 451fcb1398fSOlivier Deprez 452b5dd2422SOlivier DeprezThe multiple-signing domain feature (in current state dual signing domain `[8]`_) allows 453b5dd2422SOlivier Deprezthe use of two root keys namely S-ROTPK and NS-ROTPK: 454fcb1398fSOlivier Deprez 4550901d339SManish Pandey- SPMC (BL32) and SPMC manifest are signed by the SiP using the S-ROTPK. 456fcb1398fSOlivier Deprez- BL33 may be signed by the OEM using NS-ROTPK. 4570901d339SManish Pandey- An SP may be signed either by SiP (using S-ROTPK) or by OEM (using NS-ROTPK). 458fcb1398fSOlivier Deprez 459b5dd2422SOlivier DeprezAlso refer to `Describing secure partitions`_ and `TF-A build options`_ sections. 460fcb1398fSOlivier Deprez 461fcb1398fSOlivier DeprezHafnium in the secure world 462fcb1398fSOlivier Deprez=========================== 463fcb1398fSOlivier Deprez 464fcb1398fSOlivier DeprezGeneral considerations 465fcb1398fSOlivier Deprez---------------------- 466fcb1398fSOlivier Deprez 467fcb1398fSOlivier DeprezBuild platform for the secure world 468fcb1398fSOlivier Deprez~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 469fcb1398fSOlivier Deprez 470b5dd2422SOlivier DeprezIn the Hafnium reference implementation specific code parts are only relevant to 471b5dd2422SOlivier Deprezthe secure world. Such portions are isolated in architecture specific files 472b5dd2422SOlivier Deprezand/or enclosed by a ``SECURE_WORLD`` macro. 473fcb1398fSOlivier Deprez 474b5dd2422SOlivier DeprezSecure partitions CPU scheduling 475fcb1398fSOlivier Deprez~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 476fcb1398fSOlivier Deprez 477b5dd2422SOlivier DeprezThe FF-A v1.0 specification `[1]`_ provides two ways to relinquinsh CPU time to 478b5dd2422SOlivier Deprezsecure partitions. For this a VM (Hypervisor or OS kernel), or SP invokes one of: 479fcb1398fSOlivier Deprez 480b5dd2422SOlivier Deprez- the FFA_MSG_SEND_DIRECT_REQ interface. 481b5dd2422SOlivier Deprez- the FFA_RUN interface. 482fcb1398fSOlivier Deprez 483fcb1398fSOlivier DeprezPlatform topology 484fcb1398fSOlivier Deprez~~~~~~~~~~~~~~~~~ 485fcb1398fSOlivier Deprez 486b5dd2422SOlivier DeprezThe *execution-ctx-count* SP manifest field can take the value of one or the 487b5dd2422SOlivier Depreztotal number of PEs. The FF-A v1.0 specification `[1]`_ recommends the 488fcb1398fSOlivier Deprezfollowing SP types: 489fcb1398fSOlivier Deprez 490b5dd2422SOlivier Deprez- Pinned MP SPs: an execution context matches a physical PE. MP SPs must 491b5dd2422SOlivier Deprez implement the same number of ECs as the number of PEs in the platform. 492b5dd2422SOlivier Deprez- Migratable UP SPs: a single execution context can run and be migrated on any 493b5dd2422SOlivier Deprez physical PE. Such SP declares a single EC in its SP manifest. An UP SP can 494b5dd2422SOlivier Deprez receive a direct message request originating from any physical core targeting 495b5dd2422SOlivier Deprez the single execution context. 496fcb1398fSOlivier Deprez 497fcb1398fSOlivier DeprezParsing SP partition manifests 498fcb1398fSOlivier Deprez------------------------------ 499fcb1398fSOlivier Deprez 500b5dd2422SOlivier DeprezHafnium consumes SP manifests as defined in `[1]`_ and `SP manifests`_. 501b5dd2422SOlivier DeprezNote the current implementation may not implement all optional fields. 502fcb1398fSOlivier Deprez 503b5dd2422SOlivier DeprezThe SP manifest may contain memory and device regions nodes. In case of 504b5dd2422SOlivier Deprezan S-EL2 SPMC: 505fcb1398fSOlivier Deprez 506b5dd2422SOlivier Deprez- Memory regions are mapped in the SP EL1&0 Stage-2 translation regime at 507b5dd2422SOlivier Deprez load time (or EL1&0 Stage-1 for an S-EL1 SPMC). A memory region node can 508b5dd2422SOlivier Deprez specify RX/TX buffer regions in which case it is not necessary for an SP 509b5dd2422SOlivier Deprez to explicitly invoke the ``FFA_RXTX_MAP`` interface. 510b5dd2422SOlivier Deprez- Device regions are mapped in the SP EL1&0 Stage-2 translation regime (or 511b5dd2422SOlivier Deprez EL1&0 Stage-1 for an S-EL1 SPMC) as peripherals and possibly allocate 512b5dd2422SOlivier Deprez additional resources (e.g. interrupts). 513fcb1398fSOlivier Deprez 514b5dd2422SOlivier DeprezFor the S-EL2 SPMC, base addresses for memory and device region nodes are IPAs 515b5dd2422SOlivier Deprezprovided the SPMC identity maps IPAs to PAs within SP EL1&0 Stage-2 translation 516b5dd2422SOlivier Deprezregime. 517fcb1398fSOlivier Deprez 518b5dd2422SOlivier DeprezNote: in the current implementation both VTTBR_EL2 and VSTTBR_EL2 point to the 519b5dd2422SOlivier Deprezsame set of page tables. It is still open whether two sets of page tables shall 520b5dd2422SOlivier Deprezbe provided per SP. The memory region node as defined in the specification 521fcb1398fSOlivier Deprezprovides a memory security attribute hinting to map either to the secure or 522b5dd2422SOlivier Depreznon-secure EL1&0 Stage-2 table if it exists. 523fcb1398fSOlivier Deprez 524fcb1398fSOlivier DeprezPassing boot data to the SP 525fcb1398fSOlivier Deprez--------------------------- 526fcb1398fSOlivier Deprez 527b5dd2422SOlivier DeprezIn `[1]`_ , the "Protocol for passing data" section defines a method for passing 528b5dd2422SOlivier Deprezboot data to SPs (not currently implemented). 529fcb1398fSOlivier Deprez 530b5dd2422SOlivier DeprezProvided that the whole secure partition package image (see 531b5dd2422SOlivier Deprez`Secure Partition packages`_) is mapped to the SP secure EL1&0 Stage-2 532b5dd2422SOlivier Depreztranslation regime, an SP can access its own manifest DTB blob and extract its 533b5dd2422SOlivier Deprezpartition manifest properties. 534fcb1398fSOlivier Deprez 535fcb1398fSOlivier DeprezSP Boot order 536fcb1398fSOlivier Deprez------------- 537fcb1398fSOlivier Deprez 538fcb1398fSOlivier DeprezSP manifests provide an optional boot order attribute meant to resolve 539fcb1398fSOlivier Deprezdependencies such as an SP providing a service required to properly boot 540c1ff1791SJ-Alvesanother SP. SPMC boots the SPs in accordance to the boot order attribute, 541c1ff1791SJ-Alveslowest to the highest value. If the boot order attribute is absent from the FF-A 542c1ff1791SJ-Alvesmanifest, the SP is treated as if it had the highest boot order value 543c1ff1791SJ-Alves(i.e. lowest booting priority). 544fcb1398fSOlivier Deprez 545b5dd2422SOlivier DeprezIt is possible for an SP to call into another SP through a direct request 546b5dd2422SOlivier Deprezprovided the latter SP has already been booted. 547b5dd2422SOlivier Deprez 548fcb1398fSOlivier DeprezBoot phases 549fcb1398fSOlivier Deprez----------- 550fcb1398fSOlivier Deprez 551fcb1398fSOlivier DeprezPrimary core boot-up 552fcb1398fSOlivier Deprez~~~~~~~~~~~~~~~~~~~~ 553fcb1398fSOlivier Deprez 554b5dd2422SOlivier DeprezUpon boot-up, BL31 hands over to the SPMC (BL32) on the primary boot physical 555b5dd2422SOlivier Deprezcore. The SPMC performs its platform initializations and registers the SPMC 556b5dd2422SOlivier Deprezsecondary physical core entry point physical address by the use of the 55716c1c453SJ-Alves`FFA_SECONDARY_EP_REGISTER`_ interface (SMC invocation from the SPMC to the SPMD 55816c1c453SJ-Alvesat secure physical FF-A instance). 559fcb1398fSOlivier Deprez 560b5dd2422SOlivier DeprezThe SPMC then creates secure partitions based on SP packages and manifests. Each 561b5dd2422SOlivier Deprezsecure partition is launched in sequence (`SP Boot order`_) on their "primary" 562b5dd2422SOlivier Deprezexecution context. If the primary boot physical core linear id is N, an MP SP is 563b5dd2422SOlivier Deprezstarted using EC[N] on PE[N] (see `Platform topology`_). If the partition is a 564b5dd2422SOlivier DeprezUP SP, it is started using its unique EC0 on PE[N]. 565fcb1398fSOlivier Deprez 566b5dd2422SOlivier DeprezThe SP primary EC (or the EC used when the partition is booted as described 567b5dd2422SOlivier Deprezabove): 568fcb1398fSOlivier Deprez 569b5dd2422SOlivier Deprez- Performs the overall SP boot time initialization, and in case of a MP SP, 570b5dd2422SOlivier Deprez prepares the SP environment for other execution contexts. 571b5dd2422SOlivier Deprez- In the case of a MP SP, it invokes the FFA_SECONDARY_EP_REGISTER at secure 572b5dd2422SOlivier Deprez virtual FF-A instance (SMC invocation from SP to SPMC) to provide the IPA 573b5dd2422SOlivier Deprez entry point for other execution contexts. 574b5dd2422SOlivier Deprez- Exits through ``FFA_MSG_WAIT`` to indicate successful initialization or 575b5dd2422SOlivier Deprez ``FFA_ERROR`` in case of failure. 576fcb1398fSOlivier Deprez 577b5dd2422SOlivier DeprezSecondary cores boot-up 578b5dd2422SOlivier Deprez~~~~~~~~~~~~~~~~~~~~~~~ 579fcb1398fSOlivier Deprez 580b5dd2422SOlivier DeprezOnce the system is started and NWd brought up, a secondary physical core is 581b5dd2422SOlivier Deprezwoken up by the ``PSCI_CPU_ON`` service invocation. The TF-A SPD hook mechanism 582b5dd2422SOlivier Deprezcalls into the SPMD on the newly woken up physical core. Then the SPMC is 583b5dd2422SOlivier Deprezentered at the secondary physical core entry point. 584fcb1398fSOlivier Deprez 585b5dd2422SOlivier DeprezIn the current implementation, the first SP is resumed on the coresponding EC 586b5dd2422SOlivier Deprez(the virtual CPU which matches the physical core). The implication is that the 587b5dd2422SOlivier Deprezfirst SP must be a MP SP. 588fcb1398fSOlivier Deprez 589b5dd2422SOlivier DeprezIn a linux based system, once secure and normal worlds are booted but prior to 590b5dd2422SOlivier Depreza NWd FF-A driver has been loaded: 591fcb1398fSOlivier Deprez 592b5dd2422SOlivier Deprez- The first SP has initialized all its ECs in response to primary core boot up 593b5dd2422SOlivier Deprez (at system initialization) and secondary core boot up (as a result of linux 594b5dd2422SOlivier Deprez invoking PSCI_CPU_ON for all secondary cores). 595b5dd2422SOlivier Deprez- Other SPs have their first execution context initialized as a result of secure 596b5dd2422SOlivier Deprez world initialization on the primary boot core. Other ECs for those SPs have to 597b5dd2422SOlivier Deprez be run first through ffa_run to complete their initialization (which results 598b5dd2422SOlivier Deprez in the EC completing with FFA_MSG_WAIT). 599fcb1398fSOlivier Deprez 600b5dd2422SOlivier DeprezRefer to `Power management`_ for further details. 601fcb1398fSOlivier Deprez 60216c1c453SJ-AlvesNotifications 60316c1c453SJ-Alves------------- 60416c1c453SJ-Alves 60516c1c453SJ-AlvesThe FF-A v1.1 specification `[1]`_ defines notifications as an asynchronous 60616c1c453SJ-Alvescommunication mechanism with non-blocking semantics. It allows for one FF-A 60716c1c453SJ-Alvesendpoint to signal another for service provision, without hindering its current 60816c1c453SJ-Alvesprogress. 60916c1c453SJ-Alves 61016c1c453SJ-AlvesHafnium currently supports 64 notifications. The IDs of each notification define 61116c1c453SJ-Alvesa position in a 64-bit bitmap. 61216c1c453SJ-Alves 61316c1c453SJ-AlvesThe signaling of notifications can interchangeably happen between NWd and SWd 61416c1c453SJ-AlvesFF-A endpoints. 61516c1c453SJ-Alves 61616c1c453SJ-AlvesThe SPMC is in charge of managing notifications from SPs to SPs, from SPs to 61716c1c453SJ-AlvesVMs, and from VMs to SPs. An hypervisor component would only manage 61816c1c453SJ-Alvesnotifications from VMs to VMs. Given the SPMC has no visibility of the endpoints 61916c1c453SJ-Alvesdeployed in NWd, the Hypervisor or OS kernel must invoke the interface 62016c1c453SJ-AlvesFFA_NOTIFICATION_BITMAP_CREATE to allocate the notifications bitmap per FF-A 62116c1c453SJ-Alvesendpoint in the NWd that supports it. 62216c1c453SJ-Alves 62316c1c453SJ-AlvesA sender can signal notifications once the receiver has provided it with 62416c1c453SJ-Alvespermissions. Permissions are provided by invoking the interface 62516c1c453SJ-AlvesFFA_NOTIFICATION_BIND. 62616c1c453SJ-Alves 62716c1c453SJ-AlvesNotifications are signaled by invoking FFA_NOTIFICATION_SET. Henceforth 62816c1c453SJ-Alvesthey are considered to be in a pending sate. The receiver can retrieve its 62916c1c453SJ-Alvespending notifications invoking FFA_NOTIFICATION_GET, which, from that moment, 63016c1c453SJ-Alvesare considered to be handled. 63116c1c453SJ-Alves 63216c1c453SJ-AlvesPer the FF-A v1.1 spec, each FF-A endpoint must be associated with a scheduler 63316c1c453SJ-Alvesthat is in charge of donating CPU cycles for notifications handling. The 63416c1c453SJ-AlvesFF-A driver calls FFA_NOTIFICATION_INFO_GET to retrieve the information about 63516c1c453SJ-Alveswhich FF-A endpoints have pending notifications. The receiver scheduler is 63616c1c453SJ-Alvescalled and informed by the FF-A driver, and it should allocate CPU cycles to the 63716c1c453SJ-Alvesreceiver. 63816c1c453SJ-Alves 63916c1c453SJ-AlvesThere are two types of notifications supported: 64016c1c453SJ-Alves- Global, which are targeted to a FF-A endpoint and can be handled within any of 64116c1c453SJ-Alvesits execution contexts, as determined by the scheduler of the system. 64216c1c453SJ-Alves- Per-vCPU, which are targeted to a FF-A endpoint and to be handled within a 64316c1c453SJ-Alvesa specific execution context, as determined by the sender. 64416c1c453SJ-Alves 64516c1c453SJ-AlvesThe type of a notification is set when invoking FFA_NOTIFICATION_BIND to give 64616c1c453SJ-Alvespermissions to the sender. 64716c1c453SJ-Alves 64816c1c453SJ-AlvesNotification signaling resorts to two interrupts: 64916c1c453SJ-Alves- Schedule Receiver Interrupt: Non-secure physical interrupt to be handled by 65016c1c453SJ-Alvesthe FF-A 'transport' driver within the receiver scheduler. At initialization 65116c1c453SJ-Alvesthe SPMC (as suggested by the spec) configures a secure SGI, as non-secure, and 65216c1c453SJ-Alvestriggers it when there are pending notifications, and the respective receivers 65316c1c453SJ-Alvesneed CPU cycles to handle them. 65416c1c453SJ-Alves- Notifications Pending Interrupt: Virtual Interrupt to be handled by the 65516c1c453SJ-Alvesreceiver of the notification. Set when there are pending notifications. For 65616c1c453SJ-Alvesper-vCPU the NPI is pended at the handling of FFA_NOTIFICATION_SET interface. 65716c1c453SJ-Alves 65816c1c453SJ-AlvesThe notifications receipt support is enabled in the partition FF-A manifest. 65916c1c453SJ-Alves 66016c1c453SJ-AlvesThe subsequent section provides more details about the each one of the 66116c1c453SJ-AlvesFF-A interfaces for notifications support. 66216c1c453SJ-Alves 663fcb1398fSOlivier DeprezMandatory interfaces 664fcb1398fSOlivier Deprez-------------------- 665fcb1398fSOlivier Deprez 666b5dd2422SOlivier DeprezThe following interfaces are exposed to SPs: 667fcb1398fSOlivier Deprez 668fcb1398fSOlivier Deprez- ``FFA_VERSION`` 669fcb1398fSOlivier Deprez- ``FFA_FEATURES`` 670fcb1398fSOlivier Deprez- ``FFA_RX_RELEASE`` 671fcb1398fSOlivier Deprez- ``FFA_RXTX_MAP`` 67216c1c453SJ-Alves- ``FFA_RXTX_UNMAP`` 673fcb1398fSOlivier Deprez- ``FFA_PARTITION_INFO_GET`` 674fcb1398fSOlivier Deprez- ``FFA_ID_GET`` 675b5dd2422SOlivier Deprez- ``FFA_MSG_WAIT`` 676b5dd2422SOlivier Deprez- ``FFA_MSG_SEND_DIRECT_REQ`` 677b5dd2422SOlivier Deprez- ``FFA_MSG_SEND_DIRECT_RESP`` 678b5dd2422SOlivier Deprez- ``FFA_MEM_DONATE`` 679b5dd2422SOlivier Deprez- ``FFA_MEM_LEND`` 680b5dd2422SOlivier Deprez- ``FFA_MEM_SHARE`` 681b5dd2422SOlivier Deprez- ``FFA_MEM_RETRIEVE_REQ`` 682b5dd2422SOlivier Deprez- ``FFA_MEM_RETRIEVE_RESP`` 683b5dd2422SOlivier Deprez- ``FFA_MEM_RELINQUISH`` 684b5dd2422SOlivier Deprez- ``FFA_MEM_RECLAIM`` 68516c1c453SJ-Alves 68616c1c453SJ-AlvesAs part of the support of FF-A v1.1, the following interfaces were added: 68716c1c453SJ-Alves 68816c1c453SJ-Alves - ``FFA_NOTIFICATION_BITMAP_CREATE`` 68916c1c453SJ-Alves - ``FFA_NOTIFICATION_BITMAP_DESTROY`` 69016c1c453SJ-Alves - ``FFA_NOTIFICATION_BIND`` 69116c1c453SJ-Alves - ``FFA_NOTIFICATION_UNBIND`` 69216c1c453SJ-Alves - ``FFA_NOTIFICATION_SET`` 69316c1c453SJ-Alves - ``FFA_NOTIFICATION_GET`` 69416c1c453SJ-Alves - ``FFA_NOTIFICATION_INFO_GET`` 69516c1c453SJ-Alves - ``FFA_SPM_ID_GET`` 696b5dd2422SOlivier Deprez - ``FFA_SECONDARY_EP_REGISTER`` 697fcb1398fSOlivier Deprez 698fcb1398fSOlivier DeprezFFA_VERSION 699fcb1398fSOlivier Deprez~~~~~~~~~~~ 700fcb1398fSOlivier Deprez 701b5dd2422SOlivier Deprez``FFA_VERSION`` requires a *requested_version* parameter from the caller. 702b5dd2422SOlivier DeprezThe returned value depends on the caller: 703fcb1398fSOlivier Deprez 704b5dd2422SOlivier Deprez- Hypervisor or OS kernel in NS-EL1/EL2: the SPMD returns the SPMC version 705b5dd2422SOlivier Deprez specified in the SPMC manifest. 706b5dd2422SOlivier Deprez- SP: the SPMC returns its own implemented version. 707b5dd2422SOlivier Deprez- SPMC at S-EL1/S-EL2: the SPMD returns its own implemented version. 708fcb1398fSOlivier Deprez 709fcb1398fSOlivier DeprezFFA_FEATURES 710fcb1398fSOlivier Deprez~~~~~~~~~~~~ 711fcb1398fSOlivier Deprez 712b5dd2422SOlivier DeprezFF-A features supported by the SPMC may be discovered by secure partitions at 713b5dd2422SOlivier Deprezboot (that is prior to NWd is booted) or run-time. 714fcb1398fSOlivier Deprez 715b5dd2422SOlivier DeprezThe SPMC calling FFA_FEATURES at secure physical FF-A instance always get 716b5dd2422SOlivier DeprezFFA_SUCCESS from the SPMD. 717b5dd2422SOlivier Deprez 718b5dd2422SOlivier DeprezThe request made by an Hypervisor or OS kernel is forwarded to the SPMC and 719b5dd2422SOlivier Deprezthe response relayed back to the NWd. 720fcb1398fSOlivier Deprez 721fcb1398fSOlivier DeprezFFA_RXTX_MAP/FFA_RXTX_UNMAP 722fcb1398fSOlivier Deprez~~~~~~~~~~~~~~~~~~~~~~~~~~~ 723fcb1398fSOlivier Deprez 724b5dd2422SOlivier DeprezWhen invoked from a secure partition FFA_RXTX_MAP maps the provided send and 725b5dd2422SOlivier Deprezreceive buffers described by their IPAs to the SP EL1&0 Stage-2 translation 726b5dd2422SOlivier Deprezregime as secure buffers in the MMU descriptors. 727fcb1398fSOlivier Deprez 728b5dd2422SOlivier DeprezWhen invoked from the Hypervisor or OS kernel, the buffers are mapped into the 729b5dd2422SOlivier DeprezSPMC EL2 Stage-1 translation regime and marked as NS buffers in the MMU 730b5dd2422SOlivier Deprezdescriptors. 731b5dd2422SOlivier Deprez 73216c1c453SJ-AlvesThe FFA_RXTX_UNMAP unmaps the RX/TX pair from the translation regime of the 73316c1c453SJ-Alvescaller, either it being the Hypervisor or OS kernel, as well as a secure 73416c1c453SJ-Alvespartition. 735fcb1398fSOlivier Deprez 736fcb1398fSOlivier DeprezFFA_PARTITION_INFO_GET 737fcb1398fSOlivier Deprez~~~~~~~~~~~~~~~~~~~~~~ 738fcb1398fSOlivier Deprez 739b5dd2422SOlivier DeprezPartition info get call can originate: 740fcb1398fSOlivier Deprez 741b5dd2422SOlivier Deprez- from SP to SPMC 742b5dd2422SOlivier Deprez- from Hypervisor or OS kernel to SPMC. The request is relayed by the SPMD. 743fcb1398fSOlivier Deprez 744fcb1398fSOlivier DeprezFFA_ID_GET 745fcb1398fSOlivier Deprez~~~~~~~~~~ 746fcb1398fSOlivier Deprez 747b5dd2422SOlivier DeprezThe FF-A id space is split into a non-secure space and secure space: 748b5dd2422SOlivier Deprez 749b5dd2422SOlivier Deprez- FF-A ID with bit 15 clear relates to VMs. 750b5dd2422SOlivier Deprez- FF-A ID with bit 15 set related to SPs. 751b5dd2422SOlivier Deprez- FF-A IDs 0, 0xffff, 0x8000 are assigned respectively to the Hypervisor, SPMD 752b5dd2422SOlivier Deprez and SPMC. 753b5dd2422SOlivier Deprez 754fcb1398fSOlivier DeprezThe SPMD returns: 755fcb1398fSOlivier Deprez 756b5dd2422SOlivier Deprez- The default zero value on invocation from the Hypervisor. 757fcb1398fSOlivier Deprez- The ``spmc_id`` value specified in the SPMC manifest on invocation from 758fcb1398fSOlivier Deprez the SPMC (see `SPMC manifest`_) 759fcb1398fSOlivier Deprez 760b5dd2422SOlivier DeprezThis convention helps the SPMC to determine the origin and destination worlds in 761b5dd2422SOlivier Deprezan FF-A ABI invocation. In particular the SPMC shall filter unauthorized 762fcb1398fSOlivier Depreztransactions in its world switch routine. It must not be permitted for a VM to 763b5dd2422SOlivier Deprezuse a secure FF-A ID as origin world by spoofing: 764fcb1398fSOlivier Deprez 765b5dd2422SOlivier Deprez- A VM-to-SP direct request/response shall set the origin world to be non-secure 766b5dd2422SOlivier Deprez (FF-A ID bit 15 clear) and destination world to be secure (FF-A ID bit 15 767fcb1398fSOlivier Deprez set). 768b5dd2422SOlivier Deprez- Similarly, an SP-to-SP direct request/response shall set the FF-A ID bit 15 769b5dd2422SOlivier Deprez for both origin and destination IDs. 770fcb1398fSOlivier Deprez 771fcb1398fSOlivier DeprezAn incoming direct message request arriving at SPMD from NWd is forwarded to 772fcb1398fSOlivier DeprezSPMC without a specific check. The SPMC is resumed through eret and "knows" the 773fcb1398fSOlivier Deprezmessage is coming from normal world in this specific code path. Thus the origin 774b5dd2422SOlivier Deprezendpoint ID must be checked by SPMC for being a normal world ID. 775fcb1398fSOlivier Deprez 776fcb1398fSOlivier DeprezAn SP sending a direct message request must have bit 15 set in its origin 777b5dd2422SOlivier Deprezendpoint ID and this can be checked by the SPMC when the SP invokes the ABI. 778fcb1398fSOlivier Deprez 779fcb1398fSOlivier DeprezThe SPMC shall reject the direct message if the claimed world in origin endpoint 780b5dd2422SOlivier DeprezID is not consistent: 781fcb1398fSOlivier Deprez 782b5dd2422SOlivier Deprez- It is either forwarded by SPMD and thus origin endpoint ID must be a "normal 783b5dd2422SOlivier Deprez world ID", 784b5dd2422SOlivier Deprez- or initiated by an SP and thus origin endpoint ID must be a "secure world ID". 785fcb1398fSOlivier Deprez 786fcb1398fSOlivier Deprez 787b5dd2422SOlivier DeprezFFA_MSG_SEND_DIRECT_REQ/FFA_MSG_SEND_DIRECT_RESP 788b5dd2422SOlivier Deprez~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 789fcb1398fSOlivier Deprez 790b5dd2422SOlivier DeprezThis is a mandatory interface for secure partitions consisting in direct request 791b5dd2422SOlivier Deprezand responses with the following rules: 792fcb1398fSOlivier Deprez 793b5dd2422SOlivier Deprez- An SP can send a direct request to another SP. 794b5dd2422SOlivier Deprez- An SP can receive a direct request from another SP. 795b5dd2422SOlivier Deprez- An SP can send a direct response to another SP. 796b5dd2422SOlivier Deprez- An SP cannot send a direct request to an Hypervisor or OS kernel. 797b5dd2422SOlivier Deprez- An Hypervisor or OS kernel can send a direct request to an SP. 798b5dd2422SOlivier Deprez- An SP can send a direct response to an Hypervisor or OS kernel. 799fcb1398fSOlivier Deprez 80016c1c453SJ-AlvesFFA_NOTIFICATION_BITMAP_CREATE/FFA_NOTIFICATION_BITMAP_DESTROY 80116c1c453SJ-Alves~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 80216c1c453SJ-Alves 80316c1c453SJ-AlvesThe secure partitions notifications bitmap are statically allocated by the SPMC. 80416c1c453SJ-AlvesHence, this interface is not to be issued by secure partitions. 80516c1c453SJ-Alves 80616c1c453SJ-AlvesAt initialization, the SPMC is not aware of VMs/partitions deployed in the 80716c1c453SJ-Alvesnormal world. Hence, the Hypervisor or OS kernel must use both ABIs for SPMC 80816c1c453SJ-Alvesto be prepared to handle notifications for the provided VM ID. 80916c1c453SJ-Alves 81016c1c453SJ-AlvesFFA_NOTIFICATION_BIND/FFA_NOTIFICATION_UNBIND 81116c1c453SJ-Alves~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 81216c1c453SJ-Alves 81316c1c453SJ-AlvesPair of interfaces to manage permissions to signal notifications. Prior to 81416c1c453SJ-Alveshandling notifications, an FF-A endpoint must allow a given sender to signal a 81516c1c453SJ-Alvesbitmap of notifications. 81616c1c453SJ-Alves 81716c1c453SJ-AlvesIf the receiver doesn't have notification support enabled in its FF-A manifest, 81816c1c453SJ-Alvesit won't be able to bind notifications, hence forbidding it to receive any 81916c1c453SJ-Alvesnotifications. 82016c1c453SJ-Alves 82116c1c453SJ-AlvesFFA_NOTIFICATION_SET/FFA_NOTIFICATION_GET 82216c1c453SJ-Alves~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 82316c1c453SJ-Alves 82416c1c453SJ-AlvesIf the notifications set are per-vCPU, the NPI interrupt is set as pending 82516c1c453SJ-Alvesfor a given receiver partition. 82616c1c453SJ-Alves 82716c1c453SJ-AlvesThe FFA_NOTIFICATION_GET will retrieve all pending global notifications and all 82816c1c453SJ-Alvespending per-vCPU notifications targeted to the current vCPU. 82916c1c453SJ-Alves 83016c1c453SJ-AlvesHafnium keeps the global counting of the pending notifications, which is 83116c1c453SJ-Alvesincremented and decremented at the handling of FFA_NOTIFICATION_SET and 83216c1c453SJ-AlvesFFA_NOTIFICATION_GET, respectively. If the counter reaches zero, prior to SPMC 83316c1c453SJ-Alvestriggering the SRI, it won't be triggered. 83416c1c453SJ-Alves 83516c1c453SJ-AlvesFFA_NOTIFICATION_INFO_GET 83616c1c453SJ-Alves~~~~~~~~~~~~~~~~~~~~~~~~~ 83716c1c453SJ-Alves 83816c1c453SJ-AlvesHafnium keeps the global counting of pending notifications whose info has been 83916c1c453SJ-Alvesretrieved by this interface. The counting is incremented and decremented at the 84016c1c453SJ-Alveshandling of FFA_NOTIFICATION_INFO_GET and FFA_NOTIFICATION_GET, respectively. 84116c1c453SJ-AlvesIt also tracks the notifications whose info has been retrieved individually, 84216c1c453SJ-Alvessuch that it avoids duplicating returned information for subsequent calls to 84316c1c453SJ-AlvesFFA_NOTIFICATION_INFO_GET. For each notification, this state information is 84416c1c453SJ-Alvesreset when receiver called FFA_NOTIFICATION_GET to retrieve them. 84516c1c453SJ-Alves 84616c1c453SJ-AlvesFFA_SPM_ID_GET 84716c1c453SJ-Alves~~~~~~~~~~~~~~ 84816c1c453SJ-Alves 84916c1c453SJ-AlvesReturns the FF-A ID allocated to the SPM component (which includes SPMC + SPMD). 85016c1c453SJ-AlvesAt initialization, the SPMC queries the SPMD for the SPM ID, using this 85116c1c453SJ-Alvessame interface, and saves it. 85216c1c453SJ-Alves 85316c1c453SJ-AlvesThe call emitted at NS and secure physical FF-A instances returns the SPM ID 85416c1c453SJ-Alvesspecified in the SPMC manifest. 85516c1c453SJ-Alves 85616c1c453SJ-AlvesSecure partitions call this interface at the virtual instance, to which the SPMC 85716c1c453SJ-Alvesshall return the priorly retrieved SPM ID. 85816c1c453SJ-Alves 85916c1c453SJ-AlvesThe Hypervisor or OS kernel can issue an FFA_SPM_ID_GET call handled by the 86016c1c453SJ-AlvesSPMD, which returns the SPM ID. 86116c1c453SJ-Alves 86216c1c453SJ-AlvesFFA_SECONDARY_EP_REGISTER 86316c1c453SJ-Alves~~~~~~~~~~~~~~~~~~~~~~~~~ 86416c1c453SJ-Alves 86516c1c453SJ-AlvesWhen the SPMC boots, all secure partitions are initialized on their primary 86616c1c453SJ-AlvesExecution Context. 86716c1c453SJ-Alves 86816c1c453SJ-AlvesThe interface FFA_SECONDARY_EP_REGISTER is to be used by a secure partitions 86916c1c453SJ-Alvesfrom its first execution context, to provide the entry point address for 87016c1c453SJ-Alvessecondary execution contexts. 87116c1c453SJ-Alves 87216c1c453SJ-AlvesA secondary EC is first resumed either upon invocation of PSCI_CPU_ON from 87316c1c453SJ-Alvesthe NWd or by invocation of FFA_RUN. 87416c1c453SJ-Alves 875b5dd2422SOlivier DeprezSPMC-SPMD direct requests/responses 876b5dd2422SOlivier Deprez----------------------------------- 877fcb1398fSOlivier Deprez 878b5dd2422SOlivier DeprezImplementation-defined FF-A IDs are allocated to the SPMC and SPMD. 879b5dd2422SOlivier DeprezUsing those IDs in source/destination fields of a direct request/response 880b5dd2422SOlivier Deprezpermits SPMD to SPMC communication and either way. 881fcb1398fSOlivier Deprez 882b5dd2422SOlivier Deprez- SPMC to SPMD direct request/response uses SMC conduit. 883b5dd2422SOlivier Deprez- SPMD to SPMC direct request/response uses ERET conduit. 884fcb1398fSOlivier Deprez 885b5dd2422SOlivier DeprezPE MMU configuration 886b5dd2422SOlivier Deprez-------------------- 887fcb1398fSOlivier Deprez 888b5dd2422SOlivier DeprezWith secure virtualization enabled, two IPA spaces are output from the secure 889b5dd2422SOlivier DeprezEL1&0 Stage-1 translation (secure and non-secure). The EL1&0 Stage-2 translation 890b5dd2422SOlivier Deprezhardware is fed by: 891fcb1398fSOlivier Deprez 892b5dd2422SOlivier Deprez- A single secure IPA space when the SP EL1&0 Stage-1 MMU is disabled. 893b5dd2422SOlivier Deprez- Two IPA spaces (secure and non-secure) when the SP EL1&0 Stage-1 MMU is 894b5dd2422SOlivier Deprez enabled. 895fcb1398fSOlivier Deprez 896b5dd2422SOlivier Deprez``VTCR_EL2`` and ``VSTCR_EL2`` provide configuration bits for controlling the 897b5dd2422SOlivier DeprezNS/S IPA translations. 898b5dd2422SOlivier Deprez``VSTCR_EL2.SW`` = 0, ``VSTCR_EL2.SA`` = 0,``VTCR_EL2.NSW`` = 0, ``VTCR_EL2.NSA`` = 1: 899fcb1398fSOlivier Deprez 900b5dd2422SOlivier Deprez- Stage-2 translations for the NS IPA space access the NS PA space. 901b5dd2422SOlivier Deprez- Stage-2 translation table walks for the NS IPA space are to the secure PA space. 902fcb1398fSOlivier Deprez 903b5dd2422SOlivier DeprezSecure and non-secure IPA regions use the same set of Stage-2 page tables within 904b5dd2422SOlivier Depreza SP. 905fcb1398fSOlivier Deprez 906fcb1398fSOlivier DeprezInterrupt management 907fcb1398fSOlivier Deprez-------------------- 908fcb1398fSOlivier Deprez 909b5dd2422SOlivier DeprezGIC ownership 910b5dd2422SOlivier Deprez~~~~~~~~~~~~~ 911fcb1398fSOlivier Deprez 912b5dd2422SOlivier DeprezThe SPMC owns the GIC configuration. Secure and non-secure interrupts are 913b5dd2422SOlivier Depreztrapped at S-EL2. The SPMC manages interrupt resources and allocates interrupt 914b5dd2422SOlivier DeprezIDs based on SP manifests. The SPMC acknowledges physical interrupts and injects 915b5dd2422SOlivier Deprezvirtual interrupts by setting the use of vIRQ/vFIQ bits before resuming a SP. 916fcb1398fSOlivier Deprez 917b5dd2422SOlivier DeprezNon-secure interrupt handling 918b5dd2422SOlivier Deprez~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 919fcb1398fSOlivier Deprez 920b5dd2422SOlivier DeprezThe following illustrate the scenarios of non secure physical interrupts trapped 921b5dd2422SOlivier Deprezby the SPMC: 922fcb1398fSOlivier Deprez 923b5dd2422SOlivier Deprez- The SP handles a managed exit operation: 924b5dd2422SOlivier Deprez 925b5dd2422SOlivier Deprez.. image:: ../resources/diagrams/ffa-ns-interrupt-handling-managed-exit.png 926b5dd2422SOlivier Deprez 927b5dd2422SOlivier Deprez- The SP is pre-empted without managed exit: 928b5dd2422SOlivier Deprez 929b5dd2422SOlivier Deprez.. image:: ../resources/diagrams/ffa-ns-interrupt-handling-sp-preemption.png 930b5dd2422SOlivier Deprez 931b5dd2422SOlivier DeprezSecure interrupt handling 93252558e08SMadhukar Pappireddy------------------------- 933b5dd2422SOlivier Deprez 93452558e08SMadhukar PappireddyThis section documents the support implemented for secure interrupt handling in 93552558e08SMadhukar PappireddySPMC as per the guidance provided by FF-A v1.1 Beta0 specification. 93652558e08SMadhukar PappireddyThe following assumptions are made about the system configuration: 93752558e08SMadhukar Pappireddy 93852558e08SMadhukar Pappireddy - In the current implementation, S-EL1 SPs are expected to use the para 93952558e08SMadhukar Pappireddy virtualized ABIs for interrupt management rather than accessing virtual GIC 94052558e08SMadhukar Pappireddy interface. 94152558e08SMadhukar Pappireddy - Unless explicitly stated otherwise, this support is applicable only for 94252558e08SMadhukar Pappireddy S-EL1 SPs managed by SPMC. 94352558e08SMadhukar Pappireddy - Secure interrupts are configured as G1S or G0 interrupts. 94452558e08SMadhukar Pappireddy - All physical interrupts are routed to SPMC when running a secure partition 94552558e08SMadhukar Pappireddy execution context. 94652558e08SMadhukar Pappireddy 94752558e08SMadhukar PappireddyA physical secure interrupt could preempt normal world execution. Moreover, when 94852558e08SMadhukar Pappireddythe execution is in secure world, it is highly likely that the target of a 94952558e08SMadhukar Pappireddysecure interrupt is not the currently running execution context of an SP. It 95052558e08SMadhukar Pappireddycould be targeted to another FF-A component. Consequently, secure interrupt 95152558e08SMadhukar Pappireddymanagement depends on the state of the target execution context of the SP that 95252558e08SMadhukar Pappireddyis responsible for handling the interrupt. Hence, the spec provides guidance on 95352558e08SMadhukar Pappireddyhow to signal start and completion of secure interrupt handling as discussed in 95452558e08SMadhukar Pappireddyfurther sections. 95552558e08SMadhukar Pappireddy 95652558e08SMadhukar PappireddySecure interrupt signaling mechanisms 95752558e08SMadhukar Pappireddy~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 95852558e08SMadhukar Pappireddy 95952558e08SMadhukar PappireddySignaling refers to the mechanisms used by SPMC to indicate to the SP execution 96052558e08SMadhukar Pappireddycontext that it has a pending virtual interrupt and to further run the SP 96152558e08SMadhukar Pappireddyexecution context, such that it can handle the virtual interrupt. SPMC uses 96252558e08SMadhukar Pappireddyeither the FFA_INTERRUPT interface with ERET conduit or vIRQ signal for signaling 96352558e08SMadhukar Pappireddyto S-EL1 SPs. When normal world execution is preempted by a secure interrupt, 96452558e08SMadhukar Pappireddythe SPMD uses the FFA_INTERRUPT ABI with ERET conduit to signal interrupt to SPMC 96552558e08SMadhukar Pappireddyrunning in S-EL2. 96652558e08SMadhukar Pappireddy 96752558e08SMadhukar Pappireddy+-----------+---------+---------------+---------------------------------------+ 96852558e08SMadhukar Pappireddy| SP State | Conduit | Interface and | Description | 96952558e08SMadhukar Pappireddy| | | parameters | | 97052558e08SMadhukar Pappireddy+-----------+---------+---------------+---------------------------------------+ 97152558e08SMadhukar Pappireddy| WAITING | ERET, | FFA_INTERRUPT,| SPMC signals to SP the ID of pending | 97252558e08SMadhukar Pappireddy| | vIRQ | Interrupt ID | interrupt. It pends vIRQ signal and | 97352558e08SMadhukar Pappireddy| | | | resumes execution context of SP | 97452558e08SMadhukar Pappireddy| | | | through ERET. | 97552558e08SMadhukar Pappireddy+-----------+---------+---------------+---------------------------------------+ 97652558e08SMadhukar Pappireddy| BLOCKED | ERET, | FFA_INTERRUPT | SPMC signals to SP that an interrupt | 97752558e08SMadhukar Pappireddy| | vIRQ | | is pending. It pends vIRQ signal and | 97852558e08SMadhukar Pappireddy| | | | resumes execution context of SP | 97952558e08SMadhukar Pappireddy| | | | through ERET. | 98052558e08SMadhukar Pappireddy+-----------+---------+---------------+---------------------------------------+ 98152558e08SMadhukar Pappireddy| PREEMPTED | vIRQ | NA | SPMC pends the vIRQ signal but does | 98252558e08SMadhukar Pappireddy| | | | not resume execution context of SP. | 98352558e08SMadhukar Pappireddy+-----------+---------+---------------+---------------------------------------+ 98452558e08SMadhukar Pappireddy| RUNNING | ERET, | NA | SPMC pends the vIRQ signal and resumes| 98552558e08SMadhukar Pappireddy| | vIRQ | | execution context of SP through ERET. | 98652558e08SMadhukar Pappireddy+-----------+---------+---------------+---------------------------------------+ 98752558e08SMadhukar Pappireddy 98852558e08SMadhukar PappireddySecure interrupt completion mechanisms 98952558e08SMadhukar Pappireddy~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 99052558e08SMadhukar Pappireddy 99152558e08SMadhukar PappireddyA SP signals secure interrupt handling completion to the SPMC through the 99252558e08SMadhukar Pappireddyfollowing mechanisms: 99352558e08SMadhukar Pappireddy 99452558e08SMadhukar Pappireddy - ``FFA_MSG_WAIT`` ABI if it was in WAITING state. 99552558e08SMadhukar Pappireddy - ``FFA_RUN`` ABI if its was in BLOCKED state. 99652558e08SMadhukar Pappireddy 99752558e08SMadhukar PappireddyIn the current implementation, S-EL1 SPs use para-virtualized HVC interface 99852558e08SMadhukar Pappireddyimplemented by SPMC to perform priority drop and interrupt deactivation (we 99952558e08SMadhukar Pappireddyassume EOImode = 0, i.e. priority drop and deactivation are done together). 100052558e08SMadhukar Pappireddy 100152558e08SMadhukar PappireddyIf normal world execution was preempted by secure interrupt, SPMC uses 100252558e08SMadhukar PappireddyFFA_NORMAL_WORLD_RESUME ABI to indicate completion of secure interrupt handling 100352558e08SMadhukar Pappireddyand further return execution to normal world. If the current SP execution 100452558e08SMadhukar Pappireddycontext was preempted by a secure interrupt to be handled by execution context 100552558e08SMadhukar Pappireddyof target SP, SPMC resumes current SP after signal completion by target SP 100652558e08SMadhukar Pappireddyexecution context. 100752558e08SMadhukar Pappireddy 100852558e08SMadhukar PappireddyAn action is broadly a set of steps taken by the SPMC in response to a physical 100952558e08SMadhukar Pappireddyinterrupt. In order to simplify the design, the current version of secure 101052558e08SMadhukar Pappireddyinterrupt management support in SPMC (Hafnium) does not fully implement the 101152558e08SMadhukar PappireddyScheduling models and Partition runtime models. However, the current 101252558e08SMadhukar Pappireddyimplementation loosely maps to the following actions that are legally allowed 101352558e08SMadhukar Pappireddyby the specification. Please refer to the Table 8.4 in the spec for further 101452558e08SMadhukar Pappireddydescription of actions. The action specified for a type of interrupt when the 101552558e08SMadhukar PappireddySP is in the message processing running state cannot be less permissive than the 101652558e08SMadhukar Pappireddyaction specified for the same type of interrupt when the SP is in the interrupt 101752558e08SMadhukar Pappireddyhandling running state. 101852558e08SMadhukar Pappireddy 101952558e08SMadhukar Pappireddy+--------------------+--------------------+------------+-------------+ 102052558e08SMadhukar Pappireddy| Runtime Model | NS-Int | Self S-Int | Other S-Int | 102152558e08SMadhukar Pappireddy+--------------------+--------------------+------------+-------------+ 102252558e08SMadhukar Pappireddy| Message Processing | Signalable with ME | Signalable | Signalable | 102352558e08SMadhukar Pappireddy+--------------------+--------------------+------------+-------------+ 102452558e08SMadhukar Pappireddy| Interrupt Handling | Queued | Queued | Queued | 102552558e08SMadhukar Pappireddy+--------------------+--------------------+------------+-------------+ 102652558e08SMadhukar Pappireddy 102752558e08SMadhukar PappireddyAbbreviations: 102852558e08SMadhukar Pappireddy 102952558e08SMadhukar Pappireddy - NS-Int: A Non-secure physical interrupt. It requires a switch to the Normal 103052558e08SMadhukar Pappireddy world to be handled. 103152558e08SMadhukar Pappireddy - Other S-Int: A secure physical interrupt targeted to an SP different from 103252558e08SMadhukar Pappireddy the one that is currently running. 103352558e08SMadhukar Pappireddy - Self S-Int: A secure physical interrupt targeted to the SP that is currently 103452558e08SMadhukar Pappireddy running. 103552558e08SMadhukar Pappireddy 103652558e08SMadhukar PappireddyThe following figure describes interrupt handling flow when secure interrupt 103752558e08SMadhukar Pappireddytriggers while in normal world: 103852558e08SMadhukar Pappireddy 103952558e08SMadhukar Pappireddy.. image:: ../resources/diagrams/ffa-secure-interrupt-handling-nwd.png 104052558e08SMadhukar Pappireddy 104152558e08SMadhukar PappireddyA brief description of the events: 104252558e08SMadhukar Pappireddy 104352558e08SMadhukar Pappireddy - 1) Secure interrupt triggers while normal world is running. 104452558e08SMadhukar Pappireddy - 2) FIQ gets trapped to EL3. 104552558e08SMadhukar Pappireddy - 3) SPMD signals secure interrupt to SPMC at S-EL2 using FFA_INTERRUPT ABI. 104652558e08SMadhukar Pappireddy - 4) SPMC identifies target vCPU of SP and injects virtual interrupt (pends 104752558e08SMadhukar Pappireddy vIRQ). 104852558e08SMadhukar Pappireddy - 5) Since SP1 vCPU is in WAITING state, SPMC signals using FFA_INTERRUPT with 104952558e08SMadhukar Pappireddy interrupt id as argument and resume it using ERET. 105052558e08SMadhukar Pappireddy - 6) Execution traps to vIRQ handler in SP1 provided that interrupt is not 105152558e08SMadhukar Pappireddy masked i.e., PSTATE.I = 0 105252558e08SMadhukar Pappireddy - 7) SP1 services the interrupt and invokes the de-activation HVC call. 105352558e08SMadhukar Pappireddy - 8) SPMC does internal state management and further de-activates the physical 105452558e08SMadhukar Pappireddy interrupt and resumes SP vCPU. 105552558e08SMadhukar Pappireddy - 9) SP performs secure interrupt completion through FFA_MSG_WAIT ABI. 105652558e08SMadhukar Pappireddy - 10) SPMC returns control to EL3 using FFA_NORMAL_WORLD_RESUME. 105752558e08SMadhukar Pappireddy - 11) EL3 resumes normal world execution. 105852558e08SMadhukar Pappireddy 105952558e08SMadhukar PappireddyThe following figure describes interrupt handling flow when secure interrupt 106052558e08SMadhukar Pappireddytriggers while in secure world: 106152558e08SMadhukar Pappireddy 106252558e08SMadhukar Pappireddy.. image:: ../resources/diagrams/ffa-secure-interrupt-handling-swd.png 106352558e08SMadhukar Pappireddy 106452558e08SMadhukar PappireddyA brief description of the events: 106552558e08SMadhukar Pappireddy 106652558e08SMadhukar Pappireddy - 1) Secure interrupt triggers while SP2 is running and SP1 is blocked. 106752558e08SMadhukar Pappireddy - 2) Gets trapped to SPMC as IRQ. 106852558e08SMadhukar Pappireddy - 3) SPMC finds the target vCPU of secure partition responsible for handling 106952558e08SMadhukar Pappireddy this secure interrupt. In this scenario, it is SP1. 107052558e08SMadhukar Pappireddy - 4) SPMC pends vIRQ for SP1 and signals through FFA_INTERRUPT interface. 107152558e08SMadhukar Pappireddy SPMC further resumes SP1 through ERET conduit. 107252558e08SMadhukar Pappireddy - 5) Execution traps to vIRQ handler in SP1 provided that interrupt is not 107352558e08SMadhukar Pappireddy masked i.e., PSTATE.I = 0 107452558e08SMadhukar Pappireddy - 6) SP1 services the secure interrupt and invokes the de-activation HVC call. 107552558e08SMadhukar Pappireddy - 7) SPMC does internal state management, de-activates the physical interrupt 107652558e08SMadhukar Pappireddy and resumes SP1 vCPU. 107752558e08SMadhukar Pappireddy - 8) Assuming SP1 is in BLOCKED state, SP1 performs secure interrupt completion 107852558e08SMadhukar Pappireddy through FFA_RUN ABI. 107952558e08SMadhukar Pappireddy - 9) SPMC resumes the pre-empted vCPU of SP2. 108052558e08SMadhukar Pappireddy 1081fcb1398fSOlivier Deprez 1082fcb1398fSOlivier DeprezPower management 1083fcb1398fSOlivier Deprez---------------- 1084fcb1398fSOlivier Deprez 1085b5dd2422SOlivier DeprezIn platforms with or without secure virtualization: 1086fcb1398fSOlivier Deprez 1087b5dd2422SOlivier Deprez- The NWd owns the platform PM policy. 1088b5dd2422SOlivier Deprez- The Hypervisor or OS kernel is the component initiating PSCI service calls. 1089b5dd2422SOlivier Deprez- The EL3 PSCI library is in charge of the PM coordination and control 1090b5dd2422SOlivier Deprez (eventually writing to platform registers). 1091b5dd2422SOlivier Deprez- While coordinating PM events, the PSCI library calls backs into the Secure 1092b5dd2422SOlivier Deprez Payload Dispatcher for events the latter has statically registered to. 1093fcb1398fSOlivier Deprez 1094b5dd2422SOlivier DeprezWhen using the SPMD as a Secure Payload Dispatcher: 1095fcb1398fSOlivier Deprez 1096b5dd2422SOlivier Deprez- A power management event is relayed through the SPD hook to the SPMC. 1097b5dd2422SOlivier Deprez- In the current implementation only cpu on (svc_on_finish) and cpu off 1098b5dd2422SOlivier Deprez (svc_off) hooks are registered. 1099b5dd2422SOlivier Deprez- The behavior for the cpu on event is described in `Secondary cores boot-up`_. 1100b5dd2422SOlivier Deprez The SPMC is entered through its secondary physical core entry point. 1101b5dd2422SOlivier Deprez- The cpu off event occurs when the NWd calls PSCI_CPU_OFF. The method by which 1102b5dd2422SOlivier Deprez the PM event is conveyed to the SPMC is implementation-defined in context of 1103b5dd2422SOlivier Deprez FF-A v1.0 (`SPMC-SPMD direct requests/responses`_). It consists in a SPMD-to-SPMC 1104b5dd2422SOlivier Deprez direct request/response conveying the PM event details and SPMC response. 1105b5dd2422SOlivier Deprez The SPMD performs a synchronous entry into the SPMC. The SPMC is entered and 1106b5dd2422SOlivier Deprez updates its internal state to reflect the physical core is being turned off. 1107b5dd2422SOlivier Deprez In the current implementation no SP is resumed as a consequence. This behavior 1108b5dd2422SOlivier Deprez ensures a minimal support for CPU hotplug e.g. when initiated by the NWd linux 1109b5dd2422SOlivier Deprez userspace. 1110fcb1398fSOlivier Deprez 1111b5dd2422SOlivier DeprezSMMUv3 support in Hafnium 1112b5dd2422SOlivier Deprez========================= 11134ec3ccb4SMadhukar Pappireddy 11144ec3ccb4SMadhukar PappireddyAn SMMU is analogous to an MMU in a CPU. It performs address translations for 11154ec3ccb4SMadhukar PappireddyDirect Memory Access (DMA) requests from system I/O devices. 11164ec3ccb4SMadhukar PappireddyThe responsibilities of an SMMU include: 11174ec3ccb4SMadhukar Pappireddy 11184ec3ccb4SMadhukar Pappireddy- Translation: Incoming DMA requests are translated from bus address space to 11194ec3ccb4SMadhukar Pappireddy system physical address space using translation tables compliant to 11204ec3ccb4SMadhukar Pappireddy Armv8/Armv7 VMSA descriptor format. 11214ec3ccb4SMadhukar Pappireddy- Protection: An I/O device can be prohibited from read, write access to a 11224ec3ccb4SMadhukar Pappireddy memory region or allowed. 11234ec3ccb4SMadhukar Pappireddy- Isolation: Traffic from each individial device can be independently managed. 11244ec3ccb4SMadhukar Pappireddy The devices are differentiated from each other using unique translation 11254ec3ccb4SMadhukar Pappireddy tables. 11264ec3ccb4SMadhukar Pappireddy 11274ec3ccb4SMadhukar PappireddyThe following diagram illustrates a typical SMMU IP integrated in a SoC with 11284ec3ccb4SMadhukar Pappireddyseveral I/O devices along with Interconnect and Memory system. 11294ec3ccb4SMadhukar Pappireddy 11304ec3ccb4SMadhukar Pappireddy.. image:: ../resources/diagrams/MMU-600.png 11314ec3ccb4SMadhukar Pappireddy 11324ec3ccb4SMadhukar PappireddySMMU has several versions including SMMUv1, SMMUv2 and SMMUv3. Hafnium provides 1133b5dd2422SOlivier Deprezsupport for SMMUv3 driver in both normal and secure world. A brief introduction 11344ec3ccb4SMadhukar Pappireddyof SMMUv3 functionality and the corresponding software support in Hafnium is 11354ec3ccb4SMadhukar Pappireddyprovided here. 11364ec3ccb4SMadhukar Pappireddy 11374ec3ccb4SMadhukar PappireddySMMUv3 features 11384ec3ccb4SMadhukar Pappireddy--------------- 11394ec3ccb4SMadhukar Pappireddy 11404ec3ccb4SMadhukar Pappireddy- SMMUv3 provides Stage1, Stage2 translation as well as nested (Stage1 + Stage2) 11414ec3ccb4SMadhukar Pappireddy translation support. It can either bypass or abort incoming translations as 11424ec3ccb4SMadhukar Pappireddy well. 11434ec3ccb4SMadhukar Pappireddy- Traffic (memory transactions) from each upstream I/O peripheral device, 11444ec3ccb4SMadhukar Pappireddy referred to as Stream, can be independently managed using a combination of 11454ec3ccb4SMadhukar Pappireddy several memory based configuration structures. This allows the SMMUv3 to 11464ec3ccb4SMadhukar Pappireddy support a large number of streams with each stream assigned to a unique 11474ec3ccb4SMadhukar Pappireddy translation context. 11484ec3ccb4SMadhukar Pappireddy- Support for Armv8.1 VMSA where the SMMU shares the translation tables with 11494ec3ccb4SMadhukar Pappireddy a Processing Element. AArch32(LPAE) and AArch64 translation table format 11504ec3ccb4SMadhukar Pappireddy are supported by SMMUv3. 11514ec3ccb4SMadhukar Pappireddy- SMMUv3 offers non-secure stream support with secure stream support being 11524ec3ccb4SMadhukar Pappireddy optional. Logically, SMMUv3 behaves as if there is an indepdendent SMMU 11534ec3ccb4SMadhukar Pappireddy instance for secure and non-secure stream support. 11544ec3ccb4SMadhukar Pappireddy- It also supports sub-streams to differentiate traffic from a virtualized 11554ec3ccb4SMadhukar Pappireddy peripheral associated with a VM/SP. 11564ec3ccb4SMadhukar Pappireddy- Additionally, SMMUv3.2 provides support for PEs implementing Armv8.4-A 11574ec3ccb4SMadhukar Pappireddy extensions. Consequently, SPM depends on Secure EL2 support in SMMUv3.2 11584ec3ccb4SMadhukar Pappireddy for providing Secure Stage2 translation support to upstream peripheral 11594ec3ccb4SMadhukar Pappireddy devices. 11604ec3ccb4SMadhukar Pappireddy 11614ec3ccb4SMadhukar PappireddySMMUv3 Programming Interfaces 11624ec3ccb4SMadhukar Pappireddy----------------------------- 11634ec3ccb4SMadhukar Pappireddy 11644ec3ccb4SMadhukar PappireddySMMUv3 has three software interfaces that are used by the Hafnium driver to 11654ec3ccb4SMadhukar Pappireddyconfigure the behaviour of SMMUv3 and manage the streams. 11664ec3ccb4SMadhukar Pappireddy 11674ec3ccb4SMadhukar Pappireddy- Memory based data strutures that provide unique translation context for 11684ec3ccb4SMadhukar Pappireddy each stream. 11694ec3ccb4SMadhukar Pappireddy- Memory based circular buffers for command queue and event queue. 11704ec3ccb4SMadhukar Pappireddy- A large number of SMMU configuration registers that are memory mapped during 11714ec3ccb4SMadhukar Pappireddy boot time by Hafnium driver. Except a few registers, all configuration 11724ec3ccb4SMadhukar Pappireddy registers have independent secure and non-secure versions to configure the 11734ec3ccb4SMadhukar Pappireddy behaviour of SMMUv3 for translation of secure and non-secure streams 11744ec3ccb4SMadhukar Pappireddy respectively. 11754ec3ccb4SMadhukar Pappireddy 11764ec3ccb4SMadhukar PappireddyPeripheral device manifest 11774ec3ccb4SMadhukar Pappireddy-------------------------- 11784ec3ccb4SMadhukar Pappireddy 11794ec3ccb4SMadhukar PappireddyCurrently, SMMUv3 driver in Hafnium only supports dependent peripheral devices. 11804ec3ccb4SMadhukar PappireddyThese devices are dependent on PE endpoint to initiate and receive memory 11814ec3ccb4SMadhukar Pappireddymanagement transactions on their behalf. The acccess to the MMIO regions of 11824ec3ccb4SMadhukar Pappireddyany such device is assigned to the endpoint during boot. Moreover, SMMUv3 driver 11834ec3ccb4SMadhukar Pappireddyuses the same stage 2 translations for the device as those used by partition 11844ec3ccb4SMadhukar Pappireddymanager on behalf of the PE endpoint. This ensures that the peripheral device 11854ec3ccb4SMadhukar Pappireddyhas the same visibility of the physical address space as the endpoint. The 11864ec3ccb4SMadhukar Pappireddydevice node of the corresponding partition manifest (refer to `[1]`_ section 3.2 11874ec3ccb4SMadhukar Pappireddy) must specify these additional properties for each peripheral device in the 11884ec3ccb4SMadhukar Pappireddysystem : 11894ec3ccb4SMadhukar Pappireddy 11904ec3ccb4SMadhukar Pappireddy- smmu-id: This field helps to identify the SMMU instance that this device is 11914ec3ccb4SMadhukar Pappireddy upstream of. 11924ec3ccb4SMadhukar Pappireddy- stream-ids: List of stream IDs assigned to this device. 11934ec3ccb4SMadhukar Pappireddy 11944ec3ccb4SMadhukar Pappireddy.. code:: shell 11954ec3ccb4SMadhukar Pappireddy 11964ec3ccb4SMadhukar Pappireddy smmuv3-testengine { 11974ec3ccb4SMadhukar Pappireddy base-address = <0x00000000 0x2bfe0000>; 11984ec3ccb4SMadhukar Pappireddy pages-count = <32>; 11994ec3ccb4SMadhukar Pappireddy attributes = <0x3>; 12004ec3ccb4SMadhukar Pappireddy smmu-id = <0>; 12014ec3ccb4SMadhukar Pappireddy stream-ids = <0x0 0x1>; 12024ec3ccb4SMadhukar Pappireddy interrupts = <0x2 0x3>, <0x4 0x5>; 12034ec3ccb4SMadhukar Pappireddy exclusive-access; 12044ec3ccb4SMadhukar Pappireddy }; 12054ec3ccb4SMadhukar Pappireddy 12064ec3ccb4SMadhukar PappireddySMMUv3 driver limitations 12074ec3ccb4SMadhukar Pappireddy------------------------- 12084ec3ccb4SMadhukar Pappireddy 12094ec3ccb4SMadhukar PappireddyThe primary design goal for the Hafnium SMMU driver is to support secure 12104ec3ccb4SMadhukar Pappireddystreams. 12114ec3ccb4SMadhukar Pappireddy 12124ec3ccb4SMadhukar Pappireddy- Currently, the driver only supports Stage2 translations. No support for 12134ec3ccb4SMadhukar Pappireddy Stage1 or nested translations. 12144ec3ccb4SMadhukar Pappireddy- Supports only AArch64 translation format. 12154ec3ccb4SMadhukar Pappireddy- No support for features such as PCI Express (PASIDs, ATS, PRI), MSI, RAS, 12164ec3ccb4SMadhukar Pappireddy Fault handling, Performance Monitor Extensions, Event Handling, MPAM. 12174ec3ccb4SMadhukar Pappireddy- No support for independent peripheral devices. 12184ec3ccb4SMadhukar Pappireddy 1219aeea04d4SRaghu KrishnamurthyS-EL0 Partition support 1220aeea04d4SRaghu Krishnamurthy========================= 1221aeea04d4SRaghu KrishnamurthyThe SPMC (Hafnium) has limited capability to run S-EL0 FF-A partitions using 1222aeea04d4SRaghu KrishnamurthyFEAT_VHE (mandatory with ARMv8.1 in non-secure state, and in secure world 1223aeea04d4SRaghu Krishnamurthywith ARMv8.4 and FEAT_SEL2). 1224aeea04d4SRaghu Krishnamurthy 1225aeea04d4SRaghu KrishnamurthyS-EL0 partitions are useful for simple partitions that don't require full 1226aeea04d4SRaghu KrishnamurthyTrusted OS functionality. It is also useful to reduce jitter and cycle 1227aeea04d4SRaghu Krishnamurthystealing from normal world since they are more lightweight than VMs. 1228aeea04d4SRaghu Krishnamurthy 1229aeea04d4SRaghu KrishnamurthyS-EL0 partitions are presented, loaded and initialized the same as S-EL1 VMs by 1230aeea04d4SRaghu Krishnamurthythe SPMC. They are differentiated primarily by the 'exception-level' property 1231aeea04d4SRaghu Krishnamurthyand the 'execution-ctx-count' property in the SP manifest. They are host apps 1232aeea04d4SRaghu Krishnamurthyunder the single EL2&0 Stage-1 translation regime controlled by the SPMC and 1233aeea04d4SRaghu Krishnamurthycall into the SPMC through SVCs as opposed to HVCs and SMCs. These partitions 1234aeea04d4SRaghu Krishnamurthycan use FF-A defined services (FFA_MEM_PERM_*) to update or change permissions 1235aeea04d4SRaghu Krishnamurthyfor memory regions. 1236aeea04d4SRaghu Krishnamurthy 1237aeea04d4SRaghu KrishnamurthyS-EL0 partitions are required by the FF-A specification to be UP endpoints, 1238aeea04d4SRaghu Krishnamurthycapable of migrating, and the SPMC enforces this requirement. The SPMC allows 1239aeea04d4SRaghu Krishnamurthya S-EL0 partition to accept a direct message from secure world and normal world, 1240aeea04d4SRaghu Krishnamurthyand generate direct responses to them. 1241aeea04d4SRaghu Krishnamurthy 1242aeea04d4SRaghu KrishnamurthyMemory sharing between and with S-EL0 partitions is supported. 1243aeea04d4SRaghu KrishnamurthyIndirect messaging, Interrupt handling and Notifications are not supported with 1244aeea04d4SRaghu KrishnamurthyS-EL0 partitions and is work in progress, planned for future releases. 1245aeea04d4SRaghu KrishnamurthyAll S-EL0 partitions must use AArch64. AArch32 S-EL0 partitions are not 1246aeea04d4SRaghu Krishnamurthysupported. 1247aeea04d4SRaghu Krishnamurthy 1248aeea04d4SRaghu Krishnamurthy 1249fcb1398fSOlivier DeprezReferences 1250fcb1398fSOlivier Deprez========== 1251fcb1398fSOlivier Deprez 1252fcb1398fSOlivier Deprez.. _[1]: 1253fcb1398fSOlivier Deprez 12548a5bd3cfSOlivier Deprez[1] `Arm Firmware Framework for Arm A-profile <https://developer.arm.com/docs/den0077/latest>`__ 1255fcb1398fSOlivier Deprez 1256fcb1398fSOlivier Deprez.. _[2]: 1257fcb1398fSOlivier Deprez 12586844c347SMadhukar Pappireddy[2] :ref:`Secure Partition Manager using MM interface<Secure Partition Manager (MM)>` 1259fcb1398fSOlivier Deprez 1260fcb1398fSOlivier Deprez.. _[3]: 1261fcb1398fSOlivier Deprez 1262fcb1398fSOlivier Deprez[3] `Trusted Boot Board Requirements 1263b5dd2422SOlivier DeprezClient <https://developer.arm.com/documentation/den0006/d/>`__ 1264fcb1398fSOlivier Deprez 1265fcb1398fSOlivier Deprez.. _[4]: 1266fcb1398fSOlivier Deprez 1267fcb1398fSOlivier Deprez[4] https://git.trustedfirmware.org/TF-A/trusted-firmware-a.git/tree/lib/el3_runtime/aarch64/context.S#n45 1268fcb1398fSOlivier Deprez 1269fcb1398fSOlivier Deprez.. _[5]: 1270fcb1398fSOlivier Deprez 1271b5dd2422SOlivier Deprez[5] https://git.trustedfirmware.org/TF-A/tf-a-tests.git/tree/spm/cactus/plat/arm/fvp/fdts/cactus.dts 1272fcb1398fSOlivier Deprez 1273fcb1398fSOlivier Deprez.. _[6]: 1274fcb1398fSOlivier Deprez 12751b17f4f1SOlivier Deprez[6] https://trustedfirmware-a.readthedocs.io/en/latest/components/ffa-manifest-binding.html 1276fcb1398fSOlivier Deprez 1277fcb1398fSOlivier Deprez.. _[7]: 1278fcb1398fSOlivier Deprez 1279fcb1398fSOlivier Deprez[7] https://git.trustedfirmware.org/TF-A/trusted-firmware-a.git/tree/plat/arm/board/fvp/fdts/fvp_spmc_manifest.dts 1280fcb1398fSOlivier Deprez 1281fcb1398fSOlivier Deprez.. _[8]: 1282fcb1398fSOlivier Deprez 1283*f4a55e6bSSandrine Bailleux[8] https://lists.trustedfirmware.org/archives/list/tf-a@lists.trustedfirmware.org/thread/CFQFGU6H2D5GZYMUYGTGUSXIU3OYZP6U/ 1284fcb1398fSOlivier Deprez 1285f2dcf418SOlivier Deprez.. _[9]: 1286f2dcf418SOlivier Deprez 1287f2dcf418SOlivier Deprez[9] https://trustedfirmware-a.readthedocs.io/en/latest/design/firmware-design.html#dynamic-configuration-during-cold-boot 1288f2dcf418SOlivier Deprez 1289fcb1398fSOlivier Deprez-------------- 1290fcb1398fSOlivier Deprez 12915ac60ea1SImre Kis*Copyright (c) 2020-2022, Arm Limited and Contributors. All rights reserved.* 1292