040000 tree ccdf1670691d74f7d7fce2c6bc8dea2a6a24b0ef	FileSystem
040000 tree cb0d45524187ffe17edecdea872926367b5b55ff	Full
040000 tree 7c610224988c5a6c037cbefa56d2e9a239767c48	Minimal
040000 tree 42132ed9e393154c5adc6a545f00f2219437bf11	drivers
040000 tree 179e7ca796568adf0afa17cd44c30f348a2973ca	ethernet
040000 tree c685b3a0883f8d49c98f5bd48cc54f2bd8bfff08	include