pkgbase = linux-x32
	pkgver = 4.2.5
	pkgrel = 1.1
	url = http://www.kernel.org/
	arch = i686
	arch = x86_64
	license = GPL2
	makedepends = xmlto
	makedepends = docbook-xsl
	makedepends = kmod
	makedepends = inetutils
	makedepends = bc
	options = !strip
	source = https://www.kernel.org/pub/linux/kernel/v4.x/linux-4.2.tar.xz
	source = https://www.kernel.org/pub/linux/kernel/v4.x/linux-4.2.tar.sign
	source = https://www.kernel.org/pub/linux/kernel/v4.x/patch-4.2.5.xz
	source = https://www.kernel.org/pub/linux/kernel/v4.x/patch-4.2.5.sign
	source = config
	source = config.x86_64
	source = linux.preset
	source = change-default-console-loglevel.patch
	sha256sums = cf20e044f17588d2a42c8f2a450b0fd84dfdbd579b489d93e9ab7d0e8b45dbeb
	sha256sums = SKIP
	sha256sums = b631eb4e8b4911b31111b0838e00f7c4a1b7689abcd2233609831b638493f4fb
	sha256sums = SKIP
	sha256sums = 6921399a0e304f6c64cff17226ce3f20ebe8194f14ebcd318989f2515d8248ad
	sha256sums = 684ceab9b2e1fef094e79a4e2beb9f6dc104f826b9cc8b29069b178bf7c08080
	sha256sums = f0d90e756f14533ee67afda280500511a62465b4f76adcc5effa95a40045179c
	sha256sums = 1256b241cd477b265a3c2d64bdc19ffe3c9bbcee82ea3994c590c2c76e767d99

pkgname = linux-x32
	pkgdesc = The Linux-x32 kernel (CONFIG_X86_X32=y) and modules
	install = linux.install
	depends = coreutils
	depends = linux-firmware
	depends = kmod
	depends = mkinitcpio>=0.7
	optdepends = crda: to set the correct wireless channels of your country
	backup = etc/mkinitcpio.d/linux-x32.preset

pkgname = linux-x32-headers
	pkgdesc = Header files and scripts for building modules for Linux-x32 kernel