warp7: configs: bl33: Tidy up OPTEE defines
authorBryan O'Donoghue <bryan.odonoghue@linaro.org>
Sat, 4 May 2019 00:08:25 +0000 (01:08 +0100)
committerStefano Babic <sbabic@denx.de>
Fri, 19 Jul 2019 13:13:51 +0000 (15:13 +0200)
When booting in BL33 mode i.e. with u-boot loaded by OP-TEE we get the
following print-out.

Board: WARP7 in secure mode OPTEE DRAM 0xa0000000-0xa0000000

This is incorrect the right range is 0x9e000000-0xa0000000. This patch
fixes the defines on the warp7_bl33_defconfig file to tidy up the output.

Signed-off-by: Bryan O'Donoghue <bryan.odonoghue@linaro.org>
Cc: Fabio Estevam <fabio.estevam@nxp.com>
configs/warp7_bl33_defconfig

index 8a4e294..2ec2249 100644 (file)
@@ -54,4 +54,6 @@ CONFIG_USB_GADGET_DOWNLOAD=y
 CONFIG_USB_ETHER=y
 CONFIG_USB_ETH_CDC=y
 CONFIG_USBNET_HOST_ADDR="de:ad:be:af:00:00"
-CONFIG_OPTEE_TZDRAM_SIZE=0x2000000
+CONFIG_OPTEE=y
+CONFIG_OPTEE_TZDRAM_BASE=0x9e000000
+CONFIG_OPTEE_TZDRAM_SIZE=0x02000000