040000 tree b32b1d09514d331005fc8c04309e100f172e1aed	include
040000 tree 81a292e3e2cfc180cd0c63af182207b0c9098842	intel_sdsi
040000 tree a00b0bbe985cb5a8e1b88044475537f6049a8880	kcpuid
040000 tree e8f044041ef1157187fde4f5482f6ad94de583cc	lib
040000 tree c605c609be12f80b2989cb78933d5880dc69e431	tools