040000 tree 765812a6bda6e52d2e60cecece000c75784c4950	include
040000 tree 81a292e3e2cfc180cd0c63af182207b0c9098842	intel_sdsi
040000 tree 02575dfa1acf1a8a22ea77edf9d3c86fc046ffdf	kcpuid
040000 tree 04f39429489dad2b9bdd5c8a8a16d59bcb978ac2	lib
040000 tree c605c609be12f80b2989cb78933d5880dc69e431	tools