100644 blob fc90d178310df763ae7bfe194cc36a0f29b0a2d5	defaults.tc
040000 tree 0650830173011c0bb7a86d42cf1efa6bee7fcde7	microkernel
040000 tree 3900c353d13340dcce81d84f240c1461c853aa51	nanokernel