040000 tree 9f51e85723165098b38d755b8cc4ab1a5421399b	aarch64
040000 tree 53548ed643de49ce3e87335f9ad81e4139a8b982	include
100644 blob 2038021a01a6e5bd651e649e87f65e8f061fc811	platform.mk
100644 blob 9e3b539797d22964758760fed6160e71ca25d6bb	rpi4_bl31_setup.c