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