# CONFIG_HIGHMEM4G is not set CONFIG_HIGHMEM64G=y # CONFIG_OLPC_OPENFIRMWARE is not set CONFIG_XEN_DEV_EVTCHN=m CONFIG_XEN_SYS_HYPERVISOR=y