pkgbase = linux-vfio-selinux
	pkgver = 4.18.15
	pkgrel = 1
	url = https://www.kernel.org/
	arch = x86_64
	license = GPL2
	makedepends = xmlto
	makedepends = kmod
	makedepends = inetutils
	makedepends = bc
	makedepends = libelf
	options = !strip
	source = https://cdn.kernel.org/pub/linux/kernel/v4.x/linux-4.18.tar.xz
	source = https://cdn.kernel.org/pub/linux/kernel/v4.x/linux-4.18.tar.sign
	source = https://cdn.kernel.org/pub/linux/kernel/v4.x/patch-4.18.15.xz
	source = config
	source = 60-linux.hook
	source = 90-linux.hook
	source = linux.preset
	source = add-acs-overrides.patch
	source = i915-vga-arbiter.patch
	validpgpkeys = ABAF11C65A2970B130ABE3C479BE3E4300411886
	validpgpkeys = 647F28654894E3BD457199BE38DBBDC86092693E
	sha256sums = 19d8bcf49ef530cd4e364a45b4a22fa70714b70349c8100e7308488e26f1eaf1
	sha256sums = SKIP
	sha256sums = b94445d2d8919adc01f840088b6a70b26a10dd1beb38c3b0217408e14a7e341d
	sha256sums = fb798c4bc70c6ee62b061420c3b9a2772683d16b86d29c46c45385c331afaf72
	sha256sums = ae2e95db94ef7176207c690224169594d49445e04249d2499e9d2fbc117a0b21
	sha256sums = 8f407ad5ff6eff106562ba001c36a281134ac9aa468a596aea660a4fe1fd60b5
	sha256sums = 99d0102c8065793096b8ea2ccc01c41fa3dcb96855f9f6f2c583b2372208c6f9
	sha256sums = 4b6df9e82460ef1fb2b55fec2d01b8ace8331547e5d3b374a42bb84271e4f866
	sha256sums = 7cb4a5da6bf551dbb2db2e0b4e4d0774ee98cc30d9e617e030b27e6cba3e6293

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

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

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