From 774486a14954d81634b516eec002d1f9e2a7c203 Mon Sep 17 00:00:00 2001
From: Jan Malakhovski <oxij@oxij.org>
Date: Fri, 13 Jun 2014 00:30:34 +0000
Subject: [PATCH] linux kernel: set VFIO_PCI_VGA to `y` for versions > 3.9

This allows to passthrough PCI video adapters to KVM virtual machines.
VFIO_PCI is set to `m` by default, which means this will not affect
non-users.
---
 pkgs/os-specific/linux/kernel/common-config.nix | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/pkgs/os-specific/linux/kernel/common-config.nix b/pkgs/os-specific/linux/kernel/common-config.nix
index ef061459191..e76ce5bfa9b 100644
--- a/pkgs/os-specific/linux/kernel/common-config.nix
+++ b/pkgs/os-specific/linux/kernel/common-config.nix
@@ -326,6 +326,11 @@ with stdenv.lib;
   ''}
   VIRT_DRIVERS y
 
+  # Device virtualisation.
+  ${optionalString (versionAtLeast version "3.9") ''
+    VFIO_PCI_VGA? y
+  ''}
+
   # Media support.
   ${optionalString (versionAtLeast version "3.6") ''
     MEDIA_DIGITAL_TV_SUPPORT y