rockchip: rk3399: configure the DDR secure region for BL31 image
Move the BL31 loaded base address 0x10000 to 0x1000, and configure
the the memory range 0~1MB is secure, the goal is that make sure
the BL31 image will be not modified.

Signed-off-by: Xing Zheng <zhengxing@rock-chips.com>
1 parent 1830f79 commit 941c71475e1b7a3ac41e61aac1ed5d3b7304b59b
@Xing Zheng Xing Zheng authored on 24 Feb 2017
Showing 3 changed files
View
plat/rockchip/rk3399/drivers/soc/soc.c
View
plat/rockchip/rk3399/drivers/soc/soc.h
View
plat/rockchip/rk3399/include/platform_def.h