100644 blob 8eddd62b7287db00a2ab1fa3b4b29b7765c6083e	Kconfig
100644 blob 7b3596f1b6e488c0b102772d53a9f40115b53938	Makefile
040000 tree 96c49dddbf3db37cc5acb51d8b58a281f2661ae3	microkernel
040000 tree b8534c0350b4fa900d2c905d99b1986d870186ae	nanokernel