# Generated by mksrcinfo v8
# Fri Oct 27 23:55:37 UTC 2017
pkgbase = linux-vfio
	pkgver = 4.13.9
	pkgrel = 1
	url = http://www.kernel.org/
	arch = i686
	arch = x86_64
	license = GPL2
	makedepends = xmlto
	makedepends = docbook-xsl
	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
	source = config.x86_64
	source = 90-linux.hook
	source = linux.preset
	source = add-acs-overrides.patch
	source = i915-vga-arbiter.patch
	source = revert-usb-memory-fix.patch
	sha256sums = 2db3d6066c3ad93eb25b973a3d2951e022a7e975ee2fa7cbe5bddf84d9a49a2c
	sha256sums = SKIP
	sha256sums = 22156e82467c7911d226a0a887eba19103434efc104439a3b426a3fa551fb8f2
	sha256sums = SKIP
	sha256sums = 9b1d9fcb55782e6149aca4dc2d3b250dd4cedf1bf4bd8c6f0968acab0e2e0ee4
	sha256sums = 9c6c4d27d59638d0569ea09a97138bfcfb219f17cdf1138be141380e6654f302
	sha256sums = 8f407ad5ff6eff106562ba001c36a281134ac9aa468a596aea660a4fe1fd60b5
	sha256sums = 99d0102c8065793096b8ea2ccc01c41fa3dcb96855f9f6f2c583b2372208c6f9
	sha256sums = 05467ff4108e13c8a1fed9e2cc5b4e7b50c83e97e39b82d5478ea89b4af475ea
	sha256sums = 19fd3b81b4b081ceb100c89fb6bab012a8d708da6ca8cee53d771abca4770236
	sha256sums = 20acfd8fc32fe7c53342d345aa969bc448a0d9022ebbfdf82a06e2d2e22ebfb9

pkgname = linux-vfio
	pkgdesc = The Linux kernel and modules with patches to enable GPU passthrough with KVM
	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