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