1 files changed, 4 insertions, 0 deletions
diff --git a/config/kernel.in b/config/kernel.in
index 44eebe7c..607917de 100644
--- a/config/kernel.in
+++ b/config/kernel.in
@@ -2,6 +2,10 @@
 
 menu "Kernel"
 
+config KERNEL
+    string
+    default "linux" if KERNEL_LINUX
+
 choice
     bool
     prompt "Target OS"