040000 tree ccdf1670691d74f7d7fce2c6bc8dea2a6a24b0ef	FileSystem
040000 tree 307b02f6c59d81254e65552edb8a4b37877d7dc9	Full
040000 tree 5859e6231e058f33e2ce144d752b5e155c84efc4	Minimal
040000 tree 42132ed9e393154c5adc6a545f00f2219437bf11	drivers
040000 tree 89fa619b9f7cd90f9c9791fc1da54d3e7cc97540	ethernet
040000 tree 4e97d8d2b497d533f97c23629f3c29178f94a883	include