100644 blob e97057b1efa7065f98f0a64243fc2212a66d231a	Kconfig
100644 blob 9b6e2c70418980ccdac70dac0121e3f7ce366536	Makefile
040000 tree 42c5c06fb1d3497a070301352520ff41288a303b	configs
040000 tree 16a3de0ecf5bd4bab63d5d56f602838c074fc6a4	microkernel
040000 tree 89f6fbd02786693c4b40b3fbcbc8075da4ed9057	nanokernel
040000 tree 62fb5007f4d1304ab8976b684c3792331e112b98	unified