100644 blob fc90d178310df763ae7bfe194cc36a0f29b0a2d5	defaults.tc
040000 tree 351974b55ea63814209839fc7052226ff612ff55	microkernel
040000 tree e456960e1a705d8c4dedd9353cba62b21d25a866	nanokernel