CONFIG_PCI_PRI=y
CONFIG_PCI_PASID=y
CONFIG_PCI_LABEL=y
-# CONFIG_PCI_HYPERV is not set
+CONFIG_PCI_HYPERV=m
# CONFIG_PCIE_BUS_TUNE_OFF is not set
CONFIG_PCIE_BUS_DEFAULT=y
# CONFIG_PCIE_BUS_SAFE is not set
CONFIG_PCI_HOST_COMMON=y
CONFIG_PCI_HOST_GENERIC=y
CONFIG_PCIE_XILINX=y
-# CONFIG_PCI_HYPERV_INTERFACE is not set
+CONFIG_PCI_HYPERV_INTERFACE=m
CONFIG_PCIE_MICROCHIP_HOST=y
#
CONFIG_DRM_XEN_FRONTEND=m
# CONFIG_DRM_GUD is not set
# CONFIG_DRM_SSD130X is not set
-# CONFIG_DRM_HYPERV is not set
+CONFIG_DRM_HYPERV=m
CONFIG_DRM_LEGACY=y
# CONFIG_DRM_TDFX is not set
# CONFIG_DRM_R128 is not set
CONFIG_HID_SUNPLUS=m
CONFIG_HID_RMI=m
# CONFIG_HID_GREENASIA is not set
-# CONFIG_HID_HYPERV_MOUSE is not set
+CONFIG_HID_HYPERV_MOUSE=m
# CONFIG_HID_SMARTJOYPLUS is not set
CONFIG_HID_TIVO=m
CONFIG_HID_TOPSEED=m