blob: 5b586f12c0e1aec3a2f8d876d3dc1fd379ddfb99 [file] [log] [blame]
David Brazdil7a462ec2019-08-15 12:27:47 +01001/*
2 * Copyright 2019 The Hafnium Authors.
3 *
Andrew Walbrane959ec12020-06-17 15:01:09 +01004 * Use of this source code is governed by a BSD-style
5 * license that can be found in the LICENSE file or at
6 * https://opensource.org/licenses/BSD-3-Clause.
David Brazdil7a462ec2019-08-15 12:27:47 +01007 */
8
9#include "hf/manifest.h"
10
11#include "hf/addr.h"
12#include "hf/check.h"
Andrew Scullae9962e2019-10-03 16:51:16 +010013#include "hf/dlog.h"
David Brazdil7a462ec2019-08-15 12:27:47 +010014#include "hf/fdt.h"
15#include "hf/static_assert.h"
16#include "hf/std.h"
17
18#define TRY(expr) \
19 do { \
20 enum manifest_return_code ret_code = (expr); \
21 if (ret_code != MANIFEST_SUCCESS) { \
22 return ret_code; \
23 } \
24 } while (0)
25
David Brazdilb856be62020-03-25 10:14:55 +000026#define VM_ID_MAX (HF_VM_ID_OFFSET + MAX_VMS - 1)
27#define VM_ID_MAX_DIGITS (5)
28#define VM_NAME_EXTRA_CHARS (3) /* "vm" + number + '\0' */
29#define VM_NAME_MAX_SIZE (VM_ID_MAX_DIGITS + VM_NAME_EXTRA_CHARS)
30static_assert(VM_NAME_MAX_SIZE <= STRING_MAX_SIZE,
31 "VM name does not fit into a struct string.");
32static_assert(VM_ID_MAX <= 99999, "Insufficient VM_NAME_BUF_SIZE");
33static_assert(HF_TEE_VM_ID > VM_ID_MAX,
Andrew Walbran9daa57e2019-09-27 13:33:20 +010034 "TrustZone VM ID clashes with normal VM range.");
David Brazdil7a462ec2019-08-15 12:27:47 +010035
Andrew Walbranb5ab43c2020-04-30 11:32:54 +010036static inline size_t count_digits(ffa_vm_id_t vm_id)
David Brazdilb856be62020-03-25 10:14:55 +000037{
38 size_t digits = 0;
39
40 do {
41 digits++;
42 vm_id /= 10;
43 } while (vm_id);
44 return digits;
45}
46
David Brazdil7a462ec2019-08-15 12:27:47 +010047/**
48 * Generates a string with the two letters "vm" followed by an integer.
49 * Assumes `buf` is of size VM_NAME_BUF_SIZE.
50 */
Andrew Walbranb5ab43c2020-04-30 11:32:54 +010051static void generate_vm_node_name(struct string *str, ffa_vm_id_t vm_id)
David Brazdil7a462ec2019-08-15 12:27:47 +010052{
53 static const char *digits = "0123456789";
David Brazdilb856be62020-03-25 10:14:55 +000054 size_t vm_id_digits = count_digits(vm_id);
55 char *base = str->data;
56 char *ptr = base + (VM_NAME_EXTRA_CHARS + vm_id_digits);
David Brazdil7a462ec2019-08-15 12:27:47 +010057
David Brazdilb856be62020-03-25 10:14:55 +000058 CHECK(vm_id_digits <= VM_ID_MAX_DIGITS);
David Brazdil7a462ec2019-08-15 12:27:47 +010059 *(--ptr) = '\0';
60 do {
61 *(--ptr) = digits[vm_id % 10];
62 vm_id /= 10;
63 } while (vm_id);
64 *(--ptr) = 'm';
65 *(--ptr) = 'v';
David Brazdilb856be62020-03-25 10:14:55 +000066 CHECK(ptr == base);
David Brazdil7a462ec2019-08-15 12:27:47 +010067}
68
Andrew Scullae9962e2019-10-03 16:51:16 +010069/**
Andrew Scullb2c3a242019-11-04 13:52:36 +000070 * Read a boolean property: true if present; false if not. If present, the value
71 * of the property must be empty else it is considered malformed.
Andrew Scullae9962e2019-10-03 16:51:16 +010072 */
Andrew Scullb2c3a242019-11-04 13:52:36 +000073static enum manifest_return_code read_bool(const struct fdt_node *node,
74 const char *property, bool *out)
Andrew Scullae9962e2019-10-03 16:51:16 +010075{
David Brazdilb856be62020-03-25 10:14:55 +000076 struct memiter data;
77 bool present = fdt_read_property(node, property, &data);
Andrew Scullae9962e2019-10-03 16:51:16 +010078
David Brazdilb856be62020-03-25 10:14:55 +000079 if (present && memiter_size(&data) != 0) {
Andrew Scullb2c3a242019-11-04 13:52:36 +000080 return MANIFEST_ERROR_MALFORMED_BOOLEAN;
81 }
82
83 *out = present;
84 return MANIFEST_SUCCESS;
Andrew Scullae9962e2019-10-03 16:51:16 +010085}
86
Andrew Scull72b43c02019-09-18 13:53:45 +010087static enum manifest_return_code read_string(const struct fdt_node *node,
David Brazdil136f2942019-09-23 14:11:03 +010088 const char *property,
89 struct string *out)
Andrew Scull72b43c02019-09-18 13:53:45 +010090{
David Brazdilb856be62020-03-25 10:14:55 +000091 struct memiter data;
Andrew Scull72b43c02019-09-18 13:53:45 +010092
David Brazdilb856be62020-03-25 10:14:55 +000093 if (!fdt_read_property(node, property, &data)) {
Andrew Scull72b43c02019-09-18 13:53:45 +010094 return MANIFEST_ERROR_PROPERTY_NOT_FOUND;
95 }
96
David Brazdilb856be62020-03-25 10:14:55 +000097 switch (string_init(out, &data)) {
David Brazdil136f2942019-09-23 14:11:03 +010098 case STRING_SUCCESS:
99 return MANIFEST_SUCCESS;
100 case STRING_ERROR_INVALID_INPUT:
101 return MANIFEST_ERROR_MALFORMED_STRING;
102 case STRING_ERROR_TOO_LONG:
103 return MANIFEST_ERROR_STRING_TOO_LONG;
104 }
Andrew Scull72b43c02019-09-18 13:53:45 +0100105}
106
107static enum manifest_return_code read_optional_string(
David Brazdil136f2942019-09-23 14:11:03 +0100108 const struct fdt_node *node, const char *property, struct string *out)
Andrew Scull72b43c02019-09-18 13:53:45 +0100109{
David Brazdil136f2942019-09-23 14:11:03 +0100110 enum manifest_return_code ret;
Andrew Scull72b43c02019-09-18 13:53:45 +0100111
David Brazdil136f2942019-09-23 14:11:03 +0100112 ret = read_string(node, property, out);
113 if (ret == MANIFEST_ERROR_PROPERTY_NOT_FOUND) {
114 string_init_empty(out);
115 ret = MANIFEST_SUCCESS;
Andrew Scull72b43c02019-09-18 13:53:45 +0100116 }
David Brazdil136f2942019-09-23 14:11:03 +0100117 return ret;
Andrew Scull72b43c02019-09-18 13:53:45 +0100118}
119
David Brazdil7a462ec2019-08-15 12:27:47 +0100120static enum manifest_return_code read_uint64(const struct fdt_node *node,
121 const char *property,
122 uint64_t *out)
123{
David Brazdilb856be62020-03-25 10:14:55 +0000124 struct memiter data;
David Brazdil7a462ec2019-08-15 12:27:47 +0100125
David Brazdilb856be62020-03-25 10:14:55 +0000126 if (!fdt_read_property(node, property, &data)) {
David Brazdil7a462ec2019-08-15 12:27:47 +0100127 return MANIFEST_ERROR_PROPERTY_NOT_FOUND;
128 }
129
David Brazdilb856be62020-03-25 10:14:55 +0000130 if (!fdt_parse_number(&data, memiter_size(&data), out)) {
David Brazdil7a462ec2019-08-15 12:27:47 +0100131 return MANIFEST_ERROR_MALFORMED_INTEGER;
132 }
133
134 return MANIFEST_SUCCESS;
135}
136
David Brazdil080ee312020-02-25 15:30:30 -0800137static enum manifest_return_code read_optional_uint64(
138 const struct fdt_node *node, const char *property,
139 uint64_t default_value, uint64_t *out)
140{
141 enum manifest_return_code ret;
142
143 ret = read_uint64(node, property, out);
144 if (ret == MANIFEST_ERROR_PROPERTY_NOT_FOUND) {
145 *out = default_value;
146 return MANIFEST_SUCCESS;
147 }
148 return ret;
149}
150
Olivier Deprez62d99e32020-01-09 15:58:07 +0100151static enum manifest_return_code read_uint32(const struct fdt_node *node,
152 const char *property,
153 uint32_t *out)
154{
155 uint64_t value;
156
157 TRY(read_uint64(node, property, &value));
158
159 if (value > UINT32_MAX) {
160 return MANIFEST_ERROR_INTEGER_OVERFLOW;
161 }
162
163 *out = (uint32_t)value;
164 return MANIFEST_SUCCESS;
165}
166
David Brazdil7a462ec2019-08-15 12:27:47 +0100167static enum manifest_return_code read_uint16(const struct fdt_node *node,
168 const char *property,
169 uint16_t *out)
170{
171 uint64_t value;
172
173 TRY(read_uint64(node, property, &value));
174
175 if (value > UINT16_MAX) {
176 return MANIFEST_ERROR_INTEGER_OVERFLOW;
177 }
178
179 *out = (uint16_t)value;
180 return MANIFEST_SUCCESS;
181}
182
Olivier Deprez62d99e32020-01-09 15:58:07 +0100183static enum manifest_return_code read_uint8(const struct fdt_node *node,
184 const char *property, uint8_t *out)
185{
186 uint64_t value;
187
188 TRY(read_uint64(node, property, &value));
189
190 if (value > UINT8_MAX) {
191 return MANIFEST_ERROR_INTEGER_OVERFLOW;
192 }
193
194 *out = (uint8_t)value;
195 return MANIFEST_SUCCESS;
196}
197
Andrew Scullae9962e2019-10-03 16:51:16 +0100198struct uint32list_iter {
199 struct memiter mem_it;
200};
201
202static enum manifest_return_code read_optional_uint32list(
203 const struct fdt_node *node, const char *property,
204 struct uint32list_iter *out)
205{
David Brazdilb856be62020-03-25 10:14:55 +0000206 struct memiter data;
Andrew Scullae9962e2019-10-03 16:51:16 +0100207
David Brazdilb856be62020-03-25 10:14:55 +0000208 if (!fdt_read_property(node, property, &data)) {
Andrew Scullae9962e2019-10-03 16:51:16 +0100209 memiter_init(&out->mem_it, NULL, 0);
210 return MANIFEST_SUCCESS;
211 }
212
David Brazdilb856be62020-03-25 10:14:55 +0000213 if ((memiter_size(&data) % sizeof(uint32_t)) != 0) {
Andrew Scullae9962e2019-10-03 16:51:16 +0100214 return MANIFEST_ERROR_MALFORMED_INTEGER_LIST;
215 }
216
David Brazdilb856be62020-03-25 10:14:55 +0000217 out->mem_it = data;
Andrew Scullae9962e2019-10-03 16:51:16 +0100218 return MANIFEST_SUCCESS;
219}
220
Andrew Scullae9962e2019-10-03 16:51:16 +0100221static bool uint32list_has_next(const struct uint32list_iter *list)
222{
223 return memiter_size(&list->mem_it) > 0;
224}
225
David Brazdil5ea99462020-03-25 13:01:47 +0000226static enum manifest_return_code uint32list_get_next(
227 struct uint32list_iter *list, uint32_t *out)
Andrew Scullae9962e2019-10-03 16:51:16 +0100228{
Andrew Scullae9962e2019-10-03 16:51:16 +0100229 uint64_t num;
230
231 CHECK(uint32list_has_next(list));
David Brazdilb856be62020-03-25 10:14:55 +0000232 if (!fdt_parse_number(&list->mem_it, sizeof(uint32_t), &num)) {
Andrew Scullae9962e2019-10-03 16:51:16 +0100233 return MANIFEST_ERROR_MALFORMED_INTEGER;
234 }
235
David Brazdil5ea99462020-03-25 13:01:47 +0000236 *out = (uint32_t)num;
237 return MANIFEST_SUCCESS;
Andrew Scullae9962e2019-10-03 16:51:16 +0100238}
239
Olivier Deprez62d99e32020-01-09 15:58:07 +0100240static enum manifest_return_code parse_vm_common(const struct fdt_node *node,
241 struct manifest_vm *vm,
242 ffa_vm_id_t vm_id)
David Brazdil7a462ec2019-08-15 12:27:47 +0100243{
Andrew Scullae9962e2019-10-03 16:51:16 +0100244 struct uint32list_iter smcs;
David Brazdil5ea99462020-03-25 13:01:47 +0000245 size_t idx;
Andrew Scullae9962e2019-10-03 16:51:16 +0100246
Olivier Deprez62d99e32020-01-09 15:58:07 +0100247 TRY(read_bool(node, "is_ffa_partition", &vm->is_ffa_partition));
248
David Brazdil136f2942019-09-23 14:11:03 +0100249 TRY(read_string(node, "debug_name", &vm->debug_name));
Andrew Scullae9962e2019-10-03 16:51:16 +0100250
251 TRY(read_optional_uint32list(node, "smc_whitelist", &smcs));
252 while (uint32list_has_next(&smcs) &&
253 vm->smc_whitelist.smc_count < MAX_SMCS) {
David Brazdil5ea99462020-03-25 13:01:47 +0000254 idx = vm->smc_whitelist.smc_count++;
255 TRY(uint32list_get_next(&smcs, &vm->smc_whitelist.smcs[idx]));
Andrew Scullae9962e2019-10-03 16:51:16 +0100256 }
257
258 if (uint32list_has_next(&smcs)) {
Andrew Walbran17eebf92020-02-05 16:35:49 +0000259 dlog_warning("%s SMC whitelist too long.\n", vm->debug_name);
Andrew Scullae9962e2019-10-03 16:51:16 +0100260 }
261
Andrew Scullb2c3a242019-11-04 13:52:36 +0000262 TRY(read_bool(node, "smc_whitelist_permissive",
263 &vm->smc_whitelist.permissive));
Andrew Scullae9962e2019-10-03 16:51:16 +0100264
Olivier Deprez62d99e32020-01-09 15:58:07 +0100265 if (vm_id != HF_PRIMARY_VM_ID) {
266 TRY(read_uint64(node, "mem_size", &vm->secondary.mem_size));
267 TRY(read_uint16(node, "vcpu_count", &vm->secondary.vcpu_count));
268 }
269
270 return MANIFEST_SUCCESS;
271}
272
273static enum manifest_return_code parse_vm(struct fdt_node *node,
274 struct manifest_vm *vm,
275 ffa_vm_id_t vm_id)
276{
277 TRY(read_optional_string(node, "kernel_filename",
278 &vm->kernel_filename));
279
David Brazdile6f83222019-09-23 14:47:37 +0100280 if (vm_id == HF_PRIMARY_VM_ID) {
281 TRY(read_optional_string(node, "ramdisk_filename",
282 &vm->primary.ramdisk_filename));
David Brazdil080ee312020-02-25 15:30:30 -0800283 TRY(read_optional_uint64(node, "boot_address",
284 MANIFEST_INVALID_ADDRESS,
285 &vm->primary.boot_address));
David Brazdil7a462ec2019-08-15 12:27:47 +0100286 }
Olivier Deprez62d99e32020-01-09 15:58:07 +0100287
David Brazdil7a462ec2019-08-15 12:27:47 +0100288 return MANIFEST_SUCCESS;
289}
290
Olivier Deprez62d99e32020-01-09 15:58:07 +0100291static enum manifest_return_code parse_ffa_manifest(struct fdt *fdt,
292 struct manifest_vm *vm)
293{
294 unsigned int i = 0;
295 struct uint32list_iter uuid;
296 uint32_t uuid_word;
297 struct fdt_node root;
298 struct fdt_node ffa_node;
299 struct string rxtx_node_name = STRING_INIT("rx_tx-info");
300
301 if (!fdt_find_node(fdt, "/", &root)) {
302 return MANIFEST_ERROR_NO_ROOT_NODE;
303 }
304
305 /* Check "compatible" property. */
306 if (!fdt_is_compatible(&root, "arm,ffa-manifest-1.0")) {
307 return MANIFEST_ERROR_NOT_COMPATIBLE;
308 }
309
310 TRY(read_uint32(&root, "ffa-version", &vm->sp.ffa_version));
311 dlog_verbose(" SP expected FF-A version %d.%d\n",
312 vm->sp.ffa_version >> 16, vm->sp.ffa_version & 0xffff);
313
314 TRY(read_optional_uint32list(&root, "uuid", &uuid));
315
316 while (uint32list_has_next(&uuid) && i < 4) {
317 TRY(uint32list_get_next(&uuid, &uuid_word));
318 vm->sp.uuid[i] = uuid_word;
319 i++;
320 }
321 dlog_verbose(" SP UUID %#x-%x-%x_%x\n", vm->sp.uuid[0], vm->sp.uuid[1],
322 vm->sp.uuid[2], vm->sp.uuid[3]);
323
324 TRY(read_uint16(&root, "execution-ctx-count",
325 &vm->sp.execution_ctx_count));
326 dlog_verbose(" SP number of execution context %d\n",
327 vm->sp.execution_ctx_count);
328
329 TRY(read_uint8(&root, "exception-level",
330 (uint8_t *)&vm->sp.run_time_el));
331 dlog_verbose(" SP run-time EL %d\n", vm->sp.run_time_el);
332
333 TRY(read_uint8(&root, "execution-state",
334 (uint8_t *)&vm->sp.execution_state));
335 dlog_verbose(" SP execution state %d\n", vm->sp.execution_state);
336
337 TRY(read_uint64(&root, "load-address", &vm->sp.load_addr));
338 dlog_verbose(" SP load address %#x\n", vm->sp.load_addr);
339
340 TRY(read_uint64(&root, "entrypoint-offset", &vm->sp.ep_offset));
341 dlog_verbose(" SP entry point offset %#x\n", vm->sp.ep_offset);
342
343 TRY(read_uint8(&root, "xlat-granule", (uint8_t *)&vm->sp.xlat_granule));
344 dlog_verbose(" SP translation granule %d\n", vm->sp.xlat_granule);
345
346 ffa_node = root;
347 if (fdt_find_child(&ffa_node, &rxtx_node_name)) {
348 if (!fdt_is_compatible(&ffa_node,
349 "arm,ffa-manifest-rx_tx-buffer")) {
350 return MANIFEST_ERROR_NOT_COMPATIBLE;
351 }
352
353 TRY(read_uint64(&ffa_node, "base-address",
354 &vm->sp.rxtx.base_address));
355
356 TRY(read_uint16(&ffa_node, "pages-count",
357 &vm->sp.rxtx.pages_count));
358
359 TRY(read_uint16(&ffa_node, "attributes",
360 &vm->sp.rxtx.attributes));
361
362 vm->sp.rxtx.rxtx_found = true;
363 }
364
365 TRY(read_uint8(&root, "messaging-method",
366 (uint8_t *)&vm->sp.messaging_method));
367 dlog_verbose(" SP messaging method %d\n", vm->sp.messaging_method);
368
369 return MANIFEST_SUCCESS;
370}
371
372static enum manifest_return_code sanity_check_ffa_manifest(
373 struct manifest_vm *vm)
374{
375 uint16_t ffa_version_major;
376 uint16_t ffa_version_minor;
377 enum manifest_return_code ret_code = MANIFEST_SUCCESS;
378 const char *error_string = "specified in manifest is unsupported";
379
380 /* ensure that the SPM version is compatible */
381 ffa_version_major =
382 (vm->sp.ffa_version & 0xffff0000) >> FFA_VERSION_MAJOR_OFFSET;
383 ffa_version_minor = vm->sp.ffa_version & 0xffff;
384
385 if (ffa_version_major != FFA_VERSION_MAJOR ||
386 ffa_version_minor > FFA_VERSION_MINOR) {
387 dlog_error("FF-A partition manifest version %s: %d.%d\n",
388 error_string, ffa_version_major, ffa_version_minor);
389 ret_code = MANIFEST_ERROR_NOT_COMPATIBLE;
390 }
391
392 if (vm->sp.xlat_granule != PAGE_4KB) {
393 dlog_error("Translation granule %s: %d\n", error_string,
394 vm->sp.xlat_granule);
395 ret_code = MANIFEST_ERROR_NOT_COMPATIBLE;
396 }
397
398 if (vm->sp.execution_state != AARCH64) {
399 dlog_error("Execution state %s: %d\n", error_string,
400 vm->sp.execution_state);
401 ret_code = MANIFEST_ERROR_NOT_COMPATIBLE;
402 }
403
404 if (vm->sp.run_time_el != EL1 && vm->sp.run_time_el != S_EL1) {
405 dlog_error("Exception level %s: %d\n", error_string,
406 vm->sp.run_time_el);
407 ret_code = MANIFEST_ERROR_NOT_COMPATIBLE;
408 }
409
410 if (vm->sp.messaging_method != INDIRECT_MESSAGING) {
411 dlog_error("Messaging method %s: %x\n", error_string,
412 vm->sp.messaging_method);
413 ret_code = MANIFEST_ERROR_NOT_COMPATIBLE;
414 }
415
416 return ret_code;
417}
418
419static enum manifest_return_code parse_ffa_partition_package(
420 struct mm_stage1_locked stage1_locked, struct fdt_node *node,
421 struct manifest_vm *vm, ffa_vm_id_t vm_id, struct mpool *ppool)
422{
423 enum manifest_return_code ret = MANIFEST_ERROR_NOT_COMPATIBLE;
424 uintpaddr_t sp_pkg_addr;
425 paddr_t sp_pkg_start;
426 paddr_t sp_pkg_end;
427 struct sp_pkg_header *sp_pkg;
428 size_t sp_header_dtb_size;
429 paddr_t sp_dtb_addr;
430 struct fdt sp_fdt;
431
432 /*
433 * This must have been hinted as being an FF-A partition,
434 * return straight with failure if this is not the case.
435 */
436 if (!vm->is_ffa_partition) {
437 return MANIFEST_ERROR_NOT_COMPATIBLE;
438 }
439
440 TRY(read_uint64(node, "load_address", &sp_pkg_addr));
441 if (!is_aligned(sp_pkg_addr, PAGE_SIZE)) {
442 return MANIFEST_ERROR_NOT_COMPATIBLE;
443 }
444
445 /* Map top of SP package as a single page to extract the header */
446 sp_pkg_start = pa_init(sp_pkg_addr);
447 sp_pkg_end = pa_add(sp_pkg_start, PAGE_SIZE);
448 sp_pkg = mm_identity_map(stage1_locked, sp_pkg_start,
449 pa_add(sp_pkg_start, PAGE_SIZE), MM_MODE_R,
450 ppool);
451 CHECK(sp_pkg != NULL);
452
453 dlog_verbose("SP package load address %#x\n", sp_pkg_addr);
454
455 if (sp_pkg->magic != SP_PKG_HEADER_MAGIC) {
456 dlog_error("Invalid SP package magic.\n");
457 goto exit_unmap;
458 }
459
460 if (sp_pkg->version != SP_PKG_HEADER_VERSION) {
461 dlog_error("Invalid SP package version.\n");
462 goto exit_unmap;
463 }
464
465 /* Expect SP DTB to immediately follow header */
466 if (sp_pkg->pm_offset != sizeof(struct sp_pkg_header)) {
467 dlog_error("Invalid SP package manifest offset.\n");
468 goto exit_unmap;
469 }
470
471 sp_header_dtb_size = align_up(
472 sp_pkg->pm_size + sizeof(struct sp_pkg_header), PAGE_SIZE);
473 if ((vm_id != HF_PRIMARY_VM_ID) &&
474 (sp_header_dtb_size >= vm->secondary.mem_size)) {
475 dlog_error("Invalid SP package header or DT size.\n");
476 goto exit_unmap;
477 }
478
479 if (sp_header_dtb_size > PAGE_SIZE) {
480 /* Map remainder of header + DTB */
481 sp_pkg_end = pa_add(sp_pkg_start, sp_header_dtb_size);
482
483 sp_pkg = mm_identity_map(stage1_locked, sp_pkg_start,
484 sp_pkg_end, MM_MODE_R, ppool);
485 CHECK(sp_pkg != NULL);
486 }
487
488 sp_dtb_addr = pa_add(sp_pkg_start, sp_pkg->pm_offset);
489 if (!fdt_init_from_ptr(&sp_fdt, (void *)sp_dtb_addr.pa,
490 sp_pkg->pm_size)) {
491 dlog_error("FDT failed validation.\n");
492 goto exit_unmap;
493 }
494
495 ret = parse_ffa_manifest(&sp_fdt, vm);
496 if (ret != MANIFEST_SUCCESS) {
497 goto exit_unmap;
498 }
499
500 ret = sanity_check_ffa_manifest(vm);
501
502exit_unmap:
503 CHECK(mm_unmap(stage1_locked, sp_pkg_start, sp_pkg_end, ppool));
504
505 return ret;
506}
507
David Brazdil7a462ec2019-08-15 12:27:47 +0100508/**
509 * Parse manifest from FDT.
510 */
Olivier Deprez62d99e32020-01-09 15:58:07 +0100511enum manifest_return_code manifest_init(struct mm_stage1_locked stage1_locked,
512 struct manifest *manifest,
513 struct memiter *manifest_fdt,
514 struct mpool *ppool)
David Brazdil7a462ec2019-08-15 12:27:47 +0100515{
David Brazdilb856be62020-03-25 10:14:55 +0000516 struct string vm_name;
517 struct fdt fdt;
David Brazdil7a462ec2019-08-15 12:27:47 +0100518 struct fdt_node hyp_node;
519 size_t i = 0;
520 bool found_primary_vm = false;
521
522 memset_s(manifest, sizeof(*manifest), 0, sizeof(*manifest));
523
David Brazdilb856be62020-03-25 10:14:55 +0000524 if (!fdt_init_from_memiter(&fdt, manifest_fdt)) {
525 return MANIFEST_ERROR_FILE_SIZE; /* TODO */
David Brazdila2358d42020-01-27 18:51:38 +0000526 }
527
David Brazdil7a462ec2019-08-15 12:27:47 +0100528 /* Find hypervisor node. */
David Brazdilb856be62020-03-25 10:14:55 +0000529 if (!fdt_find_node(&fdt, "/hypervisor", &hyp_node)) {
David Brazdil7a462ec2019-08-15 12:27:47 +0100530 return MANIFEST_ERROR_NO_HYPERVISOR_FDT_NODE;
531 }
532
David Brazdil74e9c3b2019-08-28 11:09:08 +0100533 /* Check "compatible" property. */
David Brazdilf4925382020-03-25 13:33:51 +0000534 if (!fdt_is_compatible(&hyp_node, "hafnium,hafnium")) {
David Brazdil74e9c3b2019-08-28 11:09:08 +0100535 return MANIFEST_ERROR_NOT_COMPATIBLE;
536 }
537
Andrew Walbranb5ab43c2020-04-30 11:32:54 +0100538 TRY(read_bool(&hyp_node, "ffa_tee", &manifest->ffa_tee_enabled));
Andrew Walbran41a49d82020-01-10 17:46:38 +0000539
David Brazdil7a462ec2019-08-15 12:27:47 +0100540 /* Iterate over reserved VM IDs and check no such nodes exist. */
541 for (i = 0; i < HF_VM_ID_OFFSET; i++) {
Andrew Walbranb5ab43c2020-04-30 11:32:54 +0100542 ffa_vm_id_t vm_id = (ffa_vm_id_t)i;
David Brazdil7a462ec2019-08-15 12:27:47 +0100543 struct fdt_node vm_node = hyp_node;
David Brazdil7a462ec2019-08-15 12:27:47 +0100544
David Brazdilb856be62020-03-25 10:14:55 +0000545 generate_vm_node_name(&vm_name, vm_id);
546 if (fdt_find_child(&vm_node, &vm_name)) {
David Brazdil7a462ec2019-08-15 12:27:47 +0100547 return MANIFEST_ERROR_RESERVED_VM_ID;
548 }
549 }
550
551 /* Iterate over VM nodes until we find one that does not exist. */
552 for (i = 0; i <= MAX_VMS; ++i) {
Andrew Walbranb5ab43c2020-04-30 11:32:54 +0100553 ffa_vm_id_t vm_id = HF_VM_ID_OFFSET + i;
David Brazdil7a462ec2019-08-15 12:27:47 +0100554 struct fdt_node vm_node = hyp_node;
David Brazdil7a462ec2019-08-15 12:27:47 +0100555
David Brazdilb856be62020-03-25 10:14:55 +0000556 generate_vm_node_name(&vm_name, vm_id);
557 if (!fdt_find_child(&vm_node, &vm_name)) {
David Brazdil7a462ec2019-08-15 12:27:47 +0100558 break;
559 }
560
561 if (i == MAX_VMS) {
562 return MANIFEST_ERROR_TOO_MANY_VMS;
563 }
564
565 if (vm_id == HF_PRIMARY_VM_ID) {
566 CHECK(found_primary_vm == false); /* sanity check */
567 found_primary_vm = true;
568 }
569
David Brazdil0251b942019-09-10 15:59:50 +0100570 manifest->vm_count = i + 1;
Olivier Deprez62d99e32020-01-09 15:58:07 +0100571
572 TRY(parse_vm_common(&vm_node, &manifest->vm[i], vm_id));
573
574 if (manifest->vm[i].is_ffa_partition) {
575 TRY(parse_ffa_partition_package(stage1_locked, &vm_node,
576 &manifest->vm[i], vm_id,
577 ppool));
578 } else {
579 TRY(parse_vm(&vm_node, &manifest->vm[i], vm_id));
580 }
David Brazdil7a462ec2019-08-15 12:27:47 +0100581 }
582
583 if (!found_primary_vm) {
584 return MANIFEST_ERROR_NO_PRIMARY_VM;
585 }
586
587 return MANIFEST_SUCCESS;
588}
589
590const char *manifest_strerror(enum manifest_return_code ret_code)
591{
592 switch (ret_code) {
593 case MANIFEST_SUCCESS:
594 return "Success";
David Brazdila2358d42020-01-27 18:51:38 +0000595 case MANIFEST_ERROR_FILE_SIZE:
596 return "Total size in header does not match file size";
Olivier Deprez62d99e32020-01-09 15:58:07 +0100597 case MANIFEST_ERROR_MALFORMED_DTB:
598 return "Malformed device tree blob";
David Brazdila2358d42020-01-27 18:51:38 +0000599 case MANIFEST_ERROR_NO_ROOT_NODE:
600 return "Could not find root node in manifest";
David Brazdil7a462ec2019-08-15 12:27:47 +0100601 case MANIFEST_ERROR_NO_HYPERVISOR_FDT_NODE:
602 return "Could not find \"hypervisor\" node in manifest";
David Brazdil74e9c3b2019-08-28 11:09:08 +0100603 case MANIFEST_ERROR_NOT_COMPATIBLE:
604 return "Hypervisor manifest entry not compatible with Hafnium";
David Brazdil7a462ec2019-08-15 12:27:47 +0100605 case MANIFEST_ERROR_RESERVED_VM_ID:
606 return "Manifest defines a VM with a reserved ID";
607 case MANIFEST_ERROR_NO_PRIMARY_VM:
608 return "Manifest does not contain a primary VM entry";
609 case MANIFEST_ERROR_TOO_MANY_VMS:
610 return "Manifest specifies more VMs than Hafnium has "
611 "statically allocated space for";
612 case MANIFEST_ERROR_PROPERTY_NOT_FOUND:
613 return "Property not found";
614 case MANIFEST_ERROR_MALFORMED_STRING:
615 return "Malformed string property";
David Brazdil0dbb41f2019-09-09 18:03:35 +0100616 case MANIFEST_ERROR_STRING_TOO_LONG:
617 return "String too long";
David Brazdil7a462ec2019-08-15 12:27:47 +0100618 case MANIFEST_ERROR_MALFORMED_INTEGER:
619 return "Malformed integer property";
620 case MANIFEST_ERROR_INTEGER_OVERFLOW:
621 return "Integer overflow";
Andrew Scullae9962e2019-10-03 16:51:16 +0100622 case MANIFEST_ERROR_MALFORMED_INTEGER_LIST:
623 return "Malformed integer list property";
Andrew Scullb2c3a242019-11-04 13:52:36 +0000624 case MANIFEST_ERROR_MALFORMED_BOOLEAN:
625 return "Malformed boolean property";
David Brazdil7a462ec2019-08-15 12:27:47 +0100626 }
627
628 panic("Unexpected manifest return code.");
629}