J-Alves | 2672cde | 2020-05-07 18:42:25 +0100 | [diff] [blame] | 1 | PSA FF-A manifest binding to device tree |
| 2 | ======================================== |
Louis Mayencourt | 5f0fc15 | 2019-11-29 15:05:14 +0000 | [diff] [blame] | 3 | |
| 4 | This document defines the nodes and properties used to define a partition, |
J-Alves | 2672cde | 2020-05-07 18:42:25 +0100 | [diff] [blame] | 5 | according to the PSA FF-A specification. |
Louis Mayencourt | 5f0fc15 | 2019-11-29 15:05:14 +0000 | [diff] [blame] | 6 | |
| 7 | Version 1.0 |
| 8 | ----------- |
| 9 | |
Louis Mayencourt | 31030e5 | 2020-04-08 13:04:33 +0100 | [diff] [blame] | 10 | Partition Properties |
| 11 | ^^^^^^^^^^^^^^^^^^^^ |
Louis Mayencourt | 5f0fc15 | 2019-11-29 15:05:14 +0000 | [diff] [blame] | 12 | |
| 13 | - compatible [mandatory] |
| 14 | - value type: <string> |
J-Alves | 2672cde | 2020-05-07 18:42:25 +0100 | [diff] [blame] | 15 | - Must be the string "arm,ffa-manifest-X.Y" which specifies the major and |
David Horstmann | 051fd6d | 2020-11-12 15:19:04 +0000 | [diff] [blame] | 16 | minor versions of the device tree binding for the FFA manifest represented |
Louis Mayencourt | 5f0fc15 | 2019-11-29 15:05:14 +0000 | [diff] [blame] | 17 | by this node. The minor number is incremented if the binding changes in a |
| 18 | backwards compatible manner. |
Louis Mayencourt | 950ef2f | 2020-03-27 11:49:20 +0000 | [diff] [blame] | 19 | |
Louis Mayencourt | 5f0fc15 | 2019-11-29 15:05:14 +0000 | [diff] [blame] | 20 | - X is an integer representing the major version number of this document. |
| 21 | - Y is an integer representing the minor version number of this document. |
| 22 | |
J-Alves | 2672cde | 2020-05-07 18:42:25 +0100 | [diff] [blame] | 23 | - ffa-version [mandatory] |
Louis Mayencourt | 5f0fc15 | 2019-11-29 15:05:14 +0000 | [diff] [blame] | 24 | - value type: <u32> |
| 25 | - Must be two 16 bits values (X, Y), concatenated as 31:16 -> X, |
| 26 | 15:0 -> Y, where: |
Louis Mayencourt | 950ef2f | 2020-03-27 11:49:20 +0000 | [diff] [blame] | 27 | |
J-Alves | 2672cde | 2020-05-07 18:42:25 +0100 | [diff] [blame] | 28 | - X is the major version of PSA-FF-A expected by the partition at the FFA |
Louis Mayencourt | 5f0fc15 | 2019-11-29 15:05:14 +0000 | [diff] [blame] | 29 | instance it will execute. |
J-Alves | 2672cde | 2020-05-07 18:42:25 +0100 | [diff] [blame] | 30 | - Y is the minor version of PSA-FF-A expected by the partition at the FFA |
Louis Mayencourt | 5f0fc15 | 2019-11-29 15:05:14 +0000 | [diff] [blame] | 31 | instance it will execute. |
| 32 | |
| 33 | - uuid [mandatory] |
| 34 | - value type: <prop-encoded-array> |
| 35 | - An array consisting of 4 <u32> values, identifying the UUID of the service |
| 36 | implemented by this partition. The UUID format is described in RFC 4122. |
Louis Mayencourt | 5f0fc15 | 2019-11-29 15:05:14 +0000 | [diff] [blame] | 37 | |
| 38 | - id |
| 39 | - value type: <u32> |
| 40 | - Pre-allocated partition ID. |
| 41 | |
| 42 | - auxiliary-id |
| 43 | - value type: <u32> |
| 44 | - Pre-allocated ID that could be used in memory management transactions. |
| 45 | |
| 46 | - description |
| 47 | - value type: <string> |
| 48 | - Name of the partition e.g. for debugging purposes. |
| 49 | |
| 50 | - execution-ctx-count [mandatory] |
| 51 | - value type: <u32> |
| 52 | - Number of vCPUs that a VM or SP wants to instantiate. |
Louis Mayencourt | 950ef2f | 2020-03-27 11:49:20 +0000 | [diff] [blame] | 53 | |
Louis Mayencourt | 5f0fc15 | 2019-11-29 15:05:14 +0000 | [diff] [blame] | 54 | - In the absence of virtualization, this is the number of execution |
| 55 | contexts that a partition implements. |
| 56 | - If value of this field = 1 and number of PEs > 1 then the partition is |
| 57 | treated as UP & migrate capable. |
| 58 | - If the value of this field > 1 then the partition is treated as a MP |
| 59 | capable partition irrespective of the number of PEs. |
| 60 | |
| 61 | - exception-level [mandatory] |
| 62 | - value type: <u32> |
| 63 | - The target exception level for the partition: |
Louis Mayencourt | 950ef2f | 2020-03-27 11:49:20 +0000 | [diff] [blame] | 64 | |
Louis Mayencourt | 5f0fc15 | 2019-11-29 15:05:14 +0000 | [diff] [blame] | 65 | - 0x0: EL1 |
| 66 | - 0x1: S_EL0 |
| 67 | - 0x2: S_EL1 |
Louis Mayencourt | 5f0fc15 | 2019-11-29 15:05:14 +0000 | [diff] [blame] | 68 | |
| 69 | - execution-state [mandatory] |
| 70 | - value type: <u32> |
| 71 | - The target execution state of the partition: |
Louis Mayencourt | 950ef2f | 2020-03-27 11:49:20 +0000 | [diff] [blame] | 72 | |
Louis Mayencourt | 5f0fc15 | 2019-11-29 15:05:14 +0000 | [diff] [blame] | 73 | - 0: AArch64 |
| 74 | - 1: AArch32 |
| 75 | |
| 76 | - load-address |
| 77 | - value type: <u64> |
| 78 | - Physical base address of the partition in memory. Absence of this field |
| 79 | indicates that the partition is position independent and can be loaded at |
| 80 | any address chosen at boot time. |
| 81 | |
| 82 | - entrypoint-offset |
| 83 | - value type: <u64> |
| 84 | - Offset from the base of the partition's binary image to the entry point of |
| 85 | the partition. Absence of this field indicates that the entry point is at |
| 86 | offset 0x0 from the base of the partition's binary. |
| 87 | |
| 88 | - xlat-granule [mandatory] |
| 89 | - value type: <u32> |
| 90 | - Translation granule used with the partition: |
Louis Mayencourt | 950ef2f | 2020-03-27 11:49:20 +0000 | [diff] [blame] | 91 | |
Louis Mayencourt | 5f0fc15 | 2019-11-29 15:05:14 +0000 | [diff] [blame] | 92 | - 0x0: 4k |
| 93 | - 0x1: 16k |
Louis Mayencourt | 31030e5 | 2020-04-08 13:04:33 +0100 | [diff] [blame] | 94 | - 0x2: 64k |
Louis Mayencourt | 5f0fc15 | 2019-11-29 15:05:14 +0000 | [diff] [blame] | 95 | |
| 96 | - boot-order |
| 97 | - value type: <u32> |
| 98 | - A unique number amongst all partitions that specifies if this partition |
| 99 | must be booted before others. The partition with the smaller number will be |
| 100 | booted first. |
| 101 | |
| 102 | - rx-tx-buffer |
| 103 | - value type: "memory-regions" node |
| 104 | - Specific "memory-regions" nodes that describe the RX/TX buffers expected |
| 105 | by the partition. |
J-Alves | 2672cde | 2020-05-07 18:42:25 +0100 | [diff] [blame] | 106 | The "compatible" must be the string "arm,ffa-manifest-rx_tx-buffer". |
Louis Mayencourt | 5f0fc15 | 2019-11-29 15:05:14 +0000 | [diff] [blame] | 107 | |
| 108 | - messaging-method [mandatory] |
| 109 | - value type: <u32> |
| 110 | - Specifies which messaging methods are supported by the partition: |
Louis Mayencourt | 950ef2f | 2020-03-27 11:49:20 +0000 | [diff] [blame] | 111 | |
Louis Mayencourt | 5f0fc15 | 2019-11-29 15:05:14 +0000 | [diff] [blame] | 112 | - 0x0: direct messaging method |
| 113 | - 0x1: indirect messaging method |
| 114 | - 0x2: both direct and indirect messaging methods |
Manish Pandey | d3dc3a0 | 2020-09-25 09:50:31 +0100 | [diff] [blame] | 115 | - 0x3: direct messaging method with managed exit support |
| 116 | - 0x4: both messaging methods with managed exit support |
Louis Mayencourt | 5f0fc15 | 2019-11-29 15:05:14 +0000 | [diff] [blame] | 117 | |
| 118 | - has-primary-scheduler |
| 119 | - value type: <empty> |
| 120 | - Presence of this field indicates that the partition implements the primary |
| 121 | scheduler. If so, run-time EL must be EL1. |
| 122 | |
| 123 | - run-time-model |
| 124 | - value type: <u32> |
| 125 | - Run time model that the SPM must enforce for this SP: |
Louis Mayencourt | 950ef2f | 2020-03-27 11:49:20 +0000 | [diff] [blame] | 126 | |
Louis Mayencourt | 5f0fc15 | 2019-11-29 15:05:14 +0000 | [diff] [blame] | 127 | - 0x0: Run to completion |
| 128 | - 0x1: Preemptible |
| 129 | |
| 130 | - time-slice-mem |
| 131 | - value type: <empty> |
| 132 | - Presence of this field indicates that the partition doesn't expect the |
| 133 | partition manager to time slice long running memory management functions. |
| 134 | |
| 135 | - gp-register-num |
| 136 | - value type: <u32> |
| 137 | - Presence of this field indicates that the partition expects the |
J-Alves | 2672cde | 2020-05-07 18:42:25 +0100 | [diff] [blame] | 138 | ffa_init_info structure to be passed in via the specified general purpose |
Louis Mayencourt | 5f0fc15 | 2019-11-29 15:05:14 +0000 | [diff] [blame] | 139 | register. |
| 140 | The field specifies the general purpose register number but not its width. |
| 141 | The width is derived from the partition's execution state, as specified in |
| 142 | the partition properties. For example, if the number value is 1 then the |
| 143 | general-purpose register used will be x1 in AArch64 state and w1 in AArch32 |
| 144 | state. |
| 145 | |
| 146 | - stream-endpoint-ids |
| 147 | - value type: <prop-encoded-array> |
| 148 | - List of <u32> tuples, identifying the IDs this partition is acting as |
| 149 | proxy for. |
| 150 | |
Louis Mayencourt | 31030e5 | 2020-04-08 13:04:33 +0100 | [diff] [blame] | 151 | Memory Regions |
Louis Mayencourt | 5f0fc15 | 2019-11-29 15:05:14 +0000 | [diff] [blame] | 152 | -------------- |
| 153 | |
| 154 | - compatible [mandatory] |
| 155 | - value type: <string> |
J-Alves | 2672cde | 2020-05-07 18:42:25 +0100 | [diff] [blame] | 156 | - Must be the string "arm,ffa-manifest-memory-regions". |
Louis Mayencourt | 5f0fc15 | 2019-11-29 15:05:14 +0000 | [diff] [blame] | 157 | |
| 158 | - description |
| 159 | - value type: <string> |
| 160 | - Name of the memory region e.g. for debugging purposes. |
| 161 | |
| 162 | - pages-count [mandatory] |
| 163 | - value type: <u32> |
| 164 | - Count of pages of memory region as a multiple of the translation granule |
| 165 | size |
| 166 | |
| 167 | - attributes [mandatory] |
| 168 | - value type: <u32> |
Louis Mayencourt | 31030e5 | 2020-04-08 13:04:33 +0100 | [diff] [blame] | 169 | - Mapping modes: ORed to get required permission |
| 170 | |
| 171 | - 0x1: Read |
| 172 | - 0x2: Write |
| 173 | - 0x4: Execute |
Louis Mayencourt | 5f0fc15 | 2019-11-29 15:05:14 +0000 | [diff] [blame] | 174 | |
| 175 | - base-address |
| 176 | - value type: <u64> |
| 177 | - Base address of the region. The address must be aligned to the translation |
| 178 | granule size. |
| 179 | The address given may be a Physical Address (PA), Virtual Address (VA), or |
J-Alves | 2672cde | 2020-05-07 18:42:25 +0100 | [diff] [blame] | 180 | Intermediate Physical Address (IPA). Refer to the FFA specification for |
Louis Mayencourt | 5f0fc15 | 2019-11-29 15:05:14 +0000 | [diff] [blame] | 181 | more information on the restrictions around the address type. |
| 182 | If the base address is omitted then the partition manager must map a memory |
| 183 | region of the specified size into the partition's translation regime and |
| 184 | then communicate the region properties (including the base address chosen |
| 185 | by the partition manager) to the partition. |
| 186 | |
Louis Mayencourt | 31030e5 | 2020-04-08 13:04:33 +0100 | [diff] [blame] | 187 | Device Regions |
Louis Mayencourt | 5f0fc15 | 2019-11-29 15:05:14 +0000 | [diff] [blame] | 188 | -------------- |
| 189 | |
| 190 | - compatible [mandatory] |
| 191 | - value type: <string> |
J-Alves | 2672cde | 2020-05-07 18:42:25 +0100 | [diff] [blame] | 192 | - Must be the string "arm,ffa-manifest-device-regions". |
Louis Mayencourt | 5f0fc15 | 2019-11-29 15:05:14 +0000 | [diff] [blame] | 193 | |
| 194 | - description |
| 195 | - value type: <string> |
| 196 | - Name of the device region e.g. for debugging purposes. |
| 197 | |
| 198 | - reg [mandatory] |
| 199 | - value type: <prop-encoded-array> |
| 200 | - A (address, num-pages) pair describing the device, where: |
Louis Mayencourt | 950ef2f | 2020-03-27 11:49:20 +0000 | [diff] [blame] | 201 | |
Louis Mayencourt | 5f0fc15 | 2019-11-29 15:05:14 +0000 | [diff] [blame] | 202 | - address: The physical base address <u64> value of the device MMIO |
| 203 | region. |
| 204 | - num-pages: The <u32> number of pages of the region. The total size of |
| 205 | the region is this value multiplied by the translation granule size. |
| 206 | |
| 207 | - attributes [mandatory] |
| 208 | - value type: <u32> |
Louis Mayencourt | 31030e5 | 2020-04-08 13:04:33 +0100 | [diff] [blame] | 209 | - Mapping modes: ORed to get required permission |
| 210 | |
| 211 | - 0x1: Read |
| 212 | - 0x2: Write |
| 213 | - 0x4: Execute |
Louis Mayencourt | 5f0fc15 | 2019-11-29 15:05:14 +0000 | [diff] [blame] | 214 | |
| 215 | - smmu-id |
| 216 | - value type: <u32> |
| 217 | - On systems with multiple System Memory Management Units (SMMUs) this |
| 218 | identifier is used to inform the partition manager which SMMU the device is |
| 219 | upstream of. If the field is omitted then it is assumed that the device is |
| 220 | not upstream of any SMMU. |
| 221 | |
Louis Mayencourt | 31030e5 | 2020-04-08 13:04:33 +0100 | [diff] [blame] | 222 | - stream-ids |
Louis Mayencourt | 5f0fc15 | 2019-11-29 15:05:14 +0000 | [diff] [blame] | 223 | - value type: <prop-encoded-array> |
| 224 | - A list of (id, mem-manage) pair, where: |
Louis Mayencourt | 950ef2f | 2020-03-27 11:49:20 +0000 | [diff] [blame] | 225 | |
Louis Mayencourt | 5f0fc15 | 2019-11-29 15:05:14 +0000 | [diff] [blame] | 226 | - id: A unique <u32> value amongst all devices assigned to the partition. |
Louis Mayencourt | 5f0fc15 | 2019-11-29 15:05:14 +0000 | [diff] [blame] | 227 | |
| 228 | - interrupts [mandatory] |
| 229 | - value type: <prop-encoded-array> |
| 230 | - A list of (id, attributes) pair describing the device interrupts, where: |
Louis Mayencourt | 950ef2f | 2020-03-27 11:49:20 +0000 | [diff] [blame] | 231 | |
Louis Mayencourt | 5f0fc15 | 2019-11-29 15:05:14 +0000 | [diff] [blame] | 232 | - id: The <u32> interrupt IDs. |
Louis Mayencourt | 31030e5 | 2020-04-08 13:04:33 +0100 | [diff] [blame] | 233 | - attributes: A <u32> value, |
Louis Mayencourt | 5f0fc15 | 2019-11-29 15:05:14 +0000 | [diff] [blame] | 234 | containing the attributes for each interrupt ID: |
Louis Mayencourt | 950ef2f | 2020-03-27 11:49:20 +0000 | [diff] [blame] | 235 | |
Louis Mayencourt | 5f0fc15 | 2019-11-29 15:05:14 +0000 | [diff] [blame] | 236 | - Interrupt type: SPI, PPI, SGI |
| 237 | - Interrupt configuration: Edge triggered, Level triggered |
| 238 | - Interrupt security state: Secure, Non-secure |
| 239 | - Interrupt priority value |
| 240 | - Target execution context/vCPU for each SPI |
| 241 | |
| 242 | - exclusive-access |
| 243 | - value type: <empty> |
| 244 | - Presence of this field implies that this endpoint must be granted exclusive |
David Horstmann | 051fd6d | 2020-11-12 15:19:04 +0000 | [diff] [blame] | 245 | access and ownership of this device's MMIO region. |
Louis Mayencourt | 5f0fc15 | 2019-11-29 15:05:14 +0000 | [diff] [blame] | 246 | |
| 247 | -------------- |
| 248 | |
Manish Pandey | d3dc3a0 | 2020-09-25 09:50:31 +0100 | [diff] [blame] | 249 | *Copyright (c) 2019-2021, Arm Limited and Contributors. All rights reserved.* |