# config for kernel-headers

menu "kernel                      "
	depends on KERNEL_HEADERS

config KERNEL_HEADERS
	bool

config KERNEL_HEADERS_VERSION
	depends on KERNEL_HEADERS
	string
	prompt "kernel version"
	default "2.6.25"
	help
	  Specify the kernel version here.

config KERNEL_HEADERS_SANITIZED
	depends on KERNEL_HEADERS
	bool
	prompt "use sanitized headers"
	help
	  If selected we use the sanitized kernel headers instead of the
	  original kernel headers.

endmenu