diff --git a/juno.mk b/juno.mk
index 8311308c476a362a4d6730214727c26611cf08cb..3b5b61b8d351ccf9df6a4eda9090498bd12acecb 100644
--- a/juno.mk
+++ b/juno.mk
@@ -40,7 +40,9 @@ ARM_TF_EXPORTS ?= \
 
 ARM_TF_FLAGS ?= \
 	SCP_BL2=$(ROOT)/vexpress-firmware/SOFTWARE/bl30.bin \
-	BL32=$(OPTEE_OS_BIN) \
+	BL32=$(OPTEE_OS_HEADER_V2_BIN) \
+	BL32_EXTRA1=$(OPTEE_OS_PAGER_V2_BIN) \
+	BL32_EXTRA2=$(OPTEE_OS_PAGEABLE_V2_BIN) \
 	BL33=$(U-BOOT_BIN) \
 	DEBUG=0 \
 	ARM_TSP_RAM_LOCATION=dram \