100644 blob fc90d178310df763ae7bfe194cc36a0f29b0a2d5	defaults.tc
040000 tree def6f1326063d9ced60d4f42e3e0ad8010e938e1	microkernel
040000 tree a230b7caf14e3f5a7cf483dff18aa15c564966bf	nanokernel