From ebd9b96b19db1ed80ceec72a3560b416abc659e0 Mon Sep 17 00:00:00 2001
From: André Fabian Silva Delgado <emulatorman@lavabit.com>
Date: Sun, 26 May 2013 21:47:18 -0300
Subject: linux-libre-{pae,xen}-3.9.4-1: updating version, added VFIO config
 options

---
 kernels/linux-libre-pae/config | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'kernels/linux-libre-pae/config')

diff --git a/kernels/linux-libre-pae/config b/kernels/linux-libre-pae/config
index 87cf2bc63..dd3549ac6 100644
--- a/kernels/linux-libre-pae/config
+++ b/kernels/linux-libre-pae/config
@@ -5180,7 +5180,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
 
 #
-- 
cgit v1.2.3-54-g00ecf