DEPRECATED DO NOT USE https://github.com/ARM-software/arm-trusted-firmware has official Pi 4 support. This was parallel effort to support Pi 4. It is not relevant anymore and has only historical interest.