Kconfig: change kernel names in menu

Change-Id: Ib4409cfb8da273b0fd9a40e089d47a1fb0ffe0bc

Signed-off-by: Anas Nashif <anas.nashif@intel.com>
This commit is contained in:
Anas Nashif 2015-05-26 10:29:03 -04:00
commit d76be85cc9

View file

@ -35,10 +35,10 @@ prompt "Kernel Type"
default MICROKERNEL
config NANOKERNEL
bool "NANOKERNEL"
bool "Nano Kernel"
config MICROKERNEL
bool "MICROKERNEL"
bool "Micro Kernel"
endchoice