target/linux/x86/xen_domu/config-default

   1 # CONFIG_KERNEL_LZMA is not set
   2 CONFIG_ARCH_PHYS_ADDR_T_64BIT=y
   3 CONFIG_FREEZER=y
   4 CONFIG_GENERIC_PENDING_IRQ=y
   5 CONFIG_HVC_DRIVER=y
   6 CONFIG_HVC_IRQ=y
   7 CONFIG_HVC_XEN=y
   8 CONFIG_KERNEL_GZIP=y
   9 CONFIG_LOCK_KERNEL=y
  10 CONFIG_MPENTIUM4=y
  11 CONFIG_NR_CPUS=4
  12 CONFIG_PARAVIRT=y
  13 CONFIG_PARAVIRT_CLOCK=y
  14 CONFIG_PARAVIRT_GUEST=y
  15 CONFIG_PHYS_ADDR_T_64BIT=y
  16 CONFIG_SCHED_MC=y
  17 CONFIG_SMP=y
  18 CONFIG_SPARSE_IRQ=y
  19 CONFIG_STOP_MACHINE=y
  20 CONFIG_SYS_HYPERVISOR=y
  21 CONFIG_USE_GENERIC_SMP_HELPERS=y
  22 CONFIG_X86_32_SMP=y
  23 CONFIG_X86_CMOV=y
  24 CONFIG_X86_CMPXCHG64=y
  25 CONFIG_X86_DEBUGCTLMSR=y
  26 CONFIG_X86_HT=y
  27 CONFIG_X86_L1_CACHE_SHIFT=7
  28 CONFIG_X86_MINIMUM_CPU_FAMILY=5
  29 CONFIG_X86_PAE=y
  30 CONFIG_X86_TRAMPOLINE=y
  31 CONFIG_X86_TSC=y
  32 CONFIG_X86_USE_PPRO_CHECKSUM=y
  33 CONFIG_XEN=y
  34 CONFIG_XEN_BALLOON=y
  35 CONFIG_XEN_BLKDEV_FRONTEND=y
  36 CONFIG_XEN_MAX_DOMAIN_MEMORY=8
  37 CONFIG_XEN_SAVE_RESTORE=y
  38 CONFIG_XEN_SCRUB_PAGES=y
  39 CONFIG_XEN_SYS_HYPERVISOR=y