# things we want different from i686 xen

CONFIG_X86_64=y

# CONFIG_X86_XEN is not set
CONFIG_X86_64_XEN=y

CONFIG_GENERIC_CPU=y
