pkgbase = linux
	pkgver = 3.14.12_rt9
	pkgrel = 1
	url = http://rt.wiki.kernel.org/
	arch = i686
	arch = x86_64
	license = GPL2
	makedepends = xmlto
	makedepends = docbook-xsl
	makedepends = kmod
	makedepends = inetutils
	makedepends = bc
	source = https://www.kernel.org/pub/linux/kernel/v3.x/linux-3.14.tar.xz
	source = https://www.kernel.org/pub/linux/kernel/v3.x/patch-3.14.12.xz
	source = https://www.kernel.org/pub/linux/kernel/projects/rt/3.14/patch-3.14.12-rt9.patch.xz
	source = ati9200_pllfix-3.14.diff
	source = avga3000-3.14.diff
	source = linux-3.14.diff
	source = config
	source = config.x86_64
	source = linux.preset
	source = change-default-console-loglevel.patch
	source = 0001-Bluetooth-allocate-static-minor-for-vhci.patch
	source = 0002-module-allow-multiple-calls-to-MODULE_DEVICE_TABLE-p.patch
	source = 0003-module-remove-MODULE_GENERIC_TABLE.patch
	source = 0006-genksyms-fix-typeof-handling.patch
	options = !strip

pkgname = linux
	pkgdesc = The Linux Kernel and modules (with realtime preemption).
	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.preset

pkgname = linux-headers
	pkgdesc = Header files and scripts for building modules for linux kernel (with realtime preemption).

pkgname = linux-docs
	pkgdesc = Kernel hackers manual - HTML documentation that comes with the Linux kernel (with realtime preemption).

