040000 tree 463ed8814cdd211adfbcf1931aa4d126d4c99fcb	include
040000 tree 81a292e3e2cfc180cd0c63af182207b0c9098842	intel_sdsi
040000 tree 02575dfa1acf1a8a22ea77edf9d3c86fc046ffdf	kcpuid
040000 tree 29db486380cc1204d203fecfb78c714a3d7e8561	lib
040000 tree c605c609be12f80b2989cb78933d5880dc69e431	tools