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