040000 tree ccdf1670691d74f7d7fce2c6bc8dea2a6a24b0ef	FileSystem
040000 tree 9d7eced11bcbdd211d872113333b6d5566a03a10	Full
040000 tree 89754b10c7b0124158a554a4ffd8635a07cab81b	Minimal
040000 tree 42132ed9e393154c5adc6a545f00f2219437bf11	drivers
040000 tree 89fa619b9f7cd90f9c9791fc1da54d3e7cc97540	ethernet
040000 tree d7bbc2c0baee0538c74e5e5b8d22964a30b1a3c6	include