menu "Kernel"
choice
	prompt "Kernel type"
	default BR2_KERNEL_none

config BR2_KERNEL_none
	bool "none"
	help
	  Do not build a kernel

config BR2_KERNEL_LINUX_ADVANCED
	bool "linux (Advanced configuration)"
	select BR2_PACKAGE_LINUX
	help
	  The Linux kernel - Advanced Configuration.
	  http://www.kernel.org/

	  Note: Requires kernel-headers >= 2.6.19 since the other
	        kernel headers are just that (headers) and not full
	        kernels. This is a feature.

# The kernel with the same version as linux headers cannot be compiled
# when using an external toolchain, because the linux headers are not
# handled by Buildroot in this case.
if BR2_TOOLCHAIN_BUILDROOT

config BR2_KERNEL_LINUX
	bool "linux (Same version as linux headers)"
	select BR2_PACKAGE_LINUX
	help
	  The Linux kernel.
	  http://www.kernel.org/

	  Note: Requires kernel-headers >= 2.6.19 since the other
	        kernel headers are just that (headers) and not full
	        kernels. This is a feature.

endif

endchoice

config BR2_PACKAGE_LINUX
	bool

if BR2_PACKAGE_LINUX
source "target/linux/Config.in"
source "target/linux/Config.in.advanced"
endif

endmenu