Olivier Deprez | 9938c13 | 2021-04-21 11:22:23 +0200 | [diff] [blame] | 1 | FF-A manifest binding to device tree |
J-Alves | 2672cde | 2020-05-07 18:42:25 +0100 | [diff] [blame] | 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, |
Olivier Deprez | 9938c13 | 2021-04-21 11:22:23 +0200 | [diff] [blame] | 5 | according to the FF-A specification. |
Louis Mayencourt | 5f0fc15 | 2019-11-29 15:05:14 +0000 | [diff] [blame] | 6 | |
Louis Mayencourt | 31030e5 | 2020-04-08 13:04:33 +0100 | [diff] [blame] | 7 | Partition Properties |
Olivier Deprez | 7a632c5 | 2022-05-12 18:17:05 +0200 | [diff] [blame] | 8 | -------------------- |
Louis Mayencourt | 5f0fc15 | 2019-11-29 15:05:14 +0000 | [diff] [blame] | 9 | |
| 10 | - compatible [mandatory] |
| 11 | - value type: <string> |
J-Alves | 2672cde | 2020-05-07 18:42:25 +0100 | [diff] [blame] | 12 | - 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] | 13 | minor versions of the device tree binding for the FFA manifest represented |
Louis Mayencourt | 5f0fc15 | 2019-11-29 15:05:14 +0000 | [diff] [blame] | 14 | by this node. The minor number is incremented if the binding changes in a |
| 15 | backwards compatible manner. |
Louis Mayencourt | 950ef2f | 2020-03-27 11:49:20 +0000 | [diff] [blame] | 16 | |
Louis Mayencourt | 5f0fc15 | 2019-11-29 15:05:14 +0000 | [diff] [blame] | 17 | - X is an integer representing the major version number of this document. |
| 18 | - Y is an integer representing the minor version number of this document. |
| 19 | |
J-Alves | 2672cde | 2020-05-07 18:42:25 +0100 | [diff] [blame] | 20 | - ffa-version [mandatory] |
Louis Mayencourt | 5f0fc15 | 2019-11-29 15:05:14 +0000 | [diff] [blame] | 21 | - value type: <u32> |
| 22 | - Must be two 16 bits values (X, Y), concatenated as 31:16 -> X, |
| 23 | 15:0 -> Y, where: |
Louis Mayencourt | 950ef2f | 2020-03-27 11:49:20 +0000 | [diff] [blame] | 24 | |
Olivier Deprez | 9938c13 | 2021-04-21 11:22:23 +0200 | [diff] [blame] | 25 | - X is the major version of FF-A expected by the partition at the FFA |
Louis Mayencourt | 5f0fc15 | 2019-11-29 15:05:14 +0000 | [diff] [blame] | 26 | instance it will execute. |
Olivier Deprez | 9938c13 | 2021-04-21 11:22:23 +0200 | [diff] [blame] | 27 | - Y is the minor version of FF-A expected by the partition at the FFA |
Louis Mayencourt | 5f0fc15 | 2019-11-29 15:05:14 +0000 | [diff] [blame] | 28 | instance it will execute. |
| 29 | |
| 30 | - uuid [mandatory] |
| 31 | - value type: <prop-encoded-array> |
| 32 | - An array consisting of 4 <u32> values, identifying the UUID of the service |
| 33 | implemented by this partition. The UUID format is described in RFC 4122. |
Louis Mayencourt | 5f0fc15 | 2019-11-29 15:05:14 +0000 | [diff] [blame] | 34 | |
| 35 | - id |
| 36 | - value type: <u32> |
| 37 | - Pre-allocated partition ID. |
| 38 | |
| 39 | - auxiliary-id |
| 40 | - value type: <u32> |
| 41 | - Pre-allocated ID that could be used in memory management transactions. |
| 42 | |
| 43 | - description |
| 44 | - value type: <string> |
| 45 | - Name of the partition e.g. for debugging purposes. |
| 46 | |
| 47 | - execution-ctx-count [mandatory] |
| 48 | - value type: <u32> |
| 49 | - Number of vCPUs that a VM or SP wants to instantiate. |
Louis Mayencourt | 950ef2f | 2020-03-27 11:49:20 +0000 | [diff] [blame] | 50 | |
Louis Mayencourt | 5f0fc15 | 2019-11-29 15:05:14 +0000 | [diff] [blame] | 51 | - In the absence of virtualization, this is the number of execution |
| 52 | contexts that a partition implements. |
| 53 | - If value of this field = 1 and number of PEs > 1 then the partition is |
| 54 | treated as UP & migrate capable. |
| 55 | - If the value of this field > 1 then the partition is treated as a MP |
| 56 | capable partition irrespective of the number of PEs. |
| 57 | |
| 58 | - exception-level [mandatory] |
| 59 | - value type: <u32> |
| 60 | - The target exception level for the partition: |
Louis Mayencourt | 950ef2f | 2020-03-27 11:49:20 +0000 | [diff] [blame] | 61 | |
Louis Mayencourt | 5f0fc15 | 2019-11-29 15:05:14 +0000 | [diff] [blame] | 62 | - 0x0: EL1 |
| 63 | - 0x1: S_EL0 |
| 64 | - 0x2: S_EL1 |
Louis Mayencourt | 5f0fc15 | 2019-11-29 15:05:14 +0000 | [diff] [blame] | 65 | |
| 66 | - execution-state [mandatory] |
| 67 | - value type: <u32> |
| 68 | - The target execution state of the partition: |
Louis Mayencourt | 950ef2f | 2020-03-27 11:49:20 +0000 | [diff] [blame] | 69 | |
Louis Mayencourt | 5f0fc15 | 2019-11-29 15:05:14 +0000 | [diff] [blame] | 70 | - 0: AArch64 |
| 71 | - 1: AArch32 |
| 72 | |
| 73 | - load-address |
| 74 | - value type: <u64> |
| 75 | - Physical base address of the partition in memory. Absence of this field |
| 76 | indicates that the partition is position independent and can be loaded at |
| 77 | any address chosen at boot time. |
| 78 | |
| 79 | - entrypoint-offset |
| 80 | - value type: <u64> |
| 81 | - Offset from the base of the partition's binary image to the entry point of |
| 82 | the partition. Absence of this field indicates that the entry point is at |
| 83 | offset 0x0 from the base of the partition's binary. |
| 84 | |
| 85 | - xlat-granule [mandatory] |
| 86 | - value type: <u32> |
| 87 | - Translation granule used with the partition: |
Louis Mayencourt | 950ef2f | 2020-03-27 11:49:20 +0000 | [diff] [blame] | 88 | |
Louis Mayencourt | 5f0fc15 | 2019-11-29 15:05:14 +0000 | [diff] [blame] | 89 | - 0x0: 4k |
| 90 | - 0x1: 16k |
Louis Mayencourt | 31030e5 | 2020-04-08 13:04:33 +0100 | [diff] [blame] | 91 | - 0x2: 64k |
Louis Mayencourt | 5f0fc15 | 2019-11-29 15:05:14 +0000 | [diff] [blame] | 92 | |
| 93 | - boot-order |
| 94 | - value type: <u32> |
| 95 | - A unique number amongst all partitions that specifies if this partition |
| 96 | must be booted before others. The partition with the smaller number will be |
| 97 | booted first. |
| 98 | |
| 99 | - rx-tx-buffer |
| 100 | - value type: "memory-regions" node |
| 101 | - Specific "memory-regions" nodes that describe the RX/TX buffers expected |
| 102 | by the partition. |
J-Alves | 2672cde | 2020-05-07 18:42:25 +0100 | [diff] [blame] | 103 | The "compatible" must be the string "arm,ffa-manifest-rx_tx-buffer". |
Louis Mayencourt | 5f0fc15 | 2019-11-29 15:05:14 +0000 | [diff] [blame] | 104 | |
| 105 | - messaging-method [mandatory] |
Maksims Svecovs | dfdec7c | 2021-05-06 14:17:00 +0100 | [diff] [blame] | 106 | - value type: <u8> |
| 107 | - Specifies which messaging methods are supported by the partition, set bit |
| 108 | means the feature is supported, clear bit - not supported: |
Louis Mayencourt | 950ef2f | 2020-03-27 11:49:20 +0000 | [diff] [blame] | 109 | |
Maksims Svecovs | 1471320 | 2021-05-06 19:03:48 +0100 | [diff] [blame] | 110 | - Bit[0]: partition can receive direct requests if set |
| 111 | - Bit[1]: partition can send direct requests if set |
| 112 | - Bit[2]: partition can send and receive indirect messages |
| 113 | |
| 114 | - managed-exit |
| 115 | - value type: <empty> |
| 116 | - Specifies if managed exit is supported. |
Madhukar Pappireddy | bfc7aa8 | 2022-09-01 10:57:21 -0500 | [diff] [blame] | 117 | - This field is deprecated in favor of ns-interrupts-action field in the FF-A |
| 118 | v1.1 EAC0 spec. |
| 119 | |
| 120 | - ns-interrupts-action [mandatory] |
| 121 | - value type: <u32> |
| 122 | - Specifies the action that the SPMC must take in response to a Non-secure |
| 123 | physical interrupt. |
| 124 | |
| 125 | - 0x0: Non-secure interrupt is queued |
| 126 | - 0x1: Non-secure interrupt is signaled after a managed exit |
| 127 | - 0x2: Non-secure interrupt is signaled |
| 128 | |
| 129 | - This field supersedes the managed-exit field in the FF-A v1.0 spec. |
Louis Mayencourt | 5f0fc15 | 2019-11-29 15:05:14 +0000 | [diff] [blame] | 130 | |
| 131 | - has-primary-scheduler |
| 132 | - value type: <empty> |
| 133 | - Presence of this field indicates that the partition implements the primary |
| 134 | scheduler. If so, run-time EL must be EL1. |
| 135 | |
| 136 | - run-time-model |
| 137 | - value type: <u32> |
| 138 | - Run time model that the SPM must enforce for this SP: |
Louis Mayencourt | 950ef2f | 2020-03-27 11:49:20 +0000 | [diff] [blame] | 139 | |
Louis Mayencourt | 5f0fc15 | 2019-11-29 15:05:14 +0000 | [diff] [blame] | 140 | - 0x0: Run to completion |
| 141 | - 0x1: Preemptible |
| 142 | |
| 143 | - time-slice-mem |
| 144 | - value type: <empty> |
| 145 | - Presence of this field indicates that the partition doesn't expect the |
| 146 | partition manager to time slice long running memory management functions. |
| 147 | |
| 148 | - gp-register-num |
| 149 | - value type: <u32> |
J-Alves | cfc6e23 | 2022-05-24 12:13:08 +0100 | [diff] [blame] | 150 | - The field specifies the general purpose register number but not its width. |
Louis Mayencourt | 5f0fc15 | 2019-11-29 15:05:14 +0000 | [diff] [blame] | 151 | The width is derived from the partition's execution state, as specified in |
| 152 | the partition properties. For example, if the number value is 1 then the |
| 153 | general-purpose register used will be x1 in AArch64 state and w1 in AArch32 |
| 154 | state. |
J-Alves | cfc6e23 | 2022-05-24 12:13:08 +0100 | [diff] [blame] | 155 | Presence of this field indicates that the partition expects the address of |
| 156 | the FF-A boot information blob to be passed in the specified general purpose |
| 157 | register. |
Louis Mayencourt | 5f0fc15 | 2019-11-29 15:05:14 +0000 | [diff] [blame] | 158 | |
| 159 | - stream-endpoint-ids |
| 160 | - value type: <prop-encoded-array> |
| 161 | - List of <u32> tuples, identifying the IDs this partition is acting as |
| 162 | proxy for. |
| 163 | |
Marc Bonnici | 25f4b54 | 2022-04-12 17:18:13 +0100 | [diff] [blame] | 164 | - power-management-messages |
| 165 | - value type: <u32> |
| 166 | - Specifies which power management messages a partition subscribes to. |
| 167 | A set bit means the partition should be informed of the power event, clear |
| 168 | bit - should not be informed of event: |
| 169 | |
| 170 | - Bit[0]: CPU_OFF |
| 171 | - Bit[1]: CPU_SUSPEND |
| 172 | - Bit[2]: CPU_SUSPEND_RESUME |
| 173 | |
Louis Mayencourt | 31030e5 | 2020-04-08 13:04:33 +0100 | [diff] [blame] | 174 | Memory Regions |
Louis Mayencourt | 5f0fc15 | 2019-11-29 15:05:14 +0000 | [diff] [blame] | 175 | -------------- |
| 176 | |
| 177 | - compatible [mandatory] |
| 178 | - value type: <string> |
J-Alves | 2672cde | 2020-05-07 18:42:25 +0100 | [diff] [blame] | 179 | - Must be the string "arm,ffa-manifest-memory-regions". |
Louis Mayencourt | 5f0fc15 | 2019-11-29 15:05:14 +0000 | [diff] [blame] | 180 | |
| 181 | - description |
| 182 | - value type: <string> |
| 183 | - Name of the memory region e.g. for debugging purposes. |
| 184 | |
| 185 | - pages-count [mandatory] |
| 186 | - value type: <u32> |
| 187 | - Count of pages of memory region as a multiple of the translation granule |
| 188 | size |
| 189 | |
| 190 | - attributes [mandatory] |
| 191 | - value type: <u32> |
Louis Mayencourt | 31030e5 | 2020-04-08 13:04:33 +0100 | [diff] [blame] | 192 | - Mapping modes: ORed to get required permission |
| 193 | |
| 194 | - 0x1: Read |
| 195 | - 0x2: Write |
| 196 | - 0x4: Execute |
Olivier Deprez | 7a632c5 | 2022-05-12 18:17:05 +0200 | [diff] [blame] | 197 | - 0x8: Security state |
Louis Mayencourt | 5f0fc15 | 2019-11-29 15:05:14 +0000 | [diff] [blame] | 198 | |
| 199 | - base-address |
| 200 | - value type: <u64> |
| 201 | - Base address of the region. The address must be aligned to the translation |
| 202 | granule size. |
| 203 | The address given may be a Physical Address (PA), Virtual Address (VA), or |
Olivier Deprez | 7a632c5 | 2022-05-12 18:17:05 +0200 | [diff] [blame] | 204 | Intermediate Physical Address (IPA). Refer to the FF-A specification for |
Louis Mayencourt | 5f0fc15 | 2019-11-29 15:05:14 +0000 | [diff] [blame] | 205 | more information on the restrictions around the address type. |
| 206 | If the base address is omitted then the partition manager must map a memory |
| 207 | region of the specified size into the partition's translation regime and |
| 208 | then communicate the region properties (including the base address chosen |
| 209 | by the partition manager) to the partition. |
| 210 | |
Louis Mayencourt | 31030e5 | 2020-04-08 13:04:33 +0100 | [diff] [blame] | 211 | Device Regions |
Louis Mayencourt | 5f0fc15 | 2019-11-29 15:05:14 +0000 | [diff] [blame] | 212 | -------------- |
| 213 | |
| 214 | - compatible [mandatory] |
| 215 | - value type: <string> |
J-Alves | 2672cde | 2020-05-07 18:42:25 +0100 | [diff] [blame] | 216 | - Must be the string "arm,ffa-manifest-device-regions". |
Louis Mayencourt | 5f0fc15 | 2019-11-29 15:05:14 +0000 | [diff] [blame] | 217 | |
| 218 | - description |
| 219 | - value type: <string> |
| 220 | - Name of the device region e.g. for debugging purposes. |
| 221 | |
Olivier Deprez | 7a632c5 | 2022-05-12 18:17:05 +0200 | [diff] [blame] | 222 | - pages-count [mandatory] |
| 223 | - value type: <u32> |
| 224 | - Count of pages of memory region as a multiple of the translation granule |
| 225 | size |
Louis Mayencourt | 5f0fc15 | 2019-11-29 15:05:14 +0000 | [diff] [blame] | 226 | |
| 227 | - attributes [mandatory] |
| 228 | - value type: <u32> |
Louis Mayencourt | 31030e5 | 2020-04-08 13:04:33 +0100 | [diff] [blame] | 229 | - Mapping modes: ORed to get required permission |
| 230 | |
| 231 | - 0x1: Read |
| 232 | - 0x2: Write |
| 233 | - 0x4: Execute |
Olivier Deprez | 7a632c5 | 2022-05-12 18:17:05 +0200 | [diff] [blame] | 234 | - 0x8: Security state |
| 235 | |
| 236 | - base-address [mandatory] |
| 237 | - value type: <u64> |
| 238 | - Base address of the region. The address must be aligned to the translation |
| 239 | granule size. |
| 240 | The address given may be a Physical Address (PA), Virtual Address (VA), or |
| 241 | Intermediate Physical Address (IPA). Refer to the FF-A specification for |
| 242 | more information on the restrictions around the address type. |
Louis Mayencourt | 5f0fc15 | 2019-11-29 15:05:14 +0000 | [diff] [blame] | 243 | |
| 244 | - smmu-id |
| 245 | - value type: <u32> |
| 246 | - On systems with multiple System Memory Management Units (SMMUs) this |
| 247 | identifier is used to inform the partition manager which SMMU the device is |
| 248 | upstream of. If the field is omitted then it is assumed that the device is |
| 249 | not upstream of any SMMU. |
| 250 | |
Louis Mayencourt | 31030e5 | 2020-04-08 13:04:33 +0100 | [diff] [blame] | 251 | - stream-ids |
Louis Mayencourt | 5f0fc15 | 2019-11-29 15:05:14 +0000 | [diff] [blame] | 252 | - value type: <prop-encoded-array> |
| 253 | - A list of (id, mem-manage) pair, where: |
Louis Mayencourt | 950ef2f | 2020-03-27 11:49:20 +0000 | [diff] [blame] | 254 | |
Louis Mayencourt | 5f0fc15 | 2019-11-29 15:05:14 +0000 | [diff] [blame] | 255 | - id: A unique <u32> value amongst all devices assigned to the partition. |
Louis Mayencourt | 5f0fc15 | 2019-11-29 15:05:14 +0000 | [diff] [blame] | 256 | |
| 257 | - interrupts [mandatory] |
| 258 | - value type: <prop-encoded-array> |
| 259 | - A list of (id, attributes) pair describing the device interrupts, where: |
Louis Mayencourt | 950ef2f | 2020-03-27 11:49:20 +0000 | [diff] [blame] | 260 | |
Louis Mayencourt | 5f0fc15 | 2019-11-29 15:05:14 +0000 | [diff] [blame] | 261 | - id: The <u32> interrupt IDs. |
Olivier Deprez | 7a632c5 | 2022-05-12 18:17:05 +0200 | [diff] [blame] | 262 | - attributes: A <u32> value, containing attributes for each interrupt ID: |
| 263 | |
| 264 | +----------------------+----------+ |
| 265 | |Field | Bit(s) | |
| 266 | +----------------------+----------+ |
| 267 | | Priority | 7:0 | |
| 268 | +----------------------+----------+ |
| 269 | | Security state | 8 | |
| 270 | +----------------------+----------+ |
| 271 | | Config(Edge/Level) | 9 | |
| 272 | +----------------------+----------+ |
| 273 | | Type(SPI/PPI/SGI) | 11:10 | |
| 274 | +----------------------+----------+ |
Louis Mayencourt | 950ef2f | 2020-03-27 11:49:20 +0000 | [diff] [blame] | 275 | |
Olivier Deprez | 7a632c5 | 2022-05-12 18:17:05 +0200 | [diff] [blame] | 276 | Security state: |
| 277 | - Secure: 1 |
| 278 | - Non-secure: 0 |
| 279 | |
| 280 | Configuration: |
| 281 | - Edge triggered: 0 |
| 282 | - Level triggered: 1 |
| 283 | |
| 284 | Type: |
| 285 | - SPI: 0b10 |
| 286 | - PPI: 0b01 |
| 287 | - SGI: 0b00 |
Louis Mayencourt | 5f0fc15 | 2019-11-29 15:05:14 +0000 | [diff] [blame] | 288 | |
Raghu Krishnamurthy | 7e7242d | 2023-01-16 12:43:40 -0800 | [diff] [blame] | 289 | - interrupts-target |
| 290 | - value type: <prop-encoded-array> |
| 291 | - A list of (id, mpdir upper bits, mpidr lower bits) tuples describing which |
| 292 | mpidr the interrupt is routed to, where: |
| 293 | |
| 294 | - id: The <u32> interrupt ID. Must be one of those specified in the |
| 295 | "interrupts" field. |
| 296 | - mpidr upper bits: The <u32> describing the upper bits of the 64 bits |
| 297 | mpidr |
| 298 | - mpidr lower bits: The <u32> describing the lower bits of the 64 bits |
| 299 | mpidr |
| 300 | |
Louis Mayencourt | 5f0fc15 | 2019-11-29 15:05:14 +0000 | [diff] [blame] | 301 | - exclusive-access |
| 302 | - value type: <empty> |
| 303 | - Presence of this field implies that this endpoint must be granted exclusive |
David Horstmann | 051fd6d | 2020-11-12 15:19:04 +0000 | [diff] [blame] | 304 | access and ownership of this device's MMIO region. |
Louis Mayencourt | 5f0fc15 | 2019-11-29 15:05:14 +0000 | [diff] [blame] | 305 | |
| 306 | -------------- |
| 307 | |
Olivier Deprez | 7a632c5 | 2022-05-12 18:17:05 +0200 | [diff] [blame] | 308 | *Copyright (c) 2019-2022, Arm Limited and Contributors. All rights reserved.* |