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