040000 tree d041aab9c2d52ce93af2771603d93ab178e03ba7	board
100644 blob dad1085f8c0319fa784dc8d4c7f3fcc1a0b71a63	mvebu_def.h
100644 blob 6862a86706194a2ebc86eb13414a8c800714b42d	plat_bl31_setup.c
100644 blob 050af4199bdcd0f4f8bcb0dd7cba00a59ee645ab	platform.mk