040000 tree 72677c9b72409208a2d5f890c08f1f07cf6f20a3	include
040000 tree 332ec8522806f7ff8f221cdb8c8e7d0cc293e6c4	intel_sdsi
040000 tree 02575dfa1acf1a8a22ea77edf9d3c86fc046ffdf	kcpuid
040000 tree 776f6ce42467769b324f32f4682505ad09c2ed91	lib
040000 tree c605c609be12f80b2989cb78933d5880dc69e431	tools