040000 tree d44f980b082718ad2cd76e9a6b0f5458c5fca441	include
100644 blob ea0f001e89953b57947cfce8e4c5e2178744d898	platform.mk
100644 blob ec13ade0e68f70e7248155ad43502fae3dfc9430	warp7_bl2_el3_setup.c