040000 tree 17142b6fd22b44039fa0e4e79d763ed3d280643a	corstone1000
040000 tree 8357d9081e3538c0aa0383d15fa12e297382af43	integrator
040000 tree 1979ecbfc0b4f4c1eec1a10dd0cce0b4a8b25609	total_compute
040000 tree b33d659cca2497ccd866ee32ad9bdbc2c2b10801	vexpress
040000 tree 22c93fcbfa3f0421229069b8f9ed7dbfa827f112	vexpress64