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_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

​