4. References

[DT]

Devicetree Specification v0.4

[PI]

UEFI Platform Initialization, PI v1.8A

[ACPI]

Advanced Configuration and Power Interface (ACPI) Specification, ACPI v6.5

[ArmARM]

Arm® Architecture Reference Manual for the A-profile architecture, ARM DDI0487 issue L.a

[OPTEECore]

OP-TEE Core Architecture v4.5

[TFAFFAMB]

TF-A Secure Partition Manager: FF-A manifest binding to device tree v2.12

[TCG_EFI]

Trusted Computing Group EFI Protocol Specification v15

[TF_BL31]

Data structures used in the BL31 cold boot interface v2.12

[SPMCATTR]

The SPMC manifest v2.12: