#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"
--- /dev/null
+config BR2_PACKAGE_HURD
+ bool "Hurd kernel"
+ depends on BR2_KERNEL_HURD
+ default y
+ help
+ The GNU/Hurd kernel.
+ http://www.gnu.org/software/hurd/
+
+ FIXME: Currently not implemented.
+
+
-menu "Linux Options"
+#comment "Linux kernel options"
config BR2_PACKAGE_LINUX
bool "linux kernel"
- default n
+ depends on BR2_KERNEL_LINUX
+ default y
help
The Linux kernel.
http://www.kernel.org/
Copy kernel to secondary location
endif
-endmenu