040000 tree 0788a0d885109f2111e7ed29072a3176d1a9d0b6	aarch64
040000 tree db82ad2d87752efd8c248b4b0d59d81fbc20c59a	include
100644 blob 3ff180ea6172007fb975e07a49e5abf5bad80d34	platform.mk
100644 blob de582b3249cb1853c0ae1dadfca52478afbd86c2	rpi4_bl31_setup.c