040000 tree 61e1410ba499980afdad3ddb4ac4badfbb20bf7a	common
100644 blob bfae023aa4fc47527c65873d63afaf5d38478c67	kernel.rst
040000 tree f2cd2692037bcc4d60998b2d2abe32f18c8c105d	microkernel
040000 tree 9d867c1374e62c6934a452f78e0e421025d7a017	nanokernel
040000 tree 81976bda1ca1eb6642c48e8a08306e79fc6f3ea1	overview