040000 tree ccdf1670691d74f7d7fce2c6bc8dea2a6a24b0ef	FileSystem
040000 tree 2c8256a5f2ccfe5b4fa3ea5348c8f924e3518a5a	Full
040000 tree d35c8b10de0e642c43a7d228f66d02004a18ff81	Minimal
040000 tree 42132ed9e393154c5adc6a545f00f2219437bf11	drivers
040000 tree 24fbf953d818258cba2b9c4adb98714cc4a3bc7e	ethernet
040000 tree 5957eb12d7979913f6be93171d3d9aeac21fde1b	include