From cba665cf40b39d9bf38a09dc32352f7be4a1c280 Mon Sep 17 00:00:00 2001
From: Artem Polyakov <artpol84@gmail.com>
Date: Thu, 8 Oct 2020 18:06:23 -0700
Subject: [PATCH] Add new option

---
 configs/kconfig-kvm-nested | 1 +
 1 file changed, 1 insertion(+)

diff --git a/configs/kconfig-kvm-nested b/configs/kconfig-kvm-nested
index 93f33d1..0e21395 100644
--- a/configs/kconfig-kvm-nested
+++ b/configs/kconfig-kvm-nested
@@ -2435,6 +2435,7 @@ CONFIG_VFIO_PCI_INTX=y
 CONFIG_VFIO_PCI_IGD=y
 CONFIG_VFIO_MDEV=y
 CONFIG_VFIO_MDEV_DEVICE=y
+CONFIG_VFIO_MIGRATION=m
 CONFIG_IRQ_BYPASS_MANAGER=y
 # CONFIG_VIRT_DRIVERS is not set
 CONFIG_VIRTIO=y