040000 tree 7968f61311d0686f859d6ce7b41d457a38c0bad1	common
100644 blob bfae023aa4fc47527c65873d63afaf5d38478c67	kernel.rst
040000 tree 73a67027f50369a5a5968bdd1293b4f4e6cc2d60	microkernel
040000 tree 7ecb7199b78a6afa915f49a0ec025f4ee1932ac6	nanokernel
040000 tree e5339922016709faea8c1e3a4141bae75d7d5c4c	overview