menu "Nanokernel Options"

source "kernel/nanokernel/core/Kconfig"

endmenu