040000 tree 7968f61311d0686f859d6ce7b41d457a38c0bad1	common
100644 blob bfae023aa4fc47527c65873d63afaf5d38478c67	kernel.rst
040000 tree 667b00a514386d22dc4bd60c72dcb03c68b9d422	microkernel
040000 tree 0d6db168339754b59b0dc4ab28b94292265f008e	nanokernel
040000 tree e5339922016709faea8c1e3a4141bae75d7d5c4c	overview