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