100644 blob 66c4868cb822acb706248f7eb11672c21566ae5c	plat_sip_calls.h
100644 blob 2878437687bf42d7d9d91e565a8aff82c590e188	plat_sp_min.ld.S
100644 blob d9e0bc64c92aaae26d6f42813a076e24e74a4bf1	platform_def.h
040000 tree 6a7ec7ea75b83e803e546bf4f7e7719e73e51bdb	shared