9e315b0cad
It should be possible to compile ARM_TRUSTED_FIRMWARE without u-boot or EDK2. For example, one might want to produce "bl31.bin" for use as an init stub for the Raspberry Pi 4. Signed-off-by: Christian Stewart <christian@paral.in> Signed-off-by: Thomas Petazzoni <thomas.petazzoni@bootlin.com> |
||
---|---|---|
.. | ||
afboot-stm32 | ||
arm-trusted-firmware | ||
at91bootstrap | ||
at91bootstrap3 | ||
at91dataflashboot | ||
barebox | ||
beaglev-ddrinit | ||
beaglev-secondboot | ||
binaries-marvell | ||
boot-wrapper-aarch64 | ||
edk2 | ||
grub2 | ||
gummiboot | ||
lpc32xxcdl | ||
mv-ddr-marvell | ||
mxs-bootlets | ||
opensbi | ||
optee-os | ||
s500-bootloader | ||
shim | ||
sun20i-d1-spl | ||
syslinux | ||
uboot | ||
vexpress-firmware | ||
common.mk | ||
Config.in |