Jesse Keating 7a32965
# CONFIG_HIGHMEM4G is not set
Jesse Keating 7a32965
CONFIG_HIGHMEM64G=y
Jesse Keating 7a32965
Jesse Keating 7a32965
CONFIG_XEN_DEV_EVTCHN=m
Jesse Keating 7a32965
CONFIG_XEN_SYS_HYPERVISOR=y