BR2_PACKAGE_RPI_FIRMWARE=y
BR2_PACKAGE_RPI_FIRMWARE_VARIANT_PI4=y

# TF-A for Raspberry Pi 4
# Requires additional settings in config.txt:
#   armstub=bl31.bin
#   enable_uart=1
#   enable_gic=1
# BR2_TARGET_ARM_TRUSTED_FIRMWARE=y
# BR2_TARGET_ARM_TRUSTED_FIRMWARE_PLATFORM="rpi4"
# BR2_TARGET_ARM_TRUSTED_FIRMWARE_BL31=y
# BR2_TARGET_ARM_TRUSTED_FIRMWARE_CUSTOM_VERSION=y
# BR2_TARGET_ARM_TRUSTED_FIRMWARE_CUSTOM_VERSION_VALUE="v2.6"
