[Linaro-uefi] [PATCH] platforms.config: hikey960: Build OP-TEE by default

Signed-off-by: Victor Chong victor.chong@linaro.org --- platforms.config | 5 +++++ 1 file changed, 5 insertions(+)

diff --git a/platforms.config b/platforms.config index 6fc8f1f..6d3abff 100644 --- a/platforms.config +++ b/platforms.config @@ -220,6 +220,11 @@ ARCH=AARCH64 UEFI_BIN=BL33_AP_UEFI.fd UEFI_IMAGE_DIR=HiKey960 BUILD_ATF=yes +ATF_SPD=opteed +TOS_BIN=tee-pager.bin +TOS_PLATFORM=hikey +TOS_PLATFORM_FLAVOR=hikey960 +BUILD_TOS=yes SCP_BIN=OpenPlatformPkg/Platforms/Hisilicon/HiKey960/Binary/lpm3.img # Uncomment this to use UART5 as the EDK2 console for v1 hardware #BUILDFLAGS=-DSERIAL_BASE=0xFDF05000