pkgbase = linux-vfio
	pkgdesc = Linux
	pkgver = 6.19.14
	pkgrel = 1
	url = https://www.kernel.org
	arch = x86_64
	license = GPL-2.0-or-later
	makedepends = bc
	makedepends = cpio
	makedepends = gettext
	makedepends = libelf
	makedepends = pahole
	makedepends = perl
	makedepends = python
	makedepends = rust
	makedepends = rust-bindgen
	makedepends = rust-src
	makedepends = tar
	makedepends = xz
	makedepends = graphviz
	makedepends = imagemagick
	makedepends = python-sphinx
	makedepends = python-yaml
	makedepends = texlive-latexextra
	options = !debug
	options = !strip
	source = https://cdn.kernel.org/pub/linux/kernel/v6.x/linux-6.19.14.tar.xz
	source = https://cdn.kernel.org/pub/linux/kernel/v6.x/linux-6.19.14.tar.sign
	source = config-6.19.14::https://gitlab.archlinux.org/archlinux/packaging/packages/linux/-/raw/6.19.14.arch1-1/config.x86_64
	source = 1001-6.14.0-add-acs-overrides.patch
	source = 1002-6.18.0-i915-vga-arbiter.patch
	source = https://github.com/archlinux/linux/releases/download/v6.19.14-arch1/linux-v6.19.14-arch1.patch.zst
	source = https://github.com/archlinux/linux/releases/download/v6.19.14-arch1/linux-v6.19.14-arch1.patch.zst.sig
	validpgpkeys = ABAF11C65A2970B130ABE3C479BE3E4300411886
	validpgpkeys = 647F28654894E3BD457199BE38DBBDC86092693E
	validpgpkeys = 83BC8889351B5DEBBB68416EB8AC08600F108CDF
	sha256sums = cde8bf6739be4a0777fedbbba5330b8188c55680c45a922a4dfa289cbec6f185
	sha256sums = SKIP
	sha256sums = SKIP
	sha256sums = 6bca6264da6717402ec89ec5ed06b8997fe3df7a20a3a57eb5a85f64e12bc396
	sha256sums = 323fc06392a6c10d7eb3d844cde527fa7709c82f776238cebc98d8c966b06549
	sha256sums = SKIP
	sha256sums = SKIP

pkgname = linux-vfio
	pkgdesc = The Linux kernel and modules (ACS override and i915 VGA arbiter patches)
	depends = coreutils
	depends = initramfs
	depends = kmod
	optdepends = linux-vfio-headers: headers and scripts for building modules
	optdepends = linux-firmware: firmware images needed for some devices
	optdepends = scx-scheds: to use sched-ext schedulers
	optdepends = wireless-regdb: to set the correct wireless channels of your country
	provides = KSMBD-MODULE
	provides = NTSYNC-MODULE
	provides = VIRTUALBOX-GUEST-MODULES
	provides = WIREGUARD-MODULE

pkgname = linux-vfio-headers
	pkgdesc = Headers and scripts for building modules for the Linux kernel (ACS override and i915 VGA arbiter patches)
	depends = pahole
	provides = LINUX-HEADERS
