pkgbase = linux-pae
	pkgver = 4.2.4
	pkgrel = 1
	url = http://www.kernel.org/
	arch = i686
	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.4.xz
	source = https://www.kernel.org/pub/linux/kernel/v4.x/patch-4.2.4.sign
	source = config
	source = linux.preset
	source = change-default-console-loglevel.patch
	sha256sums = cf20e044f17588d2a42c8f2a450b0fd84dfdbd579b489d93e9ab7d0e8b45dbeb
	sha256sums = SKIP
	sha256sums = 104ba869111c7ce037fc92646f9da7352412a73e84cde7467f29cd4b973d6e78
	sha256sums = SKIP
	sha256sums = b4b5b3852a8e76187e24231c22b53cee09c3327774e4130e927359e55fae6c1b
	sha256sums = f0d90e756f14533ee67afda280500511a62465b4f76adcc5effa95a40045179c
	sha256sums = 1256b241cd477b265a3c2d64bdc19ffe3c9bbcee82ea3994c590c2c76e767d99

pkgname = linux-pae
	pkgdesc = The Linux-pae kernel and modules with PAE support (HIGHMEM64G)
	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-pae.preset

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

pkgname = linux-pae-docs
	pkgdesc = Kernel hackers manual - HTML documentation that comes with the Linux-pae kernel