pkgbase = linux-vfio
	pkgver = 4.16.10
	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://www.kernel.org/pub/linux/kernel/v4.x/linux-4.16.tar.xz
	source = https://www.kernel.org/pub/linux/kernel/v4.x/linux-4.16.tar.sign
	source = https://www.kernel.org/pub/linux/kernel/v4.x/patch-4.16.10.xz
	source = https://www.kernel.org/pub/linux/kernel/v4.x/patch-4.16.10.sign
	source = config
	source = 60-linux.hook
	source = 90-linux.hook
	source = linux.preset
	source = 0001-add-sysctl-to-disallow-unprivileged-CLONE_NEWUSER-by.patch
	source = 0002-drm-i915-edp-Only-use-the-alternate-fixed-mode-if-it.patch
	source = add-acs-overrides.patch
	source = i915-vga-arbiter.patch
	validpgpkeys = ABAF11C65A2970B130ABE3C479BE3E4300411886
	validpgpkeys = 647F28654894E3BD457199BE38DBBDC86092693E
	sha256sums = 63f6dc8e3c9f3a0273d5d6f4dca38a2413ca3a5f689329d05b750e4c87bb21b9
	sha256sums = SKIP
	sha256sums = 9fe6093be401fe0ff3f6cb3d428f137119a7befaf86d70f18c7e88871c1852d6
	sha256sums = SKIP
	sha256sums = 8566a49997faf3f8678440c52578a7a0ee901e598d3b67d3bee3799fb92e8f86
	sha256sums = ae2e95db94ef7176207c690224169594d49445e04249d2499e9d2fbc117a0b21
	sha256sums = 75f99f5239e03238f88d1a834c50043ec32b1dc568f2cc291b07d04718483919
	sha256sums = ad6344badc91ad0630caacde83f7f9b97276f80d26a20619a87952be65492c65
	sha256sums = 7fb607fe384dd814e9e45d7fc28f7b5b23a51d80784c54bf9209486ad428be14
	sha256sums = ceaa19e0af3842c62eb666a4ac5c79d89b3e6d00593442f18d6508ca6d74bbaa
	sha256sums = abe269c6596b54a412bd8415472153f419026d4f367fa3ee1ebc8693ac66915d
	sha256sums = fe3d47fe6f54d4a82c869fd29484d3f097b5906ef4d456409961a8dd647daad0

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

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

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