If we're booting in Secure mode, provide a secure-only RAM (just 16MB) so that secure firmware has somewhere to run from that won't be accessible to the Non-secure guest. Signed-off-by: Peter Maydell <peter.maydell@linaro.org> Message-id: 1455288361-30117-2-git-send-email-peter.maydell@linaro.org |
||
|---|---|---|
| .. | ||
| allwinner-a10.h | ||
| arm.h | ||
| bcm2835_peripherals.h | ||
| bcm2836.h | ||
| digic.h | ||
| exynos4210.h | ||
| fdt.h | ||
| fsl-imx25.h | ||
| fsl-imx31.h | ||
| linux-boot-if.h | ||
| omap.h | ||
| primecell.h | ||
| pxa.h | ||
| raspi_platform.h | ||
| sharpsl.h | ||
| soc_dma.h | ||
| stm32f205_soc.h | ||
| sysbus-fdt.h | ||
| virt-acpi-build.h | ||
| virt.h | ||
| xlnx-zynqmp.h | ||