040000 tree b935a1c73dedd16c858f0fa9b10597c55eeb4748	dummy
040000 tree c80f12104bb0ba44bd686f5e5136b4d28694ca56	freertos
040000 tree 92d7233a191b4ed994376ae2b76c84303a0ef20e	linux
040000 tree 402b88733824a719eca93fb61223674173fe2054	mynewt
040000 tree bc18dc6352312c66e7b78f350931639b4e8ffe2a	nuttx
040000 tree c362dd87be6e7935311bd78daedd378bd920f1bd	riot