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