diff --git a/src/soc/rockchip/rk3399/Kconfig b/src/soc/rockchip/rk3399/Kconfig index 283f6c2c9e..43bb03bd4e 100644 --- a/src/soc/rockchip/rk3399/Kconfig +++ b/src/soc/rockchip/rk3399/Kconfig @@ -6,6 +6,7 @@ config SOC_ROCKCHIP_RK3399 select ARCH_ROMSTAGE_ARMV8_64 select ARCH_VERSTAGE_ARMV8_64 select ARM64_A53_ERRATUM_843419 + select ARM64_USE_ARM_TRUSTED_FIRMWARE select BOOTBLOCK_CONSOLE select DRIVERS_UART_8250MEM_32 select GENERIC_UDELAY diff --git a/src/soc/rockchip/rk3399/Makefile.inc b/src/soc/rockchip/rk3399/Makefile.inc index 773d87f32e..4b67502a37 100644 --- a/src/soc/rockchip/rk3399/Makefile.inc +++ b/src/soc/rockchip/rk3399/Makefile.inc @@ -58,6 +58,7 @@ ramstage-y += ../common/i2c.c ramstage-y += soc.c ramstage-y += timer.c +BL31_MAKEARGS += PLAT=rk3399 ################################################################################ CPPFLAGS_common += -Isrc/soc/rockchip/rk3399/include