040000 tree e60504cd1a44410c58006a501038e0219bcfbfab	board
100644 blob dad1085f8c0319fa784dc8d4c7f3fcc1a0b71a63	mvebu_def.h
100644 blob 6862a86706194a2ebc86eb13414a8c800714b42d	plat_bl31_setup.c
100644 blob 4f7ac08c49e097d4d25f6bd46047fe48a0366544	platform.mk