040000 tree ccdf1670691d74f7d7fce2c6bc8dea2a6a24b0ef	FileSystem
040000 tree 307b02f6c59d81254e65552edb8a4b37877d7dc9	Full
040000 tree a783a93398f0e33bd8fe918fe1208bf4edb84f6d	Minimal
040000 tree 42132ed9e393154c5adc6a545f00f2219437bf11	drivers
040000 tree 7ec637ac6960dc342cd4769a9627dcee9e655b59	ethernet
040000 tree f409d1f9078fe46e906ba246623d2dfe69629465	include