100644 blob c0eb6df9589ab649006b634deccc99c22db4d97f	defaults.tc
040000 tree a7973a2f2fa68412093a6a24724689a167962207	microkernel
040000 tree 22ddb95484d316f3345558b36433914e00e3af1f	nanokernel