040000 tree ccdf1670691d74f7d7fce2c6bc8dea2a6a24b0ef	FileSystem
040000 tree 90eea07b94b19957d6d9e4f150b5c687b15ef375	Full
040000 tree 896e7c700b8894eb83b1edd6c262f8242c12afe0	Minimal
040000 tree 42132ed9e393154c5adc6a545f00f2219437bf11	drivers
040000 tree 20d6ca1bc719496105226980a035186e5b180e9a	ethernet
040000 tree 4805324016efafae05922604d351279fa3650249	include