config-default 2.1 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485
  1. # CONFIG_APM is not set
  2. CONFIG_ARCH_ENABLE_SPLIT_PMD_PTLOCK=y
  3. CONFIG_ARCH_PHYS_ADDR_T_64BIT=y
  4. # CONFIG_BOOTPARAM_HOTPLUG_CPU0 is not set
  5. CONFIG_CPU_RMAP=y
  6. # CONFIG_DEBUG_HOTPLUG_CPU0 is not set
  7. CONFIG_FREEZER=y
  8. CONFIG_GENERIC_PENDING_IRQ=y
  9. CONFIG_HIBERNATE_CALLBACKS=y
  10. # CONFIG_HIGHMEM64G is not set
  11. CONFIG_HOTPLUG_CPU=y
  12. CONFIG_HVC_DRIVER=y
  13. CONFIG_HVC_IRQ=y
  14. CONFIG_HVC_XEN=y
  15. CONFIG_HVC_XEN_FRONTEND=y
  16. CONFIG_HYPERVISOR_GUEST=y
  17. CONFIG_INPUT_XEN_KBDDEV_FRONTEND=y
  18. CONFIG_IOMMU_HELPER=y
  19. CONFIG_KERNEL_GZIP=y
  20. # CONFIG_KERNEL_XZ is not set
  21. # CONFIG_LGUEST_GUEST is not set
  22. # CONFIG_M486 is not set
  23. CONFIG_MMU_NOTIFIER=y
  24. CONFIG_MPENTIUM4=y
  25. CONFIG_MUTEX_SPIN_ON_OWNER=y
  26. CONFIG_NET_FLOW_LIMIT=y
  27. CONFIG_NR_CPUS=4
  28. CONFIG_PARAVIRT=y
  29. CONFIG_PARAVIRT_CLOCK=y
  30. # CONFIG_PARAVIRT_DEBUG is not set
  31. CONFIG_PARAVIRT_SPINLOCKS=y
  32. # CONFIG_PARAVIRT_TIME_ACCOUNTING is not set
  33. CONFIG_PCI_XEN=y
  34. CONFIG_PHYS_ADDR_T_64BIT=y
  35. CONFIG_PM=y
  36. # CONFIG_PM_DEBUG is not set
  37. CONFIG_PM_SLEEP=y
  38. CONFIG_PM_SLEEP_SMP=y
  39. CONFIG_RCU_STALL_COMMON=y
  40. CONFIG_RFS_ACCEL=y
  41. CONFIG_RPS=y
  42. CONFIG_SCHED_MC=y
  43. CONFIG_SLUB_CPU_PARTIAL=y
  44. CONFIG_SMP=y
  45. CONFIG_STOP_MACHINE=y
  46. CONFIG_SWIOTLB=y
  47. CONFIG_SWIOTLB_XEN=y
  48. CONFIG_SYS_HYPERVISOR=y
  49. CONFIG_TREE_RCU=y
  50. CONFIG_UNINLINE_SPIN_UNLOCK=y
  51. # CONFIG_VMWARE_BALLOON is not set
  52. CONFIG_VT_CONSOLE_SLEEP=y
  53. CONFIG_X86_32_SMP=y
  54. # CONFIG_X86_BIGSMP is not set
  55. CONFIG_X86_CMOV=y
  56. CONFIG_X86_CMPXCHG64=y
  57. CONFIG_X86_DEBUGCTLMSR=y
  58. CONFIG_X86_HT=y
  59. CONFIG_X86_INTERNODE_CACHE_SHIFT=7
  60. CONFIG_X86_L1_CACHE_SHIFT=7
  61. CONFIG_X86_MINIMUM_CPU_FAMILY=5
  62. CONFIG_X86_PAE=y
  63. CONFIG_X86_TSC=y
  64. CONFIG_X86_USE_PPRO_CHECKSUM=y
  65. CONFIG_XEN=y
  66. # CONFIG_XENFS is not set
  67. CONFIG_XEN_BALLOON=y
  68. CONFIG_XEN_BLKDEV_FRONTEND=y
  69. CONFIG_XEN_DEBUG_FS=y
  70. # CONFIG_XEN_DEV_EVTCHN is not set
  71. CONFIG_XEN_GNTDEV=m
  72. CONFIG_XEN_GRANT_DEV_ALLOC=m
  73. CONFIG_XEN_HAVE_PVMMU=y
  74. CONFIG_XEN_MAX_DOMAIN_MEMORY=64
  75. # CONFIG_XEN_NETDEV_FRONTEND is not set
  76. # CONFIG_XEN_PCIDEV_FRONTEND is not set
  77. CONFIG_XEN_PRIVCMD=m
  78. # CONFIG_XEN_PRIVILEGED_GUEST is not set
  79. CONFIG_XEN_PVHVM=y
  80. CONFIG_XEN_SAVE_RESTORE=y
  81. CONFIG_XEN_SCRUB_PAGES=y
  82. CONFIG_XEN_SYS_HYPERVISOR=y
  83. # CONFIG_XEN_WDT is not set
  84. CONFIG_XEN_XENBUS_FRONTEND=y
  85. CONFIG_XPS=y