+++ /dev/null
-COMPATIBLE_MACHINE = "raspberrypi4"
-TFA_BUILD_TARGET = "bl31"
-TFA_PLATFORM = "rpi4"
-
-# Skip installing the binary into /lib/firmware. We only need it on the boot
-# partition that is generated from the files in DEPLOYDIR
-do_install[noexec] = "1"
-
-FILES:${PN} = ""
-
-do_deploy() {
- if ${@"true" if d.getVar('TFA_DEBUG') == '1' else "false"}; then
- BUILD_PLAT=${B}/${BUILD_DIR}/debug/
- else
- BUILD_PLAT=${B}/${BUILD_DIR}/release/
- fi
-
- install -d ${DEPLOYDIR}/bcm2835-bootfiles
- cp ${BUILD_PLAT}/bl31.bin ${DEPLOYDIR}/bcm2835-bootfiles/bl31.bin
-}
-