040000 tree ccdf1670691d74f7d7fce2c6bc8dea2a6a24b0ef	FileSystem
040000 tree ec0e014c013082e4dc3ef3eec3f44d358e89c006	Full
040000 tree abdd871a4c30b7694f4f9458801d85312dbb575c	Minimal
040000 tree 194009bcea79e35f52745b76381801affe169bb0	Utils
040000 tree 42132ed9e393154c5adc6a545f00f2219437bf11	drivers
040000 tree 4f746d1a653e2b7a69a8f3aba64a892cba1349c2	ethernet
040000 tree 12568934d9b98aaa00b03caf04d3b8bdba6233e1	include