diff options
| -rw-r--r-- | src/soc/rockchip/rk3399/soc.c | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/src/soc/rockchip/rk3399/soc.c b/src/soc/rockchip/rk3399/soc.c index 4418a27a25..37de652983 100644 --- a/src/soc/rockchip/rk3399/soc.c +++ b/src/soc/rockchip/rk3399/soc.c @@ -25,6 +25,7 @@ #include <stdlib.h> #include <string.h> #include <symbols.h> +#include <arm-trusted-firmware/plat/rockchip/rk3399/include/shared/bl31_param.h> static void soc_read_resources(device_t dev) { @@ -33,10 +34,11 @@ static void soc_read_resources(device_t dev) static void soc_init(device_t dev) { - /* reserve bl31 image, which define in - * arm-trusted-firmware/plat/rockchip/rk3399/include/platform_def.h + /* + * Reserve the whole TZRAM area because it will be marked as secure-only + * by BL31 and can not be accessed by the non-secure kernel. */ - mmio_resource(dev, 1, (0x10000 / KiB), (0x80000 / KiB)); + mmio_resource(dev, 1, (TZRAM_BASE / KiB), (TZRAM_SIZE / KiB)); if (IS_ENABLED(CONFIG_MAINBOARD_DO_NATIVE_VGA_INIT) && display_init_required()) rk_display_init(dev); |