040000 tree b0579a7e68eceb8e415df605bc9e23269211d8f7	cheriot-llvm
040000 tree cccd019dccc4f97fdcc7e494c35477f55e19edd4	kelvin-binary
040000 tree 6ee0d735e95542da571832d046ef8b57299937fc	kelvin-gcc
040000 tree 91d7d02f64aa003bd4ee21e47a9fa0274837f797	vendor