040000 tree efc7738d864daf0adbb6675a291c1032db27b089	corstone1000
040000 tree cca81c83f5951821d08b4da4137a99b3578d005e	integrator
040000 tree 90dcc8252c9efdf4b07348dafb2ff5a95a67b7a5	total_compute
040000 tree a9e0d7da09aa00753b2847a5a479bfce8297c7b0	vexpress
040000 tree 9a96f72412373bec63e237ef1a2d068d4915181c	vexpress64