040000 tree ccdf1670691d74f7d7fce2c6bc8dea2a6a24b0ef	FileSystem
040000 tree 51c27d8a517448e71dfbd2f793e0026bcda4515d	Full
040000 tree bf7808d103376ddafa622e96682485480dc15937	Minimal
040000 tree 42132ed9e393154c5adc6a545f00f2219437bf11	drivers
040000 tree 4754ea0d02f860aca68f1031b24ed9b5cd28f90d	ethernet
040000 tree da1ae766c949d7353d7ae6b3ea3183423da95f57	include