100644 blob dbb5950c69af84b2238f8ef9d7634bc85788b096	defs.objs
040000 tree 2bf6eb3b85ee39024013e9739c35bc19a4914437	microkernel
040000 tree b548ddc7c126bab14fea9786b22034c614e73476	nanokernel