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
