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.x86_64 | |
parent | e12def2f350f7719974f9dfc8157b6ccb1599f8d (diff) |
linux-libre-3.9.4-1: updating version, added VFIO config options
Diffstat (limited to 'libre/linux-libre/config.x86_64')
-rw-r--r-- | libre/linux-libre/config.x86_64 | 7 |
1 files changed, 5 insertions, 2 deletions
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 # |