From e03d69aeb455f32261fa6bf9cd7ed75cbe742e2e Mon Sep 17 00:00:00 2001
From: Tobias Powalowski <tpowa@archlinux.org>
Date: Sun, 26 May 2013 11:30:56 +0000
Subject: [PATCH] bump to latest version, added VFIO config options

---
 PKGBUILD      | 12 ++++++------
 config        |  5 ++++-
 config.x86_64 |  7 +++++--
 linux.install |  2 +-
 4 files changed, 16 insertions(+), 10 deletions(-)

diff --git a/PKGBUILD b/PKGBUILD
index 4dda56a..690d0f7 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -4,7 +4,7 @@
 pkgbase=linux               # Build stock -ARCH kernel
 #pkgbase=linux-custom       # Build kernel with a different name
 _srcname=linux-3.9
-pkgver=3.9.3
+pkgver=3.9.4
 pkgrel=1
 arch=('i686' 'x86_64')
 url="http://www.kernel.org/"
@@ -18,15 +18,15 @@ source=("http://www.kernel.org/pub/linux/kernel/v3.x/${_srcname}.tar.xz"
         # standard config files for mkinitcpio ramdisk
         'linux.preset'
         'change-default-console-loglevel.patch')
-
-_kernelname=${pkgbase#linux}
 md5sums=('4348c9b6b2eb3144d601e87c19d5d909'
-         '71b31e29e0cb437a27017c781293b6f4'
-         '41c65cdad9c05b63549ca96d978c2859'
-         '11c3390fc88ad67b7aa110d0729773c6'
+         '922c4553299e6692a28761d3032fc012'
+         '1eb73dcb091d2671138f87fe62bd9735'
+         '24dff05a9f8d53e92457077e6ca6b6ae'
          'eb14dcfd80c00852ef81ded6e826826a'
          'f3def2cefdcbb954c21d8505d23cc83c')
 
+_kernelname=${pkgbase#linux}
+
 # module.symbols md5sums
 # x86_64
 # e1bd8696bb9a73532de25013dc81bef1  /lib/modules/3.9.3-1-ARCH/modules.symbols
diff --git a/config b/config
index d932c2b..f30eed1 100644
--- a/config
+++ b/config
@@ -5178,7 +5178,10 @@ CONFIG_UIO_AEC=m
 CONFIG_UIO_SERCOS3=m
 CONFIG_UIO_PCI_GENERIC=m
 CONFIG_UIO_NETX=m
-# CONFIG_VFIO is not set
+CONFIG_VFIO_IOMMU_TYPE1=m
+CONFIG_VFIO=m
+CONFIG_VFIO_PCI=m
+CONFIG_VFIO_PCI_VGA=y
 CONFIG_VIRTIO=y
 
 #
diff --git a/config.x86_64 b/config.x86_64
index c9d182b..91545f2 100644
--- a/config.x86_64
+++ b/config.x86_64
@@ -1,6 +1,6 @@
 #
 # Automatically generated file; DO NOT EDIT.
-# Linux/x86 3.9.3-1 Kernel Configuration
+# Linux/x86 3.9.4-1 Kernel Configuration
 #
 CONFIG_64BIT=y
 CONFIG_X86_64=y
@@ -4990,7 +4990,10 @@ CONFIG_UIO_AEC=m
 CONFIG_UIO_SERCOS3=m
 CONFIG_UIO_PCI_GENERIC=m
 CONFIG_UIO_NETX=m
-# CONFIG_VFIO is not set
+CONFIG_VFIO_IOMMU_TYPE1=m
+CONFIG_VFIO=m
+CONFIG_VFIO_PCI=m
+CONFIG_VFIO_PCI_VGA=y
 CONFIG_VIRTIO=m
 
 #
diff --git a/linux.install b/linux.install
index 1803d65..b200099 100644
--- a/linux.install
+++ b/linux.install
@@ -2,7 +2,7 @@
 # arg 2:  the old package version
 
 KERNEL_NAME=
-KERNEL_VERSION=3.9.3-1-ARCH
+KERNEL_VERSION=3.9.4-1-ARCH
 
 # set a sane PATH to ensure that critical utils like depmod will be found
 export PATH='/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin'