040000 tree f930c00b03b32d96b8a6269efbfe3e9f6565cce6	include
040000 tree 332ec8522806f7ff8f221cdb8c8e7d0cc293e6c4	intel_sdsi
040000 tree 38af2b16cfaa65ee15b8ac064cb1c5f2117bfc92	kcpuid
040000 tree df7f4aec4bcd220fca7efb2f1b8907992a9c8ddf	lib
040000 tree c605c609be12f80b2989cb78933d5880dc69e431	tools