040000 tree 17142b6fd22b44039fa0e4e79d763ed3d280643a	corstone1000
040000 tree 8357d9081e3538c0aa0383d15fa12e297382af43	integrator
040000 tree dfd5e665d3e4f08871a234c736b99399751e966f	total_compute
040000 tree b33d659cca2497ccd866ee32ad9bdbc2c2b10801	vexpress
040000 tree 410a89982f8de59182f7aa287129d748c51feb96	vexpress64