040000 tree ccdf1670691d74f7d7fce2c6bc8dea2a6a24b0ef	FileSystem
040000 tree 9d7eced11bcbdd211d872113333b6d5566a03a10	Full
040000 tree 87b93961d6cb2fcb756969fb2b9eaa57239e0d16	Minimal
040000 tree 42132ed9e393154c5adc6a545f00f2219437bf11	drivers
040000 tree 179e7ca796568adf0afa17cd44c30f348a2973ca	ethernet
040000 tree d7bbc2c0baee0538c74e5e5b8d22964a30b1a3c6	include