blob: 2b6382b3bba49a7b32d536adbcd8ecefcf8b5ecb [file] [log] [blame]
Olivier Deprez1b17f4f2021-04-21 11:22:23 +02001FF-A manifest binding to device tree
Madhukar Pappireddy3b63eef2024-07-25 17:40:23 -05002====================================
Louis Mayencourt79c70cc2019-11-29 15:05:14 +00003
4This document defines the nodes and properties used to define a partition,
Olivier Deprez1b17f4f2021-04-21 11:22:23 +02005according to the FF-A specification.
Louis Mayencourt79c70cc2019-11-29 15:05:14 +00006
Louis Mayencourt00f85082020-04-08 13:04:33 +01007Partition Properties
Olivier Deprez79a91382022-05-12 18:17:05 +02008--------------------
Louis Mayencourt79c70cc2019-11-29 15:05:14 +00009
10- compatible [mandatory]
11 - value type: <string>
J-Alves662af362020-05-07 18:42:25 +010012 - Must be the string "arm,ffa-manifest-X.Y" which specifies the major and
David Horstmann5d9101b2020-11-12 15:19:04 +000013 minor versions of the device tree binding for the FFA manifest represented
Louis Mayencourt79c70cc2019-11-29 15:05:14 +000014 by this node. The minor number is incremented if the binding changes in a
15 backwards compatible manner.
Louis Mayencourta5bb3892020-03-27 11:49:20 +000016
Louis Mayencourt79c70cc2019-11-29 15:05:14 +000017 - 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-Alves662af362020-05-07 18:42:25 +010020- ffa-version [mandatory]
Louis Mayencourt79c70cc2019-11-29 15:05:14 +000021 - value type: <u32>
22 - Must be two 16 bits values (X, Y), concatenated as 31:16 -> X,
23 15:0 -> Y, where:
Louis Mayencourta5bb3892020-03-27 11:49:20 +000024
Olivier Deprez1b17f4f2021-04-21 11:22:23 +020025 - X is the major version of FF-A expected by the partition at the FFA
Louis Mayencourt79c70cc2019-11-29 15:05:14 +000026 instance it will execute.
Olivier Deprez1b17f4f2021-04-21 11:22:23 +020027 - Y is the minor version of FF-A expected by the partition at the FFA
Louis Mayencourt79c70cc2019-11-29 15:05:14 +000028 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 Mayencourt79c70cc2019-11-29 15:05:14 +000034
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 Mayencourta5bb3892020-03-27 11:49:20 +000050
Louis Mayencourt79c70cc2019-11-29 15:05:14 +000051 - 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 Mayencourta5bb3892020-03-27 11:49:20 +000061
Louis Mayencourt79c70cc2019-11-29 15:05:14 +000062 - 0x0: EL1
63 - 0x1: S_EL0
64 - 0x2: S_EL1
Louis Mayencourt79c70cc2019-11-29 15:05:14 +000065
66- execution-state [mandatory]
67 - value type: <u32>
68 - The target execution state of the partition:
Louis Mayencourta5bb3892020-03-27 11:49:20 +000069
Louis Mayencourt79c70cc2019-11-29 15:05:14 +000070 - 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
Madhukar Pappireddy3b63eef2024-07-25 17:40:23 -050085- xlat-granule
Louis Mayencourt79c70cc2019-11-29 15:05:14 +000086 - value type: <u32>
87 - Translation granule used with the partition:
Louis Mayencourta5bb3892020-03-27 11:49:20 +000088
Louis Mayencourt79c70cc2019-11-29 15:05:14 +000089 - 0x0: 4k
90 - 0x1: 16k
Louis Mayencourt00f85082020-04-08 13:04:33 +010091 - 0x2: 64k
Louis Mayencourt79c70cc2019-11-29 15:05:14 +000092
93- boot-order
Madhukar Pappireddy9a010892024-07-25 17:46:08 -050094 - value type: <u32>
Louis Mayencourt79c70cc2019-11-29 15:05:14 +000095 - 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
Madhukar Pappireddy9a010892024-07-25 17:46:08 -050097 booted first. Highest vlue allowed for this field is 0xFFFF.
Louis Mayencourt79c70cc2019-11-29 15:05:14 +000098
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-Alves662af362020-05-07 18:42:25 +0100103 The "compatible" must be the string "arm,ffa-manifest-rx_tx-buffer".
Louis Mayencourt79c70cc2019-11-29 15:05:14 +0000104
105- messaging-method [mandatory]
Madhukar Pappireddy9a010892024-07-25 17:46:08 -0500106 - value type: <u32>
Maksims Svecovsbb320db2021-05-06 14:17:00 +0100107 - Specifies which messaging methods are supported by the partition, set bit
108 means the feature is supported, clear bit - not supported:
Louis Mayencourta5bb3892020-03-27 11:49:20 +0000109
Madhukar Pappireddy3b63eef2024-07-25 17:40:23 -0500110 - Bit[0]: partition can receive direct requests via FFA_MSG_SEND_DIRECT_REQ ABI if set
111 - Bit[1]: partition can send direct requests via FFA_MSG_SEND_DIRECT_REQ ABI if set
Maksims Svecovs12349d32021-05-06 19:03:48 +0100112 - Bit[2]: partition can send and receive indirect messages
Madhukar Pappireddy3b63eef2024-07-25 17:40:23 -0500113 - Bit[9]: partition can receive direct requests via FFA_MSG_SEND_DIRECT_REQ2 ABI if set
114 - Bit[10]: partition can send direct requests via FFA_MSG_SEND_DIRECT_REQ2 ABI if set
Maksims Svecovs12349d32021-05-06 19:03:48 +0100115
116- managed-exit
117 - value type: <empty>
118 - Specifies if managed exit is supported.
Madhukar Pappireddy10b292e2022-09-01 10:57:21 -0500119 - This field is deprecated in favor of ns-interrupts-action field in the FF-A
120 v1.1 EAC0 spec.
121
Madhukar Pappireddy3b63eef2024-07-25 17:40:23 -0500122- managed-exit-virq
123 - value type: <empty>
124 - Indicates if the partition needs managed exit, if supported, to be signaled
Madhukar Pappireddy3406ff02024-09-18 10:20:07 -0500125 through vIRQ signal.
Madhukar Pappireddy3b63eef2024-07-25 17:40:23 -0500126
Madhukar Pappireddy10b292e2022-09-01 10:57:21 -0500127- ns-interrupts-action [mandatory]
128 - value type: <u32>
129 - Specifies the action that the SPMC must take in response to a Non-secure
130 physical interrupt.
131
132 - 0x0: Non-secure interrupt is queued
133 - 0x1: Non-secure interrupt is signaled after a managed exit
134 - 0x2: Non-secure interrupt is signaled
135
136 - This field supersedes the managed-exit field in the FF-A v1.0 spec.
Louis Mayencourt79c70cc2019-11-29 15:05:14 +0000137
Madhukar Pappireddyae1d9d92023-01-26 08:47:58 -0600138- other-s-interrupts-action
139 - value type: <u32>
140 - Specifies the action that the SPMC must take in response to a Other-Secure
141 physical interrupt.
142
143 - 0x0: Other-Secure interrupt is queued
144 - 0x1: Other-Secure interrupt is signaled
145
Louis Mayencourt79c70cc2019-11-29 15:05:14 +0000146- has-primary-scheduler
147 - value type: <empty>
148 - Presence of this field indicates that the partition implements the primary
149 scheduler. If so, run-time EL must be EL1.
150
Louis Mayencourt79c70cc2019-11-29 15:05:14 +0000151- time-slice-mem
152 - value type: <empty>
153 - Presence of this field indicates that the partition doesn't expect the
154 partition manager to time slice long running memory management functions.
155
156- gp-register-num
157 - value type: <u32>
J-Alves573ac372022-05-24 12:13:08 +0100158 - The field specifies the general purpose register number but not its width.
Louis Mayencourt79c70cc2019-11-29 15:05:14 +0000159 The width is derived from the partition's execution state, as specified in
160 the partition properties. For example, if the number value is 1 then the
161 general-purpose register used will be x1 in AArch64 state and w1 in AArch32
162 state.
J-Alves573ac372022-05-24 12:13:08 +0100163 Presence of this field indicates that the partition expects the address of
164 the FF-A boot information blob to be passed in the specified general purpose
165 register.
Louis Mayencourt79c70cc2019-11-29 15:05:14 +0000166
Marc Bonnici59bd2ad2022-04-12 17:18:13 +0100167- power-management-messages
168 - value type: <u32>
169 - Specifies which power management messages a partition subscribes to.
170 A set bit means the partition should be informed of the power event, clear
171 bit - should not be informed of event:
172
173 - Bit[0]: CPU_OFF
174 - Bit[1]: CPU_SUSPEND
175 - Bit[2]: CPU_SUSPEND_RESUME
176
Balint Dobszaya22f84f2024-07-10 11:46:37 +0200177- vm-availability-messages
178 - value type: <u32>
179 - Specifies which VM availability messages a partition subscribes to. A set
180 bit means the partition should be informed of the event, clear bit - should
181 not be informed of event:
182
183 - Bit[0]: VM created
184 - Bit[1]: VM destroyed
185
Madhukar Pappireddy3b63eef2024-07-25 17:40:23 -0500186.. _memory_region_node:
187
Louis Mayencourt00f85082020-04-08 13:04:33 +0100188Memory Regions
Louis Mayencourt79c70cc2019-11-29 15:05:14 +0000189--------------
190
191- compatible [mandatory]
192 - value type: <string>
J-Alves662af362020-05-07 18:42:25 +0100193 - Must be the string "arm,ffa-manifest-memory-regions".
Louis Mayencourt79c70cc2019-11-29 15:05:14 +0000194
195- description
196 - value type: <string>
197 - Name of the memory region e.g. for debugging purposes.
198
199- pages-count [mandatory]
200 - value type: <u32>
201 - Count of pages of memory region as a multiple of the translation granule
202 size
203
204- attributes [mandatory]
205 - value type: <u32>
Louis Mayencourt00f85082020-04-08 13:04:33 +0100206 - Mapping modes: ORed to get required permission
207
208 - 0x1: Read
209 - 0x2: Write
210 - 0x4: Execute
Olivier Deprez79a91382022-05-12 18:17:05 +0200211 - 0x8: Security state
Louis Mayencourt79c70cc2019-11-29 15:05:14 +0000212
213- base-address
214 - value type: <u64>
215 - Base address of the region. The address must be aligned to the translation
216 granule size.
217 The address given may be a Physical Address (PA), Virtual Address (VA), or
Olivier Deprez79a91382022-05-12 18:17:05 +0200218 Intermediate Physical Address (IPA). Refer to the FF-A specification for
Louis Mayencourt79c70cc2019-11-29 15:05:14 +0000219 more information on the restrictions around the address type.
220 If the base address is omitted then the partition manager must map a memory
221 region of the specified size into the partition's translation regime and
222 then communicate the region properties (including the base address chosen
223 by the partition manager) to the partition.
224
Davidson Kac22a772024-09-03 16:35:37 +0530225- load-address-relative-offset
226 - value type: <u64>
227 - Offset relative to the load address of the partition.
228 When this is provided in the partition manifest, it should be added to the
229 load address to get the base address of the region. The secure partition
230 manifest can have either "base-address" or "load-address-relative-offset".
231 It cannot have both.
232
Madhukar Pappireddy3b63eef2024-07-25 17:40:23 -0500233- stream-ids
234 - value type: <prop-encoded-array>
235 - List of IDs belonging to a DMA capable peripheral device that has access to
236 the memory region represented by current node.
237 - Each ID must have been declared in exactly one device region node.
238
239- smmu-id
240 - value type: <u32>
241 - Identifies the SMMU IP that enforces the access control for the DMA device
242 that owns the above stream-ids.
243
244- stream-ids-access-permissions
245 - value type: <prop-encoded-array>
246 - List of attributes representing the instruction and data access permissions
247 used by the DMA device streams to access the memory region represented by
248 current node.
249
250.. _device_region_node:
251
Louis Mayencourt00f85082020-04-08 13:04:33 +0100252Device Regions
Louis Mayencourt79c70cc2019-11-29 15:05:14 +0000253--------------
254
255- compatible [mandatory]
256 - value type: <string>
J-Alves662af362020-05-07 18:42:25 +0100257 - Must be the string "arm,ffa-manifest-device-regions".
Louis Mayencourt79c70cc2019-11-29 15:05:14 +0000258
259- description
260 - value type: <string>
261 - Name of the device region e.g. for debugging purposes.
262
Olivier Deprez79a91382022-05-12 18:17:05 +0200263- pages-count [mandatory]
264 - value type: <u32>
265 - Count of pages of memory region as a multiple of the translation granule
266 size
Louis Mayencourt79c70cc2019-11-29 15:05:14 +0000267
268- attributes [mandatory]
269 - value type: <u32>
Louis Mayencourt00f85082020-04-08 13:04:33 +0100270 - Mapping modes: ORed to get required permission
271
272 - 0x1: Read
273 - 0x2: Write
274 - 0x4: Execute
Olivier Deprez79a91382022-05-12 18:17:05 +0200275 - 0x8: Security state
276
277- base-address [mandatory]
278 - value type: <u64>
279 - Base address of the region. The address must be aligned to the translation
280 granule size.
281 The address given may be a Physical Address (PA), Virtual Address (VA), or
282 Intermediate Physical Address (IPA). Refer to the FF-A specification for
283 more information on the restrictions around the address type.
Louis Mayencourt79c70cc2019-11-29 15:05:14 +0000284
285- smmu-id
286 - value type: <u32>
287 - On systems with multiple System Memory Management Units (SMMUs) this
288 identifier is used to inform the partition manager which SMMU the device is
289 upstream of. If the field is omitted then it is assumed that the device is
290 not upstream of any SMMU.
291
Louis Mayencourt00f85082020-04-08 13:04:33 +0100292- stream-ids
Louis Mayencourt79c70cc2019-11-29 15:05:14 +0000293 - value type: <prop-encoded-array>
Madhukar Pappireddy3b63eef2024-07-25 17:40:23 -0500294 - List of IDs where an ID is a unique <u32> value amongst all devices assigned
295 to the partition.
Louis Mayencourta5bb3892020-03-27 11:49:20 +0000296
Madhukar Pappireddy3b63eef2024-07-25 17:40:23 -0500297- interrupts
Louis Mayencourt79c70cc2019-11-29 15:05:14 +0000298 - value type: <prop-encoded-array>
299 - A list of (id, attributes) pair describing the device interrupts, where:
Louis Mayencourta5bb3892020-03-27 11:49:20 +0000300
Louis Mayencourt79c70cc2019-11-29 15:05:14 +0000301 - id: The <u32> interrupt IDs.
Olivier Deprez79a91382022-05-12 18:17:05 +0200302 - attributes: A <u32> value, containing attributes for each interrupt ID:
Louis Mayencourta5bb3892020-03-27 11:49:20 +0000303
Olivier Deprez79a91382022-05-12 18:17:05 +0200304 +----------------------+----------+
305 |Field | Bit(s) |
306 +----------------------+----------+
307 | Priority | 7:0 |
308 +----------------------+----------+
309 | Security state | 8 |
310 +----------------------+----------+
311 | Config(Edge/Level) | 9 |
312 +----------------------+----------+
313 | Type(SPI/PPI/SGI) | 11:10 |
314 +----------------------+----------+
315
316 Security state:
317 - Secure: 1
318 - Non-secure: 0
319
320 Configuration:
321 - Edge triggered: 0
322 - Level triggered: 1
323
324 Type:
325 - SPI: 0b10
326 - PPI: 0b01
327 - SGI: 0b00
Louis Mayencourt79c70cc2019-11-29 15:05:14 +0000328
Raghu Krishnamurthy9b5a3602023-01-16 12:43:40 -0800329- interrupts-target
330 - value type: <prop-encoded-array>
331 - A list of (id, mpdir upper bits, mpidr lower bits) tuples describing which
332 mpidr the interrupt is routed to, where:
333
334 - id: The <u32> interrupt ID. Must be one of those specified in the
335 "interrupts" field.
336 - mpidr upper bits: The <u32> describing the upper bits of the 64 bits
337 mpidr
338 - mpidr lower bits: The <u32> describing the lower bits of the 64 bits
339 mpidr
340
Louis Mayencourt79c70cc2019-11-29 15:05:14 +0000341- exclusive-access
342 - value type: <empty>
343 - Presence of this field implies that this endpoint must be granted exclusive
David Horstmann5d9101b2020-11-12 15:19:04 +0000344 access and ownership of this device's MMIO region.
Louis Mayencourt79c70cc2019-11-29 15:05:14 +0000345
346--------------
347
Madhukar Pappireddy3b63eef2024-07-25 17:40:23 -0500348*Copyright (c) 2019-2024, Arm Limited and Contributors. All rights reserved.*