From d76be85cc980d2f81b67f7329f4fe7482fdf6f90 Mon Sep 17 00:00:00 2001
From: Anas Nashif <anas.nashif@intel.com>
Date: Tue, 26 May 2015 10:29:03 -0400
Subject: [PATCH] Kconfig: change kernel names in menu

Change-Id: Ib4409cfb8da273b0fd9a40e089d47a1fb0ffe0bc

Signed-off-by: Anas Nashif <anas.nashif@intel.com>
---
 kernel/Kconfig | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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