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 ls1028ardb

PLATFORM=ls-ls1028ardb

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

NXP i.MX8MQEVK Board

PLATFORM=imx-imx8mqevk

Yes

Yes

NXP i.MX8MMEVK Board

PLATFORM=imx-imx8mmevk

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

Renesas RZ/G

PLATFORM=rzg

Yes

Yes

Rockchip PX30

PLATFORM=rockchip-px30

No

Yes

Rockchip RK322X

PLATFORM=rockchip-rk322x

No

Yes

Rockchip RK3399

PLATFORM=rockchip-rk3399

Yes

Yes

STMicroelectronics b2260 - h410 (96boards fmt)

PLATFORM=stm-b2260

No

Yes

STMicroelectronics b2120 - h310 / h410

PLATFORM=stm-cannes

No

Yes

STMicroelectronics STM32MP1 series

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

AMD/Xilinx Versal ACAP

PLATFORM=versal

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)