040000 tree 154c76b8b3ba37c929db876f20a45c65a42497ac	common
100644 blob bfae023aa4fc47527c65873d63afaf5d38478c67	kernel.rst
040000 tree f2cd2692037bcc4d60998b2d2abe32f18c8c105d	microkernel
040000 tree 88f76de39366fe30d7b2c5b5b23da743e12f360b	nanokernel
040000 tree 6bcd2b5b2e5591753e427e40952f5812af3a1184	overview