040000 tree aebe0fd21336f958ecd520761dea62a981c04999	common
040000 tree 1586e56ca468a95539ca30b44cfce54145be4695	devices
100644 blob 642bcc7074a961d5cdc63f74ca45a04ac3eedd26	kernel.rst
040000 tree 04ff2d3b79da3c4c58828ff1551a592359072d01	microkernel
040000 tree 2242f8caa2aa2431886060da0efb7485239b5f6d	nanokernel
040000 tree 076c39acb2a4c78affa705cb023f2d54d7ab1f43	networking
040000 tree 670e50e661749e648fa1a75f407c63ea333cc943	overview