From 27ee3ef98feced4c953f7e10816852f4e737dac4 Mon Sep 17 00:00:00 2001
From: Pascal Vizeli <pvizeli@syshack.ch>
Date: Sat, 11 Jan 2020 11:50:28 +0100
Subject: [PATCH] VirtIO MMIO kernel module (#534)

* VirtIO MMIO kernel module

* Update kernel.config

* Update kernel.config
---
 buildroot-external/board/intel/ova/kernel.config | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/buildroot-external/board/intel/ova/kernel.config b/buildroot-external/board/intel/ova/kernel.config
index c0806dc73..5272ede54 100644
--- a/buildroot-external/board/intel/ova/kernel.config
+++ b/buildroot-external/board/intel/ova/kernel.config
@@ -15,6 +15,7 @@ CONFIG_VIRTIO_INPUT=m
 CONFIG_VIRTIO_BLK=y
 CONFIG_VIRTIO_CONSOLE=m
 CONFIG_VIRTIO_VSOCKETS=m
+CONFIG_VIRTIO_MMIO=y
 CONFIG_SCSI_VIRTIO=y
 CONFIG_HW_RANDOM_VIRTIO=y
 
@@ -22,6 +23,7 @@ CONFIG_SCSI_LOWLEVEL=y
 CONFIG_USB_XHCI_HCD=y
 
 CONFIG_PARAVIRT=y
+CONFIG_PARAVIRT_SPINLOCKS=y
 CONFIG_XEN=y
 
 CONFIG_HYPERVISOR_GUEST=y