1 files changed, 36 insertions, 0 deletions
diff --git a/config/kernel.in b/config/kernel.in
new file mode 100644
index 00000000..414ab26d
--- /dev/null
+++ b/config/kernel.in
@@ -0,0 +1,36 @@
+# Kernel options
+
+menu "Kernel"
+
+choice
+    bool
+    prompt "\"Kernel\" to use:"
+    default KERNEL_LINUX
+
+config KERNEL_LINUX
+    bool
+    prompt "linux"
+    help
+      Build a toolchain targeting systems running Linux as a kernel.
+
+config KERNEL_CYGWIN
+    bool
+    prompt "cygwin"
+    depends on ARCH_x86 || ARCH_x86_64
+    help
+      Build a toolchain targeting systems running Windows/cygwin as a kernel.
+
+endchoice
+
+config KERNEL_VERSION
+    string
+
+if KERNEL_LINUX
+source config/kernel_linux.in
+endif
+
+if KERNEL_CYGWIN
+source config/kernel_cygwin.in
+endif
+
+endmenu