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.207
	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.207.tar.xz
	source = https://www.kernel.org/pub/linux/kernel/v4.x/linux-4.14.207.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 = 78a753970d98584da0821147d4ee7d469325464cb664fb446b8bb30339240029
	sha256sums = 89188aa931033c1f0eb0a0e077a04abbf000940e236fe45b2cea7d1c7af7787e
	sha256sums = cdc1a6311efaad1e40f00ffcea99d0d86717dcdb9b785109da75d85f5ae4afd7
	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