pkgbase = linux-vfio
	pkgdesc = Linux
	pkgver = 5.13.9.arch1
	pkgrel = 2
	url = https://github.com/archlinux/linux/commits/v5.13.9-arch1
	arch = x86_64
	license = GPL2
	makedepends = bc
	makedepends = kmod
	makedepends = libelf
	makedepends = pahole
	makedepends = cpio
	makedepends = perl
	makedepends = tar
	makedepends = xz
	makedepends = xmlto
	makedepends = python-sphinx
	makedepends = python-sphinx_rtd_theme
	makedepends = graphviz
	makedepends = imagemagick
	makedepends = git
	options = !strip
	source = archlinux-linux::git+https://github.com/archlinux/linux?signed#tag=v5.13.9-arch1
	source = config
	source = add-acs-overrides.patch
	source = i915-vga-arbiter.patch
	validpgpkeys = ABAF11C65A2970B130ABE3C479BE3E4300411886
	validpgpkeys = 647F28654894E3BD457199BE38DBBDC86092693E
	validpgpkeys = A2FF3A36AAA56654109064AB19802F8B0D70FC30
	validpgpkeys = C7E7849466FE2358343588377258734B41C31549
	sha256sums = SKIP
	sha256sums = 6b3672ffafb1b29bde3eb76dc27d1a41cc2f8349068a6532717c3d4764a2d238
	sha256sums = b90be7b79652be61f7d50691000f6a8c75a240dc2eee2667b68d984f67583f77
	sha256sums = 1c621f67bbf9efef610d1b2d1afd727fca9ceaa298f807bd0348b59ec6ce9562

pkgname = linux-vfio
	pkgdesc = The Linux kernel and modules
	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
	provides = VIRTUALBOX-GUEST-MODULES
	provides = WIREGUARD-MODULE
	replaces = virtualbox-guest-modules-arch
	replaces = wireguard-arch

pkgname = linux-vfio-headers
	pkgdesc = Headers and scripts for building modules for the Linux kernel
	depends = pahole

pkgname = linux-vfio-docs
	pkgdesc = Documentation for the Linux kernel