diff --git a/kernel/Kconfig b/kernel/Kconfig index 3871a817ba4..8eddd62b728 100644 --- a/kernel/Kconfig +++ b/kernel/Kconfig @@ -35,10 +35,10 @@ prompt "Kernel Type" default MICROKERNEL config NANOKERNEL - bool "NANOKERNEL" + bool "Nano Kernel" config MICROKERNEL - bool "MICROKERNEL" + bool "Micro Kernel" endchoice