pkgbase = linux-selinux
	pkgver = 4.13.9
	pkgrel = 1
	url = https://www.kernel.org/
	arch = i686
	arch = x86_64
	groups = selinux
	license = GPL2
	makedepends = xmlto
	makedepends = kmod
	makedepends = inetutils
	makedepends = bc
	makedepends = libelf
	options = !strip
	source = https://www.kernel.org/pub/linux/kernel/v4.x/linux-4.13.tar.xz
	source = https://www.kernel.org/pub/linux/kernel/v4.x/linux-4.13.tar.sign
	source = https://www.kernel.org/pub/linux/kernel/v4.x/patch-4.13.9.xz
	source = https://www.kernel.org/pub/linux/kernel/v4.x/patch-4.13.9.sign
	source = config.i686
	source = config.x86_64
	source = 90-linux.hook
	source = linux.preset
	validpgpkeys = ABAF11C65A2970B130ABE3C479BE3E4300411886
	validpgpkeys = 647F28654894E3BD457199BE38DBBDC86092693E
	sha256sums = 2db3d6066c3ad93eb25b973a3d2951e022a7e975ee2fa7cbe5bddf84d9a49a2c
	sha256sums = SKIP
	sha256sums = 22156e82467c7911d226a0a887eba19103434efc104439a3b426a3fa551fb8f2
	sha256sums = SKIP
	sha256sums = 6b79a38e44b3da918df3f2623fa4230c21583e3e588329c5671b3e210d4447c5
	sha256sums = 414422d290d5ec62eff7c1f9f5c0db422630e924cdb3f8ae33862e31639d6806
	sha256sums = 834bd254b56ab71d73f59b3221f056c72f559553c04718e350ab2a3e2991afe0
	sha256sums = ad6344badc91ad0630caacde83f7f9b97276f80d26a20619a87952be65492c65

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

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

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