040000 tree ccdf1670691d74f7d7fce2c6bc8dea2a6a24b0ef	FileSystem
040000 tree 81faf1d2a65ee2731389ecadb27b4f3387d8206f	Full
040000 tree e58e488dbf102e8a0dbc120edf8f60d778c1bd69	Minimal
040000 tree 2c9b6a5f51b5d41020d5d715a71226054fefc3e9	drivers
040000 tree 9cf3db72955b546757186661f4ea66b77c1e2f66	ethernet
040000 tree 45bc4a3bb38f5338df3de2670796cb6589dcaf0a	include