100644 blob dbb5950c69af84b2238f8ef9d7634bc85788b096	defs.objs
040000 tree 98f72240e455f9fd5cec09c198d92a82c36734c0	microkernel
040000 tree 169cedf6ac64c72f4fa822a49686922a45fd08ec	nanokernel