CONFIG_XEN_DEV_EVTCHN=m
CONFIG_XEN_SYS_HYPERVISOR=y
CONFIG_HIGHMEM64G=y
CONFIG_XEN_PLATFORM_PCI=y
# CONFIG_HIGHMEM4G is not set
# CONFIG_XFS_FS is not set
CONFIG_HARDLOCKUP_DETECTOR=y
# CONFIG_BOOTPARAM_HARDLOCKUP_ENABLED is not set
CONFIG_BOOTPARAM_HARDLOCKUP_PANIC=y
CONFIG_I2C_ISMT=m
CONFIG_LPC_SCH=m
CONFIG_LPC_ICH=m
CONFIG_GPIOLIB=y
#CONFIG_MFD_SM501_GPIO is not set
CONFIG_GPIO_SCH=m
CONFIG_IE6XX_WDT=m
# CONFIG_MDIO_GPIO is not set
# CONFIG_KEYBOARD_GPIO is not set
# CONFIG_MOUSE_GPIO is not set
# CONFIG_I2C_GPIO is not set
# CONFIG_DEBUG_GPIO is not set
# CONFIG_GPIO_SYSFS is not set
# CONFIG_GPIO_MAX732X is not set
# CONFIG_GPIO_PCA953X is not set
# CONFIG_GPIO_PCF857X is not set
# CONFIG_GPIO_WM831X is not set
# CONFIG_UCB1400_CORE is not set
# CONFIG_USB_GPIO_VBUS is not set
# CONFIG_LEDS_GPIO is not set
# CONFIG_LEDS_TRIGGER_GPIO is not set
CONFIG_X86_INTEL_PSTATE=m
# CONFIG_INTEL_POWERCLAMP is not set
# CONFIG_POWERCAP is not set
# CONFIG_INTEL_RAPL is not set