/kernel/
../
Kconfig
Makefile
configs
microkernel
nanokernel
unified