040000 tree 7968f61311d0686f859d6ce7b41d457a38c0bad1	common
040000 tree 6f0152df4b8d5d07cd07b3a2630dc6ca47fb77f3	devices
100644 blob 642bcc7074a961d5cdc63f74ca45a04ac3eedd26	kernel.rst
040000 tree 331ca0ebf6a1cfb59b29add51fa3762fcf1c93a9	microkernel
040000 tree 77a5ea50000343592f5ab8451a663c4cea6d0fd9	nanokernel
040000 tree 076c39acb2a4c78affa705cb023f2d54d7ab1f43	networking
040000 tree e5339922016709faea8c1e3a4141bae75d7d5c4c	overview