100644 blob 5ca1a716e53bbe97d99f4c956db7233e537d71b3	bl31_plat_setup.c
040000 tree c2ab06fb29a8e44837a8f8611693dba440e86ed2	include
100644 blob b72bcc41a8d0419690a979e58c6645f4d1ec4579	platform.mk