From 0bc1b341b5e89db36c94384e2e67f46f487be3f2 Mon Sep 17 00:00:00 2001
From: André Fabian Silva Delgado <emulatorman@lavabit.com>
Date: Sun, 26 May 2013 15:59:06 -0300
Subject: linux-libre-3.9.4-1: updating version, added VFIO config options

---
 libre/linux-libre/config.x86_64 | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

(limited to 'libre/linux-libre/config.x86_64')

diff --git a/libre/linux-libre/config.x86_64 b/libre/linux-libre/config.x86_64
index 0a16459f0..24d6be2bd 100644
--- a/libre/linux-libre/config.x86_64
+++ b/libre/linux-libre/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
@@ -4978,7 +4978,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
 
 #
-- 
cgit v1.2.3