040000 tree 7968f61311d0686f859d6ce7b41d457a38c0bad1	common
040000 tree 6f0152df4b8d5d07cd07b3a2630dc6ca47fb77f3	devices
100644 blob 642bcc7074a961d5cdc63f74ca45a04ac3eedd26	kernel.rst
040000 tree 379e82875b87e23a4c1c48aa2082199aebc90519	microkernel
040000 tree 475fdd3b4637709d9f852465ccfd5c1b98ad6a78	nanokernel
040000 tree 076c39acb2a4c78affa705cb023f2d54d7ab1f43	networking
040000 tree e5339922016709faea8c1e3a4141bae75d7d5c4c	overview