Tell TF-A in EL3 about TEE message buffers.
This must be enabled by a flag in the manifest, as it won't work without
the matching support in TF-A, e.g. in the case of running tests on QEMU
without TF-A.
Bug: 132429380
Change-Id: I0a0848c7b1afb416d98c0afeabcc4601abf9d193
diff --git a/src/init.c b/src/init.c
index 2f241b8..d224d49 100644
--- a/src/init.c
+++ b/src/init.c
@@ -19,6 +19,8 @@
#include <stdalign.h>
#include <stddef.h>
+#include "hf/arch/tee.h"
+
#include "hf/api.h"
#include "hf/boot_flow.h"
#include "hf/boot_params.h"
@@ -158,5 +160,10 @@
/* Enable TLB invalidation for VM page table updates. */
mm_vm_enable_invalidation();
+ if (manifest.spci_tee_enabled) {
+ /* Set up message buffers for TEE dispatcher. */
+ arch_tee_init();
+ }
+
dlog_info("Hafnium initialisation completed\n");
}