CONFIG_SECURITY_SELINUX_BOOTPARAM=y
CONFIG_SECURITY_SELINUX_DISABLE=y
# CONFIG_CRYPTO_ANSI_CPRNG is not set
+##
+## Our modifications
+##
CONFIG_VIRTIO_PCI=y
CONFIG_VIRTIO_BALLOON=y
CONFIG_VIRTIO_BLK=y
CONFIG_VIRTIO_RING=y
CONFIG_BRIDGE=y
CONFIG_IP_FORWARD=y
+CONFIG_PCI_MSI=y
+CONFIG_UIO=y
+CONFIG_UIO_PCI_GENERIC=y
+# CONFIG_VFIO is not set
+# CONFIG_VFIO_PCI is not set