pkgbase = linux-vanilla-selinux-414
	pkgdesc = Vanilla-Linux-Kernel (4.14) from kernel.org with Selinux enabled. Without docs. Will be fixed in the next builds (Problem with Sphinx).
	pkgver = 4.14.204
	pkgrel = 1
	url = https://www.kernel.org/
	arch = x86_64
	license = GPL2
	makedepends = bc
	makedepends = kmod
	makedepends = libelf
	makedepends = xmlto
	makedepends = python-sphinx
	makedepends = python-sphinx_rtd_theme
	makedepends = graphviz
	makedepends = imagemagick
	makedepends = git
	options = !strip
	source = https://www.kernel.org/pub/linux/kernel/v4.x/linux-4.14.204.tar.xz
	source = https://www.kernel.org/pub/linux/kernel/v4.x/linux-4.14.204.tar.sign
	source = config
	source = linux-vanilla-selinux-414.install
	source = 60-linux.hook
	source = 90-linux.hook
	source = linux-vanilla-selinux-414.preset
	source = sphinx-workaround.patch
	validpgpkeys = ABAF11C65A2970B130ABE3C479BE3E4300411886
	validpgpkeys = 647F28654894E3BD457199BE38DBBDC86092693E
	sha256sums = 9e832899ec75dbfce393c9f7a07df24183b28f0bb95ad4dd8b1fa027bc668ad9
	sha256sums = 7cf7f712e721fc5fef9a43df7a173a4df3a227914484849dc45fc191b0066392
	sha256sums = 57474aff2fe1de0ee4d6444e75fd2733a9146df921005a4e0ba9777c57ebc25c
	sha256sums = f9b13f3c00be95205ccb77ead42881ecbf0f7ba0d0ad12af294e054272859d81
	sha256sums = 5c7af03d9b4cade110543ba706bcbd49fc6447726258b4bfec0edff7ca9994d1
	sha256sums = 9089c8d44982dc03b0dde47632f8aa2fda14754b911acbc266feee85da94b0f5
	sha256sums = ad6344badc91ad0630caacde83f7f9b97276f80d26a20619a87952be65492c65
	sha256sums = c95ff43a104590c467522183bda330b0678c244c4f5d6fe0ad85386cb4527fb1

pkgname = linux-vanilla-selinux-414
	pkgdesc = The Linux-vanilla-selinux-414 kernel and modules
	install = linux-vanilla-selinux-414.install
	depends = coreutils
	depends = kmod
	depends = initramfs
	optdepends = crda: to set the correct wireless channels of your country
	optdepends = linux-firmware: firmware images needed for some devices
	backup = etc/mkinitcpio.d/linux-vanilla-selinux-414.preset

pkgname = linux-vanilla-selinux-414-headers
	pkgdesc = Header files and scripts for building modules for Linux-vanilla-selinux-414 kernel

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