1Secure Partition Manager
2************************
3
4.. contents::
5
6Acronyms
7========
8
9+--------+--------------------------------------+
10| CoT    | Chain of Trust                       |
11+--------+--------------------------------------+
12| DMA    | Direct Memory Access                 |
13+--------+--------------------------------------+
14| DTB    | Device Tree Blob                     |
15+--------+--------------------------------------+
16| DTS    | Device Tree Source                   |
17+--------+--------------------------------------+
18| EC     | Execution Context                    |
19+--------+--------------------------------------+
20| FIP    | Firmware Image Package               |
21+--------+--------------------------------------+
22| FF-A   | Firmware Framework for Arm A-profile |
23+--------+--------------------------------------+
24| IPA    | Intermediate Physical Address        |
25+--------+--------------------------------------+
26| NWd    | Normal World                         |
27+--------+--------------------------------------+
28| ODM    | Original Design Manufacturer         |
29+--------+--------------------------------------+
30| OEM    | Original Equipment Manufacturer      |
31+--------+--------------------------------------+
32| PA     | Physical Address                     |
33+--------+--------------------------------------+
34| PE     | Processing Element                   |
35+--------+--------------------------------------+
36| PM     | Power Management                     |
37+--------+--------------------------------------+
38| PVM    | Primary VM                           |
39+--------+--------------------------------------+
40| SMMU   | System Memory Management Unit        |
41+--------+--------------------------------------+
42| SP     | Secure Partition                     |
43+--------+--------------------------------------+
44| SPD    | Secure Payload Dispatcher            |
45+--------+--------------------------------------+
46| SPM    | Secure Partition Manager             |
47+--------+--------------------------------------+
48| SPMC   | SPM Core                             |
49+--------+--------------------------------------+
50| SPMD   | SPM Dispatcher                       |
51+--------+--------------------------------------+
52| SiP    | Silicon Provider                     |
53+--------+--------------------------------------+
54| SWd    | Secure World                         |
55+--------+--------------------------------------+
56| TLV    | Tag-Length-Value                     |
57+--------+--------------------------------------+
58| TOS    | Trusted Operating System             |
59+--------+--------------------------------------+
60| VM     | Virtual Machine                      |
61+--------+--------------------------------------+
62
63Foreword
64========
65
66Two implementations of a Secure Partition Manager co-exist in the TF-A codebase:
67
68- SPM based on the FF-A specification `[1]`_.
69- SPM based on the MM interface to communicate with an S-EL0 partition `[2]`_.
70
71Both implementations differ in their architectures and only one can be selected
72at build time.
73
74This document:
75
76- describes the FF-A implementation where the Secure Partition Manager
77  resides at EL3 and S-EL2 (or EL3 and S-EL1).
78- is not an architecture specification and it might provide assumptions
79  on sections mandated as implementation-defined in the specification.
80- covers the implications to TF-A used as a bootloader, and Hafnium
81  used as a reference code base for an S-EL2 secure firmware on
82  platforms implementing the FEAT_SEL2 (formerly Armv8.4 Secure EL2)
83  architecture extension.
84
85Terminology
86-----------
87
88- The term Hypervisor refers to the NS-EL2 component managing Virtual Machines
89  (or partitions) in the normal world.
90- The term SPMC refers to the S-EL2 component managing secure partitions in
91  the secure world when the FEAT_SEL2 architecture extension is implemented.
92- Alternatively, SPMC can refer to an S-EL1 component, itself being a secure
93  partition and implementing the FF-A ABI on platforms not implementing the
94  FEAT_SEL2 architecture extension.
95- The term VM refers to a normal world Virtual Machine managed by an Hypervisor.
96- The term SP refers to a secure world "Virtual Machine" managed by an SPMC.
97
98Support for legacy platforms
99----------------------------
100
101In the implementation, the SPM is split into SPMD and SPMC components.
102The SPMD is located at EL3 and mainly relays FF-A messages from
103NWd (Hypervisor or OS kernel) to SPMC located either at S-EL1 or S-EL2.
104
105Hence TF-A supports both cases where the SPMC is located either at:
106
107- S-EL1 supporting platforms not implementing the FEAT_SEL2 architecture
108  extension. The SPMD relays the FF-A protocol from EL3 to S-EL1.
109- or S-EL2 supporting platforms implementing the FEAT_SEL2 architecture
110  extension. The SPMD relays the FF-A protocol from EL3 to S-EL2.
111
112The same TF-A SPMD component is used to support both configurations.
113The SPMC exception level is a build time choice.
114
115Sample reference stack
116======================
117
118The following diagram illustrates a possible configuration when the
119FEAT_SEL2 architecture extension is implemented, showing the SPMD
120and SPMC, one or multiple secure partitions, with an optional
121Hypervisor:
122
123.. image:: ../resources/diagrams/ff-a-spm-sel2.png
124
125TF-A build options
126==================
127
128This section explains the TF-A build options involved in building with
129support for an FF-A based SPM where the SPMD is located at EL3 and the
130SPMC located at S-EL1 or S-EL2:
131
132- **SPD=spmd**: this option selects the SPMD component to relay the FF-A
133  protocol from NWd to SWd back and forth. It is not possible to
134  enable another Secure Payload Dispatcher when this option is chosen.
135- **SPMD_SPM_AT_SEL2**: this option adjusts the SPMC exception
136  level to being S-EL1 or S-EL2. It defaults to enabled (value 1) when
137  SPD=spmd is chosen.
138- **CTX_INCLUDE_EL2_REGS**: this option permits saving (resp.
139  restoring) the EL2 system register context before entering (resp.
140  after leaving) the SPMC. It is mandatorily enabled when
141  ``SPMD_SPM_AT_SEL2`` is enabled. The context save/restore routine
142  and exhaustive list of registers is visible at `[4]`_.
143- **SP_LAYOUT_FILE**: this option specifies a text description file
144  providing paths to SP binary images and manifests in DTS format
145  (see `Describing secure partitions`_). It
146  is required when ``SPMD_SPM_AT_SEL2`` is enabled hence when multiple
147  secure partitions are to be loaded on behalf of the SPMC.
148
149+---------------+----------------------+------------------+
150|               | CTX_INCLUDE_EL2_REGS | SPMD_SPM_AT_SEL2 |
151+---------------+----------------------+------------------+
152| SPMC at S-EL1 |         0            |        0         |
153+---------------+----------------------+------------------+
154| SPMC at S-EL2 |         1            | 1 (default when  |
155|               |                      |    SPD=spmd)     |
156+---------------+----------------------+------------------+
157
158Other combinations of such build options either break the build or are not
159supported.
160
161Notes:
162
163- Only Arm's FVP platform is supported to use with the TF-A reference software
164  stack.
165- The reference software stack uses FEAT_PAuth (formerly Armv8.3-PAuth) and
166  FEAT_BTI (formerly Armv8.5-BTI) architecture extensions by default at EL3
167  and S-EL2.
168- The ``CTX_INCLUDE_EL2_REGS`` option provides the generic support for
169  barely saving/restoring EL2 registers from an Arm arch perspective. As such
170  it is decoupled from the ``SPD=spmd`` option.
171- BL32 option is re-purposed to specify the SPMC image. It can specify either
172  the Hafnium binary path (built for the secure world) or the path to a TEE
173  binary implementing FF-A interfaces.
174- BL33 option can specify the TFTF binary or a normal world loader
175  such as U-Boot or the UEFI framework.
176
177Sample TF-A build command line when SPMC is located at S-EL1
178(e.g. when the FEAT_EL2 architecture extension is not implemented):
179
180.. code:: shell
181
182    make \
183    CROSS_COMPILE=aarch64-none-elf- \
184    SPD=spmd \
185    SPMD_SPM_AT_SEL2=0 \
186    BL32=<path-to-tee-binary> \
187    BL33=<path-to-bl33-binary> \
188    PLAT=fvp \
189    all fip
190
191Sample TF-A build command line for a FEAT_SEL2 enabled system where the SPMC is
192located at S-EL2:
193
194.. code:: shell
195
196    make \
197    CROSS_COMPILE=aarch64-none-elf- \
198    PLAT=fvp \
199    SPD=spmd \
200    CTX_INCLUDE_EL2_REGS=1 \
201    ARM_ARCH_MINOR=5 \
202    BRANCH_PROTECTION=1 \
203    CTX_INCLUDE_PAUTH_REGS=1 \
204    BL32=<path-to-hafnium-binary> \
205    BL33=<path-to-bl33-binary> \
206    SP_LAYOUT_FILE=sp_layout.json \
207    all fip
208
209Same as above with enabling secure boot in addition:
210
211.. code:: shell
212
213    make \
214    CROSS_COMPILE=aarch64-none-elf- \
215    PLAT=fvp \
216    SPD=spmd \
217    CTX_INCLUDE_EL2_REGS=1 \
218    ARM_ARCH_MINOR=5 \
219    BRANCH_PROTECTION=1 \
220    CTX_INCLUDE_PAUTH_REGS=1 \
221    BL32=<path-to-hafnium-binary> \
222    BL33=<path-to-bl33-binary> \
223    SP_LAYOUT_FILE=sp_layout.json \
224    MBEDTLS_DIR=<path-to-mbedtls-lib> \
225    TRUSTED_BOARD_BOOT=1 \
226    COT=dualroot \
227    ARM_ROTPK_LOCATION=devel_rsa \
228    ROT_KEY=plat/arm/board/common/rotpk/arm_rotprivk_rsa.pem \
229    GENERATE_COT=1 \
230    all fip
231
232FVP model invocation
233====================
234
235The FVP command line needs the following options to exercise the S-EL2 SPMC:
236
237+---------------------------------------------------+------------------------------------+
238| - cluster0.has_arm_v8-5=1                         | Implements FEAT_SEL2, FEAT_PAuth,  |
239| - cluster1.has_arm_v8-5=1                         | and FEAT_BTI.                      |
240+---------------------------------------------------+------------------------------------+
241| - pci.pci_smmuv3.mmu.SMMU_AIDR=2                  | Parameters required for the        |
242| - pci.pci_smmuv3.mmu.SMMU_IDR0=0x0046123B         | SMMUv3.2 modeling.                 |
243| - pci.pci_smmuv3.mmu.SMMU_IDR1=0x00600002         |                                    |
244| - pci.pci_smmuv3.mmu.SMMU_IDR3=0x1714             |                                    |
245| - pci.pci_smmuv3.mmu.SMMU_IDR5=0xFFFF0472         |                                    |
246| - pci.pci_smmuv3.mmu.SMMU_S_IDR1=0xA0000002       |                                    |
247| - pci.pci_smmuv3.mmu.SMMU_S_IDR2=0                |                                    |
248| - pci.pci_smmuv3.mmu.SMMU_S_IDR3=0                |                                    |
249+---------------------------------------------------+------------------------------------+
250| - cluster0.has_branch_target_exception=1          | Implements FEAT_BTI.               |
251| - cluster1.has_branch_target_exception=1          |                                    |
252+---------------------------------------------------+------------------------------------+
253| - cluster0.restriction_on_speculative_execution=2 | Required by the EL2 context        |
254| - cluster1.restriction_on_speculative_execution=2 | save/restore routine.              |
255+---------------------------------------------------+------------------------------------+
256
257Sample FVP command line invocation:
258
259.. code:: shell
260
261    <path-to-fvp-model>/FVP_Base_RevC-2xAEMv8A -C pctl.startup=0.0.0.0
262    -C cluster0.NUM_CORES=4 -C cluster1.NUM_CORES=4 -C bp.secure_memory=1 \
263    -C bp.secureflashloader.fname=trusted-firmware-a/build/fvp/debug/bl1.bin \
264    -C bp.flashloader0.fname=trusted-firmware-a/build/fvp/debug/fip.bin \
265    -C bp.pl011_uart0.out_file=fvp-uart0.log -C bp.pl011_uart1.out_file=fvp-uart1.log \
266    -C bp.pl011_uart2.out_file=fvp-uart2.log \
267    -C cluster0.has_arm_v8-5=1 -C cluster1.has_arm_v8-5=1 -C pci.pci_smmuv3.mmu.SMMU_AIDR=2 \
268    -C pci.pci_smmuv3.mmu.SMMU_IDR0=0x0046123B -C pci.pci_smmuv3.mmu.SMMU_IDR1=0x00600002 \
269    -C pci.pci_smmuv3.mmu.SMMU_IDR3=0x1714 -C pci.pci_smmuv3.mmu.SMMU_IDR5=0xFFFF0472 \
270    -C pci.pci_smmuv3.mmu.SMMU_S_IDR1=0xA0000002 -C pci.pci_smmuv3.mmu.SMMU_S_IDR2=0 \
271    -C pci.pci_smmuv3.mmu.SMMU_S_IDR3=0 \
272    -C cluster0.has_branch_target_exception=1 \
273    -C cluster1.has_branch_target_exception=1 \
274    -C cluster0.restriction_on_speculative_execution=2 \
275    -C cluster1.restriction_on_speculative_execution=2
276
277Boot process
278============
279
280Loading Hafnium and secure partitions in the secure world
281---------------------------------------------------------
282
283TF-A BL2 is the bootlader for the SPMC and SPs in the secure world.
284
285SPs may be signed by different parties (SiP, OEM/ODM, TOS vendor, etc.).
286Thus they are supplied as distinct signed entities within the FIP flash
287image. The FIP image itself is not signed hence this provides the ability
288to upgrade SPs in the field.
289
290Booting through TF-A
291--------------------
292
293SP manifests
294~~~~~~~~~~~~
295
296An SP manifest describes SP attributes as defined in `[1]`_
297(partition manifest at virtual FF-A instance) in DTS format. It is
298represented as a single file associated with the SP. A sample is
299provided by `[5]`_. A binding document is provided by `[6]`_.
300
301Secure Partition packages
302~~~~~~~~~~~~~~~~~~~~~~~~~
303
304Secure partitions are bundled as independent package files consisting
305of:
306
307- a header
308- a DTB
309- an image payload
310
311The header starts with a magic value and offset values to SP DTB and
312image payload. Each SP package is loaded independently by BL2 loader
313and verified for authenticity and integrity.
314
315The SP package identified by its UUID (matching FF-A uuid property) is
316inserted as a single entry into the FIP at end of the TF-A build flow
317as shown:
318
319.. code:: shell
320
321    Trusted Boot Firmware BL2: offset=0x1F0, size=0x8AE1, cmdline="--tb-fw"
322    EL3 Runtime Firmware BL31: offset=0x8CD1, size=0x13000, cmdline="--soc-fw"
323    Secure Payload BL32 (Trusted OS): offset=0x1BCD1, size=0x15270, cmdline="--tos-fw"
324    Non-Trusted Firmware BL33: offset=0x30F41, size=0x92E0, cmdline="--nt-fw"
325    HW_CONFIG: offset=0x3A221, size=0x2348, cmdline="--hw-config"
326    TB_FW_CONFIG: offset=0x3C569, size=0x37A, cmdline="--tb-fw-config"
327    SOC_FW_CONFIG: offset=0x3C8E3, size=0x48, cmdline="--soc-fw-config"
328    TOS_FW_CONFIG: offset=0x3C92B, size=0x427, cmdline="--tos-fw-config"
329    NT_FW_CONFIG: offset=0x3CD52, size=0x48, cmdline="--nt-fw-config"
330    B4B5671E-4A90-4FE1-B81F-FB13DAE1DACB: offset=0x3CD9A, size=0xC168, cmdline="--blob"
331    D1582309-F023-47B9-827C-4464F5578FC8: offset=0x48F02, size=0xC168, cmdline="--blob"
332
333.. uml:: ../resources/diagrams/plantuml/fip-secure-partitions.puml
334
335Describing secure partitions
336~~~~~~~~~~~~~~~~~~~~~~~~~~~~
337
338A json-formatted description file is passed to the build flow specifying paths
339to the SP binary image and associated DTS partition manifest file. The latter
340is processed by the dtc compiler to generate a DTB fed into the SP package.
341This file also specifies the SP owner (as an optional field) identifying the
342signing domain in case of dual root CoT.
343The SP owner can either be the silicon or the platform provider. The
344corresponding "owner" field value can either take the value of "SiP" or "Plat".
345In absence of "owner" field, it defaults to "SiP" owner.
346
347.. code:: shell
348
349    {
350        "tee1" : {
351            "image": "tee1.bin",
352             "pm": "tee1.dts",
353             "owner": "SiP"
354        },
355
356        "tee2" : {
357            "image": "tee2.bin",
358            "pm": "tee2.dts",
359            "owner": "Plat"
360        }
361    }
362
363SPMC manifest
364~~~~~~~~~~~~~
365
366This manifest contains the SPMC *attribute* node consumed by the SPMD at boot
367time. It implements `[1]`_ (SP manifest at physical FF-A instance) and serves
368two different cases:
369
370- The SPMC resides at S-EL1: the SPMC manifest is used by the SPMD to setup a
371  SP that co-resides with the SPMC and executes at S-EL1 or Secure Supervisor
372  mode.
373- The SPMC resides at S-EL2: the SPMC manifest is used by the SPMD to setup
374  the environment required by the SPMC to run at S-EL2. SPs run at S-EL1 or
375  S-EL0.
376
377.. code:: shell
378
379    attribute {
380        spmc_id = <0x8000>;
381        maj_ver = <0x1>;
382        min_ver = <0x0>;
383        exec_state = <0x0>;
384        load_address = <0x0 0x6000000>;
385        entrypoint = <0x0 0x6000000>;
386        binary_size = <0x60000>;
387    };
388
389- *spmc_id* defines the endpoint ID value that SPMC can query through
390  ``FFA_ID_GET``.
391- *maj_ver/min_ver*. SPMD checks provided version versus its internal
392  version and aborts if not matching.
393- *exec_state* defines the SPMC execution state (AArch64 or AArch32).
394  Notice Hafnium used as a SPMC only supports AArch64.
395- *load_address* and *binary_size* are mostly used to verify secondary
396  entry points fit into the loaded binary image.
397- *entrypoint* defines the cold boot primary core entry point used by
398  SPMD (currently matches ``BL32_BASE``) to enter the SPMC.
399
400Other nodes in the manifest are consumed by Hafnium in the secure world.
401A sample can be found at [7]:
402
403- The *hypervisor* node describes SPs. *is_ffa_partition* boolean attribute
404  indicates a FF-A compliant SP. The *load_address* field specifies the load
405  address at which TF-A loaded the SP package.
406- *cpus* node provide the platform topology and allows MPIDR to VMPIDR mapping.
407  Note the primary core is declared first, then secondary core are declared
408  in reverse order.
409- The *memory* node provides platform information on the ranges of memory
410  available to the SPMC.
411
412SPMC boot
413~~~~~~~~~
414
415The SPMC is loaded by BL2 as the BL32 image.
416
417The SPMC manifest is loaded by BL2 as the ``TOS_FW_CONFIG`` image `[9]`_.
418
419BL2 passes the SPMC manifest address to BL31 through a register.
420
421At boot time, the SPMD in BL31 runs from the primary core, initializes the core
422contexts and launches the SPMC (BL32) passing the following information through
423registers:
424
425- X0 holds the ``TOS_FW_CONFIG`` physical address (or SPMC manifest blob).
426- X1 holds the ``HW_CONFIG`` physical address.
427- X4 holds the currently running core linear id.
428
429Loading of SPs
430~~~~~~~~~~~~~~
431
432At boot time, BL2 loads SPs sequentially in addition to the SPMC as depicted
433below:
434
435.. uml:: ../resources/diagrams/plantuml/bl2-loading-sp.puml
436
437Note this boot flow is an implementation sample on Arm's FVP platform.
438Platforms not using TF-A's *Firmware CONFiguration* framework would adjust to a
439different implementation.
440
441Secure boot
442~~~~~~~~~~~
443
444The SP content certificate is inserted as a separate FIP item so that BL2 loads SPMC,
445SPMC manifest, secure partitions and verifies them for authenticity and integrity.
446Refer to TBBR specification `[3]`_.
447
448The multiple-signing domain feature (in current state dual signing domain `[8]`_) allows
449the use of two root keys namely S-ROTPK and NS-ROTPK:
450
451- SPMC (BL32) and SPMC manifest are signed by the SiP using the S-ROTPK.
452- BL33 may be signed by the OEM using NS-ROTPK.
453- An SP may be signed either by SiP (using S-ROTPK) or by OEM (using NS-ROTPK).
454
455Also refer to `Describing secure partitions`_ and `TF-A build options`_ sections.
456
457Hafnium in the secure world
458===========================
459
460General considerations
461----------------------
462
463Build platform for the secure world
464~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
465
466In the Hafnium reference implementation specific code parts are only relevant to
467the secure world. Such portions are isolated in architecture specific files
468and/or enclosed by a ``SECURE_WORLD`` macro.
469
470Secure partitions CPU scheduling
471~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
472
473The FF-A v1.0 specification `[1]`_ provides two ways to relinquinsh CPU time to
474secure partitions. For this a VM (Hypervisor or OS kernel), or SP invokes one of:
475
476- the FFA_MSG_SEND_DIRECT_REQ interface.
477- the FFA_RUN interface.
478
479Platform topology
480~~~~~~~~~~~~~~~~~
481
482The *execution-ctx-count* SP manifest field can take the value of one or the
483total number of PEs. The FF-A v1.0 specification `[1]`_  recommends the
484following SP types:
485
486- Pinned MP SPs: an execution context matches a physical PE. MP SPs must
487  implement the same number of ECs as the number of PEs in the platform.
488- Migratable UP SPs: a single execution context can run and be migrated on any
489  physical PE. Such SP declares a single EC in its SP manifest. An UP SP can
490  receive a direct message request originating from any physical core targeting
491  the single execution context.
492
493Parsing SP partition manifests
494------------------------------
495
496Hafnium consumes SP manifests as defined in `[1]`_ and `SP manifests`_.
497Note the current implementation may not implement all optional fields.
498
499The SP manifest may contain memory and device regions nodes. In case of
500an S-EL2 SPMC:
501
502- Memory regions are mapped in the SP EL1&0 Stage-2 translation regime at
503  load time (or EL1&0 Stage-1 for an S-EL1 SPMC). A memory region node can
504  specify RX/TX buffer regions in which case it is not necessary for an SP
505  to explicitly invoke the ``FFA_RXTX_MAP`` interface.
506- Device regions are mapped in the SP EL1&0 Stage-2 translation regime (or
507  EL1&0 Stage-1 for an S-EL1 SPMC) as peripherals and possibly allocate
508  additional resources (e.g. interrupts).
509
510For the S-EL2 SPMC, base addresses for memory and device region nodes are IPAs
511provided the SPMC identity maps IPAs to PAs within SP EL1&0 Stage-2 translation
512regime.
513
514Note: in the current implementation both VTTBR_EL2 and VSTTBR_EL2 point to the
515same set of page tables. It is still open whether two sets of page tables shall
516be provided per SP. The memory region node as defined in the specification
517provides a memory security attribute hinting to map either to the secure or
518non-secure EL1&0 Stage-2 table if it exists.
519
520Passing boot data to the SP
521---------------------------
522
523In `[1]`_ , the "Protocol for passing data" section defines a method for passing
524boot data to SPs (not currently implemented).
525
526Provided that the whole secure partition package image (see
527`Secure Partition packages`_) is mapped to the SP secure EL1&0 Stage-2
528translation regime, an SP can access its own manifest DTB blob and extract its
529partition manifest properties.
530
531SP Boot order
532-------------
533
534SP manifests provide an optional boot order attribute meant to resolve
535dependencies such as an SP providing a service required to properly boot
536another SP.
537
538It is possible for an SP to call into another SP through a direct request
539provided the latter SP has already been booted.
540
541Boot phases
542-----------
543
544Primary core boot-up
545~~~~~~~~~~~~~~~~~~~~
546
547Upon boot-up, BL31 hands over to the SPMC (BL32) on the primary boot physical
548core. The SPMC performs its platform initializations and registers the SPMC
549secondary physical core entry point physical address by the use of the
550`FFA_SECONDARY_EP_REGISTER`_ interface (SMC invocation from the SPMC to the SPMD
551at secure physical FF-A instance).
552
553The SPMC then creates secure partitions based on SP packages and manifests. Each
554secure partition is launched in sequence (`SP Boot order`_) on their "primary"
555execution context. If the primary boot physical core linear id is N, an MP SP is
556started using EC[N] on PE[N] (see `Platform topology`_). If the partition is a
557UP SP, it is started using its unique EC0 on PE[N].
558
559The SP primary EC (or the EC used when the partition is booted as described
560above):
561
562- Performs the overall SP boot time initialization, and in case of a MP SP,
563  prepares the SP environment for other execution contexts.
564- In the case of a MP SP, it invokes the FFA_SECONDARY_EP_REGISTER at secure
565  virtual FF-A instance (SMC invocation from SP to SPMC) to provide the IPA
566  entry point for other execution contexts.
567- Exits through ``FFA_MSG_WAIT`` to indicate successful initialization or
568  ``FFA_ERROR`` in case of failure.
569
570Secondary cores boot-up
571~~~~~~~~~~~~~~~~~~~~~~~
572
573Once the system is started and NWd brought up, a secondary physical core is
574woken up by the ``PSCI_CPU_ON`` service invocation. The TF-A SPD hook mechanism
575calls into the SPMD on the newly woken up physical core. Then the SPMC is
576entered at the secondary physical core entry point.
577
578In the current implementation, the first SP is resumed on the coresponding EC
579(the virtual CPU which matches the physical core). The implication is that the
580first SP must be a MP SP.
581
582In a linux based system, once secure and normal worlds are booted but prior to
583a NWd FF-A driver has been loaded:
584
585- The first SP has initialized all its ECs in response to primary core boot up
586  (at system initialization) and secondary core boot up (as a result of linux
587  invoking PSCI_CPU_ON for all secondary cores).
588- Other SPs have their first execution context initialized as a result of secure
589  world initialization on the primary boot core. Other ECs for those SPs have to
590  be run first through ffa_run to complete their initialization (which results
591  in the EC completing with FFA_MSG_WAIT).
592
593Refer to `Power management`_ for further details.
594
595Notifications
596-------------
597
598The FF-A v1.1 specification `[1]`_ defines notifications as an asynchronous
599communication mechanism with non-blocking semantics. It allows for one FF-A
600endpoint to signal another for service provision, without hindering its current
601progress.
602
603Hafnium currently supports 64 notifications. The IDs of each notification define
604a position in a 64-bit bitmap.
605
606The signaling of notifications can interchangeably happen between NWd and SWd
607FF-A endpoints.
608
609The SPMC is in charge of managing notifications from SPs to SPs, from SPs to
610VMs, and from VMs to SPs. An hypervisor component would only manage
611notifications from VMs to VMs. Given the SPMC has no visibility of the endpoints
612deployed in NWd, the Hypervisor or OS kernel must invoke the interface
613FFA_NOTIFICATION_BITMAP_CREATE to allocate the notifications bitmap per FF-A
614endpoint in the NWd that supports it.
615
616A sender can signal notifications once the receiver has provided it with
617permissions. Permissions are provided by invoking the interface
618FFA_NOTIFICATION_BIND.
619
620Notifications are signaled by invoking FFA_NOTIFICATION_SET. Henceforth
621they are considered to be in a pending sate. The receiver can retrieve its
622pending notifications invoking FFA_NOTIFICATION_GET, which, from that moment,
623are considered to be handled.
624
625Per the FF-A v1.1 spec, each FF-A endpoint must be associated with a scheduler
626that is in charge of donating CPU cycles for notifications handling. The
627FF-A driver calls FFA_NOTIFICATION_INFO_GET to retrieve the information about
628which FF-A endpoints have pending notifications. The receiver scheduler is
629called and informed by the FF-A driver, and it should allocate CPU cycles to the
630receiver.
631
632There are two types of notifications supported:
633- Global, which are targeted to a FF-A endpoint and can be handled within any of
634its execution contexts, as determined by the scheduler of the system.
635- Per-vCPU, which are targeted to a FF-A endpoint and to be handled within a
636a specific execution context, as determined by the sender.
637
638The type of a notification is set when invoking FFA_NOTIFICATION_BIND to give
639permissions to the sender.
640
641Notification signaling resorts to two interrupts:
642- Schedule Receiver Interrupt: Non-secure physical interrupt to be handled by
643the FF-A 'transport' driver within the receiver scheduler. At initialization
644the SPMC (as suggested by the spec) configures a secure SGI, as non-secure, and
645triggers it when there are pending notifications, and the respective receivers
646need CPU cycles to handle them.
647- Notifications Pending Interrupt: Virtual Interrupt to be handled by the
648receiver of the notification. Set when there are pending notifications. For
649per-vCPU the NPI is pended at the handling of FFA_NOTIFICATION_SET interface.
650
651The notifications receipt support is enabled in the partition FF-A manifest.
652
653The subsequent section provides more details about the each one of the
654FF-A interfaces for notifications support.
655
656Mandatory interfaces
657--------------------
658
659The following interfaces are exposed to SPs:
660
661-  ``FFA_VERSION``
662-  ``FFA_FEATURES``
663-  ``FFA_RX_RELEASE``
664-  ``FFA_RXTX_MAP``
665-  ``FFA_RXTX_UNMAP``
666-  ``FFA_PARTITION_INFO_GET``
667-  ``FFA_ID_GET``
668-  ``FFA_MSG_WAIT``
669-  ``FFA_MSG_SEND_DIRECT_REQ``
670-  ``FFA_MSG_SEND_DIRECT_RESP``
671-  ``FFA_MEM_DONATE``
672-  ``FFA_MEM_LEND``
673-  ``FFA_MEM_SHARE``
674-  ``FFA_MEM_RETRIEVE_REQ``
675-  ``FFA_MEM_RETRIEVE_RESP``
676-  ``FFA_MEM_RELINQUISH``
677-  ``FFA_MEM_RECLAIM``
678
679As part of the support of FF-A v1.1, the following interfaces were added:
680
681 - ``FFA_NOTIFICATION_BITMAP_CREATE``
682 - ``FFA_NOTIFICATION_BITMAP_DESTROY``
683 - ``FFA_NOTIFICATION_BIND``
684 - ``FFA_NOTIFICATION_UNBIND``
685 - ``FFA_NOTIFICATION_SET``
686 - ``FFA_NOTIFICATION_GET``
687 - ``FFA_NOTIFICATION_INFO_GET``
688 - ``FFA_SPM_ID_GET``
689 - ``FFA_SECONDARY_EP_REGISTER``
690
691FFA_VERSION
692~~~~~~~~~~~
693
694``FFA_VERSION`` requires a *requested_version* parameter from the caller.
695The returned value depends on the caller:
696
697- Hypervisor or OS kernel in NS-EL1/EL2: the SPMD returns the SPMC version
698  specified in the SPMC manifest.
699- SP: the SPMC returns its own implemented version.
700- SPMC at S-EL1/S-EL2: the SPMD returns its own implemented version.
701
702FFA_FEATURES
703~~~~~~~~~~~~
704
705FF-A features supported by the SPMC may be discovered by secure partitions at
706boot (that is prior to NWd is booted) or run-time.
707
708The SPMC calling FFA_FEATURES at secure physical FF-A instance always get
709FFA_SUCCESS from the SPMD.
710
711The request made by an Hypervisor or OS kernel is forwarded to the SPMC and
712the response relayed back to the NWd.
713
714FFA_RXTX_MAP/FFA_RXTX_UNMAP
715~~~~~~~~~~~~~~~~~~~~~~~~~~~
716
717When invoked from a secure partition FFA_RXTX_MAP maps the provided send and
718receive buffers described by their IPAs to the SP EL1&0 Stage-2 translation
719regime as secure buffers in the MMU descriptors.
720
721When invoked from the Hypervisor or OS kernel, the buffers are mapped into the
722SPMC EL2 Stage-1 translation regime and marked as NS buffers in the MMU
723descriptors.
724
725The FFA_RXTX_UNMAP unmaps the RX/TX pair from the translation regime of the
726caller, either it being the Hypervisor or OS kernel, as well as a secure
727partition.
728
729FFA_PARTITION_INFO_GET
730~~~~~~~~~~~~~~~~~~~~~~
731
732Partition info get call can originate:
733
734- from SP to SPMC
735- from Hypervisor or OS kernel to SPMC. The request is relayed by the SPMD.
736
737FFA_ID_GET
738~~~~~~~~~~
739
740The FF-A id space is split into a non-secure space and secure space:
741
742- FF-A ID with bit 15 clear relates to VMs.
743- FF-A ID with bit 15 set related to SPs.
744- FF-A IDs 0, 0xffff, 0x8000 are assigned respectively to the Hypervisor, SPMD
745  and SPMC.
746
747The SPMD returns:
748
749- The default zero value on invocation from the Hypervisor.
750- The ``spmc_id`` value specified in the SPMC manifest on invocation from
751  the SPMC (see `SPMC manifest`_)
752
753This convention helps the SPMC to determine the origin and destination worlds in
754an FF-A ABI invocation. In particular the SPMC shall filter unauthorized
755transactions in its world switch routine. It must not be permitted for a VM to
756use a secure FF-A ID as origin world by spoofing:
757
758- A VM-to-SP direct request/response shall set the origin world to be non-secure
759  (FF-A ID bit 15 clear) and destination world to be secure (FF-A ID bit 15
760  set).
761- Similarly, an SP-to-SP direct request/response shall set the FF-A ID bit 15
762  for both origin and destination IDs.
763
764An incoming direct message request arriving at SPMD from NWd is forwarded to
765SPMC without a specific check. The SPMC is resumed through eret and "knows" the
766message is coming from normal world in this specific code path. Thus the origin
767endpoint ID must be checked by SPMC for being a normal world ID.
768
769An SP sending a direct message request must have bit 15 set in its origin
770endpoint ID and this can be checked by the SPMC when the SP invokes the ABI.
771
772The SPMC shall reject the direct message if the claimed world in origin endpoint
773ID is not consistent:
774
775-  It is either forwarded by SPMD and thus origin endpoint ID must be a "normal
776   world ID",
777-  or initiated by an SP and thus origin endpoint ID must be a "secure world ID".
778
779
780FFA_MSG_SEND_DIRECT_REQ/FFA_MSG_SEND_DIRECT_RESP
781~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
782
783This is a mandatory interface for secure partitions consisting in direct request
784and responses with the following rules:
785
786- An SP can send a direct request to another SP.
787- An SP can receive a direct request from another SP.
788- An SP can send a direct response to another SP.
789- An SP cannot send a direct request to an Hypervisor or OS kernel.
790- An Hypervisor or OS kernel can send a direct request to an SP.
791- An SP can send a direct response to an Hypervisor or OS kernel.
792
793FFA_NOTIFICATION_BITMAP_CREATE/FFA_NOTIFICATION_BITMAP_DESTROY
794~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
795
796The secure partitions notifications bitmap are statically allocated by the SPMC.
797Hence, this interface is not to be issued by secure partitions.
798
799At initialization, the SPMC is not aware of VMs/partitions deployed in the
800normal world. Hence, the Hypervisor or OS kernel must use both ABIs for SPMC
801to be prepared to handle notifications for the provided VM ID.
802
803FFA_NOTIFICATION_BIND/FFA_NOTIFICATION_UNBIND
804~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
805
806Pair of interfaces to manage permissions to signal notifications. Prior to
807handling notifications, an FF-A endpoint must allow a given sender to signal a
808bitmap of notifications.
809
810If the receiver doesn't have notification support enabled in its FF-A manifest,
811it won't be able to bind notifications, hence forbidding it to receive any
812notifications.
813
814FFA_NOTIFICATION_SET/FFA_NOTIFICATION_GET
815~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
816
817If the notifications set are per-vCPU, the NPI interrupt is set as pending
818for a given receiver partition.
819
820The FFA_NOTIFICATION_GET will retrieve all pending global notifications and all
821pending per-vCPU notifications targeted to the current vCPU.
822
823Hafnium keeps the global counting of the pending notifications, which is
824incremented and decremented at the handling of FFA_NOTIFICATION_SET and
825FFA_NOTIFICATION_GET, respectively. If the counter reaches zero, prior to SPMC
826triggering the SRI, it won't be triggered.
827
828FFA_NOTIFICATION_INFO_GET
829~~~~~~~~~~~~~~~~~~~~~~~~~
830
831Hafnium keeps the global counting of pending notifications whose info has been
832retrieved by this interface. The counting is incremented and decremented at the
833handling of FFA_NOTIFICATION_INFO_GET and FFA_NOTIFICATION_GET, respectively.
834It also tracks the notifications whose info has been retrieved individually,
835such that it avoids duplicating returned information for subsequent calls to
836FFA_NOTIFICATION_INFO_GET. For each notification, this state information is
837reset when receiver called FFA_NOTIFICATION_GET to retrieve them.
838
839FFA_SPM_ID_GET
840~~~~~~~~~~~~~~
841
842Returns the FF-A ID allocated to the SPM component (which includes SPMC + SPMD).
843At initialization, the SPMC queries the SPMD for the SPM ID, using this
844same interface, and saves it.
845
846The call emitted at NS and secure physical FF-A instances returns the SPM ID
847specified in the SPMC manifest.
848
849Secure partitions call this interface at the virtual instance, to which the SPMC
850shall return the priorly retrieved SPM ID.
851
852The Hypervisor or OS kernel can issue an FFA_SPM_ID_GET call handled by the
853SPMD, which returns the SPM ID.
854
855FFA_SECONDARY_EP_REGISTER
856~~~~~~~~~~~~~~~~~~~~~~~~~
857
858When the SPMC boots, all secure partitions are initialized on their primary
859Execution Context.
860
861The interface FFA_SECONDARY_EP_REGISTER is to be used by a secure partitions
862from its first execution context, to provide the entry point address for
863secondary execution contexts.
864
865A secondary EC is first resumed either upon invocation of PSCI_CPU_ON from
866the NWd or by invocation of FFA_RUN.
867
868SPMC-SPMD direct requests/responses
869-----------------------------------
870
871Implementation-defined FF-A IDs are allocated to the SPMC and SPMD.
872Using those IDs in source/destination fields of a direct request/response
873permits SPMD to SPMC communication and either way.
874
875- SPMC to SPMD direct request/response uses SMC conduit.
876- SPMD to SPMC direct request/response uses ERET conduit.
877
878PE MMU configuration
879--------------------
880
881With secure virtualization enabled, two IPA spaces are output from the secure
882EL1&0 Stage-1 translation (secure and non-secure). The EL1&0 Stage-2 translation
883hardware is fed by:
884
885- A single secure IPA space when the SP EL1&0 Stage-1 MMU is disabled.
886- Two IPA spaces (secure and non-secure) when the SP EL1&0 Stage-1 MMU is
887  enabled.
888
889``VTCR_EL2`` and ``VSTCR_EL2`` provide configuration bits for controlling the
890NS/S IPA translations.
891``VSTCR_EL2.SW`` = 0, ``VSTCR_EL2.SA`` = 0,``VTCR_EL2.NSW`` = 0, ``VTCR_EL2.NSA`` = 1:
892
893- Stage-2 translations for the NS IPA space access the NS PA space.
894- Stage-2 translation table walks for the NS IPA space are to the secure PA space.
895
896Secure and non-secure IPA regions use the same set of Stage-2 page tables within
897a SP.
898
899Interrupt management
900--------------------
901
902GIC ownership
903~~~~~~~~~~~~~
904
905The SPMC owns the GIC configuration. Secure and non-secure interrupts are
906trapped at S-EL2. The SPMC manages interrupt resources and allocates interrupt
907IDs based on SP manifests. The SPMC acknowledges physical interrupts and injects
908virtual interrupts by setting the use of vIRQ/vFIQ bits before resuming a SP.
909
910Non-secure interrupt handling
911~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
912
913The following illustrate the scenarios of non secure physical interrupts trapped
914by the SPMC:
915
916- The SP handles a managed exit operation:
917
918.. image:: ../resources/diagrams/ffa-ns-interrupt-handling-managed-exit.png
919
920- The SP is pre-empted without managed exit:
921
922.. image:: ../resources/diagrams/ffa-ns-interrupt-handling-sp-preemption.png
923
924Secure interrupt handling
925-------------------------
926
927This section documents the support implemented for secure interrupt handling in
928SPMC as per the guidance provided by FF-A v1.1 Beta0 specification.
929The following assumptions are made about the system configuration:
930
931  - In the current implementation, S-EL1 SPs are expected to use the para
932    virtualized ABIs for interrupt management rather than accessing virtual GIC
933    interface.
934  - Unless explicitly stated otherwise, this support is applicable only for
935    S-EL1 SPs managed by SPMC.
936  - Secure interrupts are configured as G1S or G0 interrupts.
937  - All physical interrupts are routed to SPMC when running a secure partition
938    execution context.
939
940A physical secure interrupt could preempt normal world execution. Moreover, when
941the execution is in secure world, it is highly likely that the target of a
942secure interrupt is not the currently running execution context of an SP. It
943could be targeted to another FF-A component. Consequently, secure interrupt
944management depends on the state of the target execution context of the SP that
945is responsible for handling the interrupt. Hence, the spec provides guidance on
946how to signal start and completion of secure interrupt handling as discussed in
947further sections.
948
949Secure interrupt signaling mechanisms
950~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
951
952Signaling refers to the mechanisms used by SPMC to indicate to the SP execution
953context that it has a pending virtual interrupt and to further run the SP
954execution context, such that it can handle the virtual interrupt. SPMC uses
955either the FFA_INTERRUPT interface with ERET conduit or vIRQ signal for signaling
956to S-EL1 SPs. When normal world execution is preempted by a secure interrupt,
957the SPMD uses the FFA_INTERRUPT ABI with ERET conduit to signal interrupt to SPMC
958running in S-EL2.
959
960+-----------+---------+---------------+---------------------------------------+
961| SP State  | Conduit | Interface and | Description                           |
962|           |         | parameters    |                                       |
963+-----------+---------+---------------+---------------------------------------+
964| WAITING   | ERET,   | FFA_INTERRUPT,| SPMC signals to SP the ID of pending  |
965|           | vIRQ    | Interrupt ID  | interrupt. It pends vIRQ signal and   |
966|           |         |               | resumes execution context of SP       |
967|           |         |               | through ERET.                         |
968+-----------+---------+---------------+---------------------------------------+
969| BLOCKED   | ERET,   | FFA_INTERRUPT | SPMC signals to SP that an interrupt  |
970|           | vIRQ    |               | is pending. It pends vIRQ signal and  |
971|           |         |               | resumes execution context of SP       |
972|           |         |               | through ERET.                         |
973+-----------+---------+---------------+---------------------------------------+
974| PREEMPTED | vIRQ    | NA            | SPMC pends the vIRQ signal but does   |
975|           |         |               | not resume execution context of SP.   |
976+-----------+---------+---------------+---------------------------------------+
977| RUNNING   | ERET,   | NA            | SPMC pends the vIRQ signal and resumes|
978|           | vIRQ    |               | execution context of SP through ERET. |
979+-----------+---------+---------------+---------------------------------------+
980
981Secure interrupt completion mechanisms
982~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
983
984A SP signals secure interrupt handling completion to the SPMC through the
985following mechanisms:
986
987  - ``FFA_MSG_WAIT`` ABI if it was in WAITING state.
988  - ``FFA_RUN`` ABI if its was in BLOCKED state.
989
990In the current implementation, S-EL1 SPs use para-virtualized HVC interface
991implemented by SPMC to perform priority drop and interrupt deactivation (we
992assume EOImode = 0, i.e. priority drop and deactivation are done together).
993
994If normal world execution was preempted by secure interrupt, SPMC uses
995FFA_NORMAL_WORLD_RESUME ABI to indicate completion of secure interrupt handling
996and further return execution to normal world. If the current SP execution
997context was preempted by a secure interrupt to be handled by execution context
998of target SP, SPMC resumes current SP after signal completion by target SP
999execution context.
1000
1001An action is broadly a set of steps taken by the SPMC in response to a physical
1002interrupt. In order to simplify the design, the current version of secure
1003interrupt management support in SPMC (Hafnium) does not fully implement the
1004Scheduling models and Partition runtime models. However, the current
1005implementation loosely maps to the following actions that are legally allowed
1006by the specification. Please refer to the Table 8.4 in the spec for further
1007description of actions. The action specified for a type of interrupt when the
1008SP is in the message processing running state cannot be less permissive than the
1009action specified for the same type of interrupt when the SP is in the interrupt
1010handling running state.
1011
1012+--------------------+--------------------+------------+-------------+
1013| Runtime Model      | NS-Int             | Self S-Int | Other S-Int |
1014+--------------------+--------------------+------------+-------------+
1015| Message Processing | Signalable with ME | Signalable | Signalable  |
1016+--------------------+--------------------+------------+-------------+
1017| Interrupt Handling | Queued             | Queued     | Queued      |
1018+--------------------+--------------------+------------+-------------+
1019
1020Abbreviations:
1021
1022  - NS-Int: A Non-secure physical interrupt. It requires a switch to the Normal
1023    world to be handled.
1024  - Other S-Int: A secure physical interrupt targeted to an SP different from
1025    the one that is currently running.
1026  - Self S-Int: A secure physical interrupt targeted to the SP that is currently
1027    running.
1028
1029The following figure describes interrupt handling flow when secure interrupt
1030triggers while in normal world:
1031
1032.. image:: ../resources/diagrams/ffa-secure-interrupt-handling-nwd.png
1033
1034A brief description of the events:
1035
1036  - 1) Secure interrupt triggers while normal world is running.
1037  - 2) FIQ gets trapped to EL3.
1038  - 3) SPMD signals secure interrupt to SPMC at S-EL2 using FFA_INTERRUPT ABI.
1039  - 4) SPMC identifies target vCPU of SP and injects virtual interrupt (pends
1040       vIRQ).
1041  - 5) Since SP1 vCPU is in WAITING state, SPMC signals using FFA_INTERRUPT with
1042       interrupt id as argument and resume it using ERET.
1043  - 6) Execution traps to vIRQ handler in SP1 provided that interrupt is not
1044       masked i.e., PSTATE.I = 0
1045  - 7) SP1 services the interrupt and invokes the de-activation HVC call.
1046  - 8) SPMC does internal state management and further de-activates the physical
1047       interrupt and resumes SP vCPU.
1048  - 9) SP performs secure interrupt completion through FFA_MSG_WAIT ABI.
1049  - 10) SPMC returns control to EL3 using FFA_NORMAL_WORLD_RESUME.
1050  - 11) EL3 resumes normal world execution.
1051
1052The following figure describes interrupt handling flow when secure interrupt
1053triggers while in secure world:
1054
1055.. image:: ../resources/diagrams/ffa-secure-interrupt-handling-swd.png
1056
1057A brief description of the events:
1058
1059  - 1) Secure interrupt triggers while SP2 is running and SP1 is blocked.
1060  - 2) Gets trapped to SPMC as IRQ.
1061  - 3) SPMC finds the target vCPU of secure partition responsible for handling
1062       this secure interrupt. In this scenario, it is SP1.
1063  - 4) SPMC pends vIRQ for SP1 and signals through FFA_INTERRUPT interface.
1064       SPMC further resumes SP1 through ERET conduit.
1065  - 5) Execution traps to vIRQ handler in SP1 provided that interrupt is not
1066       masked i.e., PSTATE.I = 0
1067  - 6) SP1 services the secure interrupt and invokes the de-activation HVC call.
1068  - 7) SPMC does internal state management, de-activates the physical interrupt
1069       and resumes SP1 vCPU.
1070  - 8) Assuming SP1 is in BLOCKED state, SP1 performs secure interrupt completion
1071       through FFA_RUN ABI.
1072  - 9) SPMC resumes the pre-empted vCPU of SP2.
1073
1074
1075Power management
1076----------------
1077
1078In platforms with or without secure virtualization:
1079
1080- The NWd owns the platform PM policy.
1081- The Hypervisor or OS kernel is the component initiating PSCI service calls.
1082- The EL3 PSCI library is in charge of the PM coordination and control
1083  (eventually writing to platform registers).
1084- While coordinating PM events, the PSCI library calls backs into the Secure
1085  Payload Dispatcher for events the latter has statically registered to.
1086
1087When using the SPMD as a Secure Payload Dispatcher:
1088
1089- A power management event is relayed through the SPD hook to the SPMC.
1090- In the current implementation only cpu on (svc_on_finish) and cpu off
1091  (svc_off) hooks are registered.
1092- The behavior for the cpu on event is described in `Secondary cores boot-up`_.
1093  The SPMC is entered through its secondary physical core entry point.
1094- The cpu off event occurs when the NWd calls PSCI_CPU_OFF. The method by which
1095  the PM event is conveyed to the SPMC is implementation-defined in context of
1096  FF-A v1.0 (`SPMC-SPMD direct requests/responses`_). It consists in a SPMD-to-SPMC
1097  direct request/response conveying the PM event details and SPMC response.
1098  The SPMD performs a synchronous entry into the SPMC. The SPMC is entered and
1099  updates its internal state to reflect the physical core is being turned off.
1100  In the current implementation no SP is resumed as a consequence. This behavior
1101  ensures a minimal support for CPU hotplug e.g. when initiated by the NWd linux
1102  userspace.
1103
1104SMMUv3 support in Hafnium
1105=========================
1106
1107An SMMU is analogous to an MMU in a CPU. It performs address translations for
1108Direct Memory Access (DMA) requests from system I/O devices.
1109The responsibilities of an SMMU include:
1110
1111-  Translation: Incoming DMA requests are translated from bus address space to
1112   system physical address space using translation tables compliant to
1113   Armv8/Armv7 VMSA descriptor format.
1114-  Protection: An I/O device can be prohibited from read, write access to a
1115   memory region or allowed.
1116-  Isolation: Traffic from each individial device can be independently managed.
1117   The devices are differentiated from each other using unique translation
1118   tables.
1119
1120The following diagram illustrates a typical SMMU IP integrated in a SoC with
1121several I/O devices along with Interconnect and Memory system.
1122
1123.. image:: ../resources/diagrams/MMU-600.png
1124
1125SMMU has several versions including SMMUv1, SMMUv2 and SMMUv3. Hafnium provides
1126support for SMMUv3 driver in both normal and secure world. A brief introduction
1127of SMMUv3 functionality and the corresponding software support in Hafnium is
1128provided here.
1129
1130SMMUv3 features
1131---------------
1132
1133-  SMMUv3 provides Stage1, Stage2 translation as well as nested (Stage1 + Stage2)
1134   translation support. It can either bypass or abort incoming translations as
1135   well.
1136-  Traffic (memory transactions) from each upstream I/O peripheral device,
1137   referred to as Stream, can be independently managed using a combination of
1138   several memory based configuration structures. This allows the SMMUv3 to
1139   support a large number of streams with each stream assigned to a unique
1140   translation context.
1141-  Support for Armv8.1 VMSA where the SMMU shares the translation tables with
1142   a Processing Element. AArch32(LPAE) and AArch64 translation table format
1143   are supported by SMMUv3.
1144-  SMMUv3 offers non-secure stream support with secure stream support being
1145   optional. Logically, SMMUv3 behaves as if there is an indepdendent SMMU
1146   instance for secure and non-secure stream support.
1147-  It also supports sub-streams to differentiate traffic from a virtualized
1148   peripheral associated with a VM/SP.
1149-  Additionally, SMMUv3.2 provides support for PEs implementing Armv8.4-A
1150   extensions. Consequently, SPM depends on Secure EL2 support in SMMUv3.2
1151   for providing Secure Stage2 translation support to upstream peripheral
1152   devices.
1153
1154SMMUv3 Programming Interfaces
1155-----------------------------
1156
1157SMMUv3 has three software interfaces that are used by the Hafnium driver to
1158configure the behaviour of SMMUv3 and manage the streams.
1159
1160-  Memory based data strutures that provide unique translation context for
1161   each stream.
1162-  Memory based circular buffers for command queue and event queue.
1163-  A large number of SMMU configuration registers that are memory mapped during
1164   boot time by Hafnium driver. Except a few registers, all configuration
1165   registers have independent secure and non-secure versions to configure the
1166   behaviour of SMMUv3 for translation of secure and non-secure streams
1167   respectively.
1168
1169Peripheral device manifest
1170--------------------------
1171
1172Currently, SMMUv3 driver in Hafnium only supports dependent peripheral devices.
1173These devices are dependent on PE endpoint to initiate and receive memory
1174management transactions on their behalf. The acccess to the MMIO regions of
1175any such device is assigned to the endpoint during boot. Moreover, SMMUv3 driver
1176uses the same stage 2 translations for the device as those used by partition
1177manager on behalf of the PE endpoint. This ensures that the peripheral device
1178has the same visibility of the physical address space as the endpoint. The
1179device node of the corresponding partition manifest (refer to `[1]`_ section 3.2
1180) must specify these additional properties for each peripheral device in the
1181system :
1182
1183-  smmu-id: This field helps to identify the SMMU instance that this device is
1184   upstream of.
1185-  stream-ids: List of stream IDs assigned to this device.
1186
1187.. code:: shell
1188
1189    smmuv3-testengine {
1190        base-address = <0x00000000 0x2bfe0000>;
1191        pages-count = <32>;
1192        attributes = <0x3>;
1193        smmu-id = <0>;
1194        stream-ids = <0x0 0x1>;
1195        interrupts = <0x2 0x3>, <0x4 0x5>;
1196        exclusive-access;
1197    };
1198
1199SMMUv3 driver limitations
1200-------------------------
1201
1202The primary design goal for the Hafnium SMMU driver is to support secure
1203streams.
1204
1205-  Currently, the driver only supports Stage2 translations. No support for
1206   Stage1 or nested translations.
1207-  Supports only AArch64 translation format.
1208-  No support for features such as PCI Express (PASIDs, ATS, PRI), MSI, RAS,
1209   Fault handling, Performance Monitor Extensions, Event Handling, MPAM.
1210-  No support for independent peripheral devices.
1211
1212S-EL0 Partition support
1213=========================
1214The SPMC (Hafnium) has limited capability to run S-EL0 FF-A partitions using
1215FEAT_VHE (mandatory with ARMv8.1 in non-secure state, and in secure world
1216with ARMv8.4 and FEAT_SEL2).
1217
1218S-EL0 partitions are useful for simple partitions that don't require full
1219Trusted OS functionality. It is also useful to reduce jitter and cycle
1220stealing from normal world since they are more lightweight than VMs.
1221
1222S-EL0 partitions are presented, loaded and initialized the same as S-EL1 VMs by
1223the SPMC. They are differentiated primarily by the 'exception-level' property
1224and the 'execution-ctx-count' property in the SP manifest. They are host apps
1225under the single EL2&0 Stage-1 translation regime controlled by the SPMC and
1226call into the SPMC through SVCs as opposed to HVCs and SMCs. These partitions
1227can use FF-A defined services (FFA_MEM_PERM_*) to update or change permissions
1228for memory regions.
1229
1230S-EL0 partitions are required by the FF-A specification to be UP endpoints,
1231capable of migrating, and the SPMC enforces this requirement. The SPMC allows
1232a S-EL0 partition to accept a direct message from secure world and normal world,
1233and generate direct responses to them.
1234
1235Memory sharing between and with S-EL0 partitions is supported.
1236Indirect messaging, Interrupt handling and Notifications are not supported with
1237S-EL0 partitions and is work in progress, planned for future releases.
1238All S-EL0 partitions must use AArch64. AArch32 S-EL0 partitions are not
1239supported.
1240
1241
1242References
1243==========
1244
1245.. _[1]:
1246
1247[1] `Arm Firmware Framework for Arm A-profile <https://developer.arm.com/docs/den0077/latest>`__
1248
1249.. _[2]:
1250
1251[2] :ref:`Secure Partition Manager using MM interface<Secure Partition Manager (MM)>`
1252
1253.. _[3]:
1254
1255[3] `Trusted Boot Board Requirements
1256Client <https://developer.arm.com/documentation/den0006/d/>`__
1257
1258.. _[4]:
1259
1260[4] https://git.trustedfirmware.org/TF-A/trusted-firmware-a.git/tree/lib/el3_runtime/aarch64/context.S#n45
1261
1262.. _[5]:
1263
1264[5] https://git.trustedfirmware.org/TF-A/tf-a-tests.git/tree/spm/cactus/plat/arm/fvp/fdts/cactus.dts
1265
1266.. _[6]:
1267
1268[6] https://trustedfirmware-a.readthedocs.io/en/latest/components/ffa-manifest-binding.html
1269
1270.. _[7]:
1271
1272[7] https://git.trustedfirmware.org/TF-A/trusted-firmware-a.git/tree/plat/arm/board/fvp/fdts/fvp_spmc_manifest.dts
1273
1274.. _[8]:
1275
1276[8] https://lists.trustedfirmware.org/pipermail/tf-a/2020-February/000296.html
1277
1278.. _[9]:
1279
1280[9] https://trustedfirmware-a.readthedocs.io/en/latest/design/firmware-design.html#dynamic-configuration-during-cold-boot
1281
1282--------------
1283
1284*Copyright (c) 2020-2021, Arm Limited and Contributors. All rights reserved.*
1285