040000 tree 61e1410ba499980afdad3ddb4ac4badfbb20bf7a	common
100644 blob bfae023aa4fc47527c65873d63afaf5d38478c67	kernel.rst
040000 tree f2cd2692037bcc4d60998b2d2abe32f18c8c105d	microkernel
040000 tree 88f76de39366fe30d7b2c5b5b23da743e12f360b	nanokernel
040000 tree 894fbd8b2b200842287e17446e1a633318e4225e	overview