040000 tree f185101bd96e3de501a36ac1079e7fc8aaec2239	corstone1000
040000 tree 8357d9081e3538c0aa0383d15fa12e297382af43	integrator
040000 tree 8a0f7511b2ca1dc002e496366ceadacad5b2cc38	total_compute
040000 tree b33d659cca2497ccd866ee32ad9bdbc2c2b10801	vexpress
040000 tree 22c93fcbfa3f0421229069b8f9ed7dbfa827f112	vexpress64