diff options
| -rw-r--r-- | platforms.config | 5 |
1 files changed, 5 insertions, 0 deletions
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 |