summaryrefslogtreecommitdiff
path: root/target/Config.in
diff options
context:
space:
mode:
authorBernhard Reutner-Fischer <rep.dot.nop@gmail.com>2007-09-22 14:53:38 +0000
committerBernhard Reutner-Fischer <rep.dot.nop@gmail.com>2007-09-22 14:53:38 +0000
commitea3aa3aa284645bead2640dbec925d7ef3efea00 (patch)
tree2b573ba3248c196adecbb534fda9dc281b659900 /target/Config.in
parentadf28e194c8a67aca6d8635fa7a10639d5070552 (diff)
- add a more generic "Kernel" menu instead of "Linux Options"
Diffstat (limited to 'target/Config.in')
-rw-r--r--target/Config.in28
1 files changed, 27 insertions, 1 deletions
diff --git a/target/Config.in b/target/Config.in
index 665922d61..a9d5c3537 100644
--- a/target/Config.in
+++ b/target/Config.in
@@ -18,8 +18,34 @@ source "target/x86/grub/Config.in"
#source "target/x86/grub2/Config.in"
source "target/x86/syslinux/Config.in"
source "target/powerpc/yaboot/Config.in"
-
endmenu
+menu "Kernel"
+choice
+ prompt "Kernel type"
+ default BR2_KERNEL_LINUX
+
+config BR2_KERNEL_none
+ bool "none"
+ help
+ Do not build a kernel
+
+config BR2_KERNEL_LINUX
+ bool "linux"
+ help
+ Linux kernel
+
+config BR2_KERNEL_HURD
+ bool "hurd"
+ help
+ GNU/Hurd kernel
+endchoice
+if BR2_KERNEL_LINUX
source "target/linux/Config.in"
+endif
+if BR2_KERNEL_HURD
+source "target/hurd/Config.in"
+endif
+endmenu
+
source "target/device/Config.in"