Platforms supported

Several platforms are supported. In order to manage slight differences between platforms, a PLATFORM_FLAVOR flag has been introduced. The PLATFORM and PLATFORM_FLAVOR flags define the whole configuration for a chip the where the Trusted OS runs. Note that there is also a composite form which makes it possible to append PLATFORM_FLAVOR directly, by adding a dash in-between the names. The composite form is shown below for the different boards. For more specific details about build flags etc, please read Configuration and flags. Some platforms have different sub-maintainers, please refer to the file MAINTAINERS for contact details for various platforms.

Platforms officially supported in OP-TEE
Platform Composite PLATFORM flag Publicly available? Maintained?
ARM Juno Board PLATFORM=vexpress-juno Yes Yes
Atmel ATSAMA5D2-XULT Board PLATFORM=sam Yes Yes
Broadcom ns3 PLATFORM=bcm-ns3 No Yes
DeveloperBox (Socionext Synquacer SC2A11) PLATFORM=synquacer Yes Yes
FSL ls1021a PLATFORM=ls-ls1021atwr Yes Yes
NXP ls1043ardb PLATFORM=ls-ls1043ardb Yes Yes
NXP ls1046ardb PLATFORM=ls-ls1046ardb Yes Yes
NXP ls1012ardb PLATFORM=ls-ls1012ardb Yes Yes
NXP ls1088ardb PLATFORM=ls-ls1088ardb Yes Yes
NXP ls2088ardb PLATFORM=ls-ls2088ardb Yes Yes
NXP ls1012afrwy PLATFORM=ls-ls1012afrwy Yes Yes
FSL i.MX6 Quad SABRE Lite Board PLATFORM=imx-mx6qsabrelite Yes Yes
FSL i.MX6 Quad SABRE SD Board PLATFORM=imx-mx6qsabresd Yes Yes
SolidRun i.MX6 Quad Hummingboard Edge PLATFORM=imx-mx6qhmbedge Yes Yes
SolidRun i.MX6 Dual Hummingboard Edge PLATFORM=imx-mx6dhmbedge Yes Yes
SolidRun i.MX6 Dual Lite Hummingboard Edge PLATFORM=imx-mx6dlhmbedge Yes Yes
SolidRun i.MX6 Solo Hummingboard Edge PLATFORM=imx-mx6shmbedge Yes Yes
FSL i.MX6 UltraLite EVK Board PLATFORM=imx-mx6ulevk Yes Yes
NXP i.MX7Dual SabreSD Board PLATFORM=imx-mx7dsabresd Yes Yes
NXP i.MX7Solo WaRP7 Board PLATFORM=imx-mx7swarp7 Yes Yes
ARM Foundation FVP PLATFORM=vexpress-fvp Yes Yes
HiSilicon D02 PLATFORM=d02 No Yes
HiSilicon Hi3519AV100 Demo Board PLATFORM=hisilicon-hi3519av100_demo No Yes
HiKey Board (HiSilicon Kirin 620) PLATFORM=hikey` or `PLATFORM=hikey-hikey Yes Yes
HiKey960 Board (HiSilicon Kirin 960) PLATFORM=hikey-hikey960 Yes Yes
Marvell ARMADA 7K Family PLATFORM=marvell-armada7k8k Yes Yes
Marvell ARMADA 8K Family PLATFORM=marvell-armada7k8k Yes Yes
Marvell ARMADA 3700 Family PLATFORM=marvell-armada3700 Yes Yes
MediaTek MT8173 EVB Board PLATFORM=mediatek-mt8173 No Yes
Poplar Board (HiSilicon Hi3798C V200) PLATFORM=poplar Yes Yes
QEMU PLATFORM=vexpress-qemu_virt Yes Yes
QEMUv8 PLATFORM=vexpress-qemu_armv8a Yes Yes
Raspberry Pi 3 PLATFORM=rpi3 Yes Yes
Renesas RCAR PLATFORM=rcar No Yes
Rockchip RK322X PLATFORM=rockchip-rk322x No Yes
STMicroelectronics b2260 - h410 (96boards fmt) PLATFORM=stm-b2260 No Yes
STMicroelectronics b2120 - h310 / h410 PLATFORM=stm-cannes No Yes
STMicroelectronics STM32MP1 series - <http://www.st.com/stm32mp1> PLATFORM=stm32mp1 Yes Yes
Allwinner A64 Pine64 Board PLATFORM=sunxi-sun50i_a64 Yes Yes
Texas Instruments AM65x PLATFORM=k3-am65x Yes Yes
Texas Instruments DRA7xx PLATFORM=ti-dra7xx Yes Yes
Texas Instruments AM57xx PLATFORM=ti-am57xx Yes Yes
Texas Instruments AM43xx PLATFORM=ti-am43xx Yes Yes
Xilinx Zynq 7000 ZC702 PLATFORM=zynq7k-zc702 Yes No (v2.3.0)
Xilinx Zynq UltraScale+ MPSOC PLATFORM=zynqmp-zcu102 Yes No (v2.4.0)
Spreadtrum SC9860 PLATFORM=sprd-sc9860 No No (v2.1.0)