pkgbase = linux-vanilla-selinux-419
	pkgdesc = Vanilla-Linux-Kernel (4.19) from kernel.org with Selinux enabled.
	pkgver = 4.19.159
	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.19.159.tar.xz
	source = https://www.kernel.org/pub/linux/kernel/v4.x/linux-4.19.159.tar.sign
	source = config
	source = linux-vanilla-selinux-419.install
	source = 60-linux.hook
	source = 90-linux.hook
	source = linux-vanilla-selinux-419.preset
	source = sphinx-workaround.patch
	validpgpkeys = ABAF11C65A2970B130ABE3C479BE3E4300411886
	validpgpkeys = 647F28654894E3BD457199BE38DBBDC86092693E
	sha256sums = 60cb0bdb79ef76063ad6d99c5945164200fa82b2e1cc0c509d42e99ff2a6b0a4
	sha256sums = bd0861213999f862678fca8283215204ce2b9693052b2042b872ae718f00e8f6
	sha256sums = 9e20ecea75ea42016f6c730805ba92f8885ee8a677b8f617d1a3864c86432f6a
	sha256sums = f9b13f3c00be95205ccb77ead42881ecbf0f7ba0d0ad12af294e054272859d81
	sha256sums = 5c7af03d9b4cade110543ba706bcbd49fc6447726258b4bfec0edff7ca9994d1
	sha256sums = 9089c8d44982dc03b0dde47632f8aa2fda14754b911acbc266feee85da94b0f5
	sha256sums = ad6344badc91ad0630caacde83f7f9b97276f80d26a20619a87952be65492c65
	sha256sums = 4befd6244fd1e933519f7e589aa4dc24639500e3e911620636be5e0c0aa5f719

pkgname = linux-vanilla-selinux-419
	pkgdesc = The Linux-vanilla-selinux-419 kernel and modules
	install = linux-vanilla-selinux-419.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-419.preset

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

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