040000 tree ccdf1670691d74f7d7fce2c6bc8dea2a6a24b0ef	FileSystem
040000 tree f85b53ec639ae9d713432712f6d0f175e7ebe02b	Full
040000 tree bb60277fdde82b3f04327fb6948dfadcb93047dd	Minimal
040000 tree 3cf9f065fa97c73c894155609c5fcdf486cc550c	drivers
040000 tree d449fb13cd1cdcd473fab411cc23f440a35a2a86	ethernet
040000 tree f15d6fe0d92ff7ad9af97a71d20d30c9edc3385b	include