mirror of
https://gitlab.com/buildroot.org/buildroot.git
synced 2026-08-23 15:54:21 -09:00
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>