diff options
| author | André Fabian Silva Delgado <emulatorman@lavabit.com> | 2013-05-26 15:59:06 -0300 |
|---|---|---|
| committer | André Fabian Silva Delgado <emulatorman@lavabit.com> | 2013-05-26 15:59:06 -0300 |
| commit | 0bc1b341b5e89db36c94384e2e67f46f487be3f2 (patch) | |
| tree | acb203794307a5032c6d00d456ba3d0e0358273c /libre/linux-libre/config.i686 | |
| parent | e12def2f350f7719974f9dfc8157b6ccb1599f8d (diff) | |
linux-libre-3.9.4-1: updating version, added VFIO config options
Diffstat (limited to 'libre/linux-libre/config.i686')
| -rw-r--r-- | libre/linux-libre/config.i686 | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/libre/linux-libre/config.i686 b/libre/linux-libre/config.i686 index 62baa74b7..107968129 100644 --- a/libre/linux-libre/config.i686 +++ b/libre/linux-libre/config.i686 @@ -5166,7 +5166,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 # |