From b4b7ff4b08e691656c9d77c758fc355833128ac0 Mon Sep 17 00:00:00 2001
From: André Fabian Silva Delgado <emulatorman@parabola.nu>
Date: Wed, 20 Jan 2016 14:01:31 -0300
Subject: Linux-libre 4.4-gnu

---
 drivers/vfio/Kconfig | 1 +
 1 file changed, 1 insertion(+)

(limited to 'drivers/vfio/Kconfig')

diff --git a/drivers/vfio/Kconfig b/drivers/vfio/Kconfig
index 454017928..850d86ca6 100644
--- a/drivers/vfio/Kconfig
+++ b/drivers/vfio/Kconfig
@@ -33,3 +33,4 @@ menuconfig VFIO
 
 source "drivers/vfio/pci/Kconfig"
 source "drivers/vfio/platform/Kconfig"
+source "virt/lib/Kconfig"
-- 
cgit v1.2.3-54-g00ecf