warp7: Print out the OPTEE DRAM region

Right now a region of 0x300000 bytes is allocated at the end of DRAM for
the purposes of loading an OPTEE firmware inside of it. This patch adds the
printout of the relevant address ranges.

Signed-off-by: Bryan O'Donoghue <bryan.odonoghue@linaro.org>
Tested-by: Breno Lima <breno.lima@nxp.com>
Reviewed-by: Fabio Estevam <fabio.estevam@nxp.com>

diff --git a/board/warp7/warp7.c b/board/warp7/warp7.c
index 56f0cdd..da52b18 100644 (file)
--- a/board/warp7/warp7.c
+++ b/board/warp7/warp7.c
@@ -181,7 +181,17 @@ int checkboard(void)
        else
                mode = "non-secure";
 
+#ifdef CONFIG_OPTEE_TZDRAM_SIZE
+       unsigned long optee_start, optee_end;
+
+       optee_end = PHYS_SDRAM + PHYS_SDRAM_SIZE;
+       optee_start = optee_end - CONFIG_OPTEE_TZDRAM_SIZE;
+
+       printf("Board: WARP7 in %s mode OPTEE DRAM 0x%08lx-0x%08lx\n",
+              mode, optee_start, optee_end);
+#else
        printf("Board: WARP7 in %s mode\n", mode);
+#endif
 
        return 0;
 }