040000 tree 17142b6fd22b44039fa0e4e79d763ed3d280643a	corstone1000
040000 tree 8357d9081e3538c0aa0383d15fa12e297382af43	integrator
040000 tree 5b2e4162d801feec1b309dcdb6773b284fe8f8b9	total_compute
040000 tree b33d659cca2497ccd866ee32ad9bdbc2c2b10801	vexpress
040000 tree b847a69d9484756822ddaf9fdff981cbaed7afa2	vexpress64