040000 tree 8b0cef20284023130f22ca2d5b22c2693f006f2a	drivers
040000 tree a5a8b99980469cb898abbfc201e40e213c66416e	include
100644 blob a4b8e55cad91b1047ce63a0aafc48dfc273e3f8a	plat_sip_calls.c
100644 blob d1299d4afe1758705e2a1a4328fa4b6f63e3e7a4	platform.mk
100644 blob efe789e1ec35b81fa80b06b043c4143934c82dc6	px30_def.h