040000 tree c234a983452852185f2ea2f2873506e12808914b	kelvin-binary
040000 tree 6ee0d735e95542da571832d046ef8b57299937fc	kelvin-gcc
040000 tree 91d7d02f64aa003bd4ee21e47a9fa0274837f797	vendor