100644 blob f18b3073244bbc33f94b332527bc70d5967eb303	Kconfig
100644 blob 7b3596f1b6e488c0b102772d53a9f40115b53938	Makefile
040000 tree 94b442d712da3a2a084976c5f70bd0a78b54b0d0	microkernel
040000 tree 9c48ca77e033306ad519da77ab082b696dbe4e50	nanokernel