menu "Board Support Options"

config BR2_PACKAGE_LINUX
	bool "linux kernel"
	default n
	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.

source "target/device/AMD/Config.in"
source "target/device/Arm/Config.in"
source "target/device/Atmel/Config.in"
source "target/device/Hitachi/Config.in"
source "target/device/jp/Config.in"
source "target/device/Sharp/Config.in"
source "target/device/Soekris/Config.in"
source "target/device/Via/Config.in"
source "target/device/x86/Config.in"

# This must be last
source "target/generic/Config.in"

endmenu