1
0

config-4.14 11 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429
  1. # CONFIG_3C515 is not set
  2. CONFIG_ACPI=y
  3. CONFIG_ACPI_AC=y
  4. CONFIG_ACPI_BATTERY=y
  5. # CONFIG_ACPI_BGRT is not set
  6. CONFIG_ACPI_BUTTON=y
  7. # CONFIG_ACPI_CMPC is not set
  8. CONFIG_ACPI_CONTAINER=y
  9. CONFIG_ACPI_CPU_FREQ_PSS=y
  10. # CONFIG_ACPI_CUSTOM_DSDT is not set
  11. # CONFIG_ACPI_DEBUG is not set
  12. # CONFIG_ACPI_DEBUGGER is not set
  13. # CONFIG_ACPI_DOCK is not set
  14. # CONFIG_ACPI_EC_DEBUGFS is not set
  15. # CONFIG_ACPI_FAN is not set
  16. CONFIG_ACPI_HOTPLUG_CPU=y
  17. CONFIG_ACPI_HOTPLUG_IOAPIC=y
  18. # CONFIG_ACPI_I2C_OPREGION is not set
  19. CONFIG_ACPI_LEGACY_TABLES_LOOKUP=y
  20. # CONFIG_ACPI_PCI_SLOT is not set
  21. CONFIG_ACPI_PROCESSOR=y
  22. # CONFIG_ACPI_PROCESSOR_AGGREGATOR is not set
  23. CONFIG_ACPI_PROCESSOR_CSTATE=y
  24. CONFIG_ACPI_PROCESSOR_IDLE=y
  25. # CONFIG_ACPI_PROCFS_POWER is not set
  26. CONFIG_ACPI_REV_OVERRIDE_POSSIBLE=y
  27. # CONFIG_ACPI_SBS is not set
  28. CONFIG_ACPI_SYSTEM_POWER_STATES_SUPPORT=y
  29. CONFIG_ACPI_THERMAL=y
  30. CONFIG_ACPI_VIDEO=y
  31. # CONFIG_ACPI_WMI is not set
  32. CONFIG_AGP=y
  33. # CONFIG_AGP_ALI is not set
  34. # CONFIG_AGP_AMD is not set
  35. # CONFIG_AGP_AMD64 is not set
  36. # CONFIG_AGP_ATI is not set
  37. # CONFIG_AGP_EFFICEON is not set
  38. CONFIG_AGP_INTEL=y
  39. # CONFIG_AGP_NVIDIA is not set
  40. # CONFIG_AGP_SIS is not set
  41. # CONFIG_AGP_SWORKS is not set
  42. # CONFIG_AGP_VIA is not set
  43. # CONFIG_APM is not set
  44. CONFIG_ARCH_HAS_ACPI_TABLE_UPGRADE=y
  45. CONFIG_ARCH_MIGHT_HAVE_ACPI_PDC=y
  46. CONFIG_BACKLIGHT_CLASS_DEVICE=y
  47. CONFIG_BACKLIGHT_GENERIC=y
  48. CONFIG_BACKLIGHT_LCD_SUPPORT=y
  49. CONFIG_BALLOON_COMPACTION=y
  50. CONFIG_BLK_DEV_SR=y
  51. # CONFIG_BLK_DEV_SR_VENDOR is not set
  52. CONFIG_BLK_MQ_VIRTIO=y
  53. # CONFIG_BOOTPARAM_HOTPLUG_CPU0 is not set
  54. CONFIG_CONNECTOR=y
  55. # CONFIG_CPU_HOTPLUG_STATE_CONTROL is not set
  56. CONFIG_CPU_IDLE_GOV_MENU=y
  57. CONFIG_CPU_RMAP=y
  58. CONFIG_CRYPTO_AEAD=y
  59. CONFIG_CRYPTO_AEAD2=y
  60. CONFIG_CRYPTO_MANAGER=y
  61. CONFIG_CRYPTO_MANAGER2=y
  62. CONFIG_CRYPTO_NULL2=y
  63. # CONFIG_DEBUG_HOTPLUG_CPU0 is not set
  64. CONFIG_DMA_SHARED_BUFFER=y
  65. # CONFIG_DPTF_POWER is not set
  66. CONFIG_DRM=y
  67. # CONFIG_DRM_AMDGPU is not set
  68. # CONFIG_DRM_AMDGPU_CIK is not set
  69. # CONFIG_DRM_AMDGPU_GART_DEBUGFS is not set
  70. # CONFIG_DRM_AMDGPU_SI is not set
  71. # CONFIG_DRM_AMDGPU_USERPTR is not set
  72. # CONFIG_DRM_AMD_ACP is not set
  73. CONFIG_DRM_BOCHS=y
  74. CONFIG_DRM_BRIDGE=y
  75. CONFIG_DRM_FBDEV_EMULATION=y
  76. CONFIG_DRM_FBDEV_OVERALLOC=100
  77. # CONFIG_DRM_GMA500 is not set
  78. CONFIG_DRM_I915=y
  79. # CONFIG_DRM_I915_ALPHA_SUPPORT is not set
  80. CONFIG_DRM_I915_CAPTURE_ERROR=y
  81. CONFIG_DRM_I915_COMPRESS_ERROR=y
  82. # CONFIG_DRM_I915_DEBUG is not set
  83. # CONFIG_DRM_I915_DEBUG_VBLANK_EVADE is not set
  84. # CONFIG_DRM_I915_LOW_LEVEL_TRACEPOINTS is not set
  85. # CONFIG_DRM_I915_SELFTEST is not set
  86. # CONFIG_DRM_I915_SW_FENCE_CHECK_DAG is not set
  87. # CONFIG_DRM_I915_SW_FENCE_DEBUG_OBJECTS is not set
  88. CONFIG_DRM_I915_USERPTR=y
  89. # CONFIG_DRM_I915_WERROR is not set
  90. CONFIG_DRM_KMS_FB_HELPER=y
  91. CONFIG_DRM_KMS_HELPER=y
  92. CONFIG_DRM_MIPI_DSI=y
  93. CONFIG_DRM_PANEL=y
  94. CONFIG_DRM_PANEL_BRIDGE=y
  95. # CONFIG_DRM_RADEON is not set
  96. # CONFIG_DRM_RADEON_USERPTR is not set
  97. CONFIG_DRM_TTM=y
  98. CONFIG_DRM_VIRTIO_GPU=y
  99. # CONFIG_DRM_VMWGFX is not set
  100. CONFIG_EARLY_PRINTK_EFI=y
  101. # CONFIG_EBC_C384_WDT is not set
  102. CONFIG_EFI=y
  103. CONFIG_EFIVAR_FS=m
  104. # CONFIG_EFI_BOOTLOADER_CONTROL is not set
  105. # CONFIG_EFI_CAPSULE_LOADER is not set
  106. # CONFIG_EFI_CAPSULE_QUIRK_QUARK_CSH is not set
  107. # CONFIG_EFI_DEV_PATH_PARSER is not set
  108. CONFIG_EFI_ESRT=y
  109. # CONFIG_EFI_FAKE_MEMMAP is not set
  110. # CONFIG_EFI_PGT_DUMP is not set
  111. CONFIG_EFI_RUNTIME_MAP=y
  112. CONFIG_EFI_RUNTIME_WRAPPERS=y
  113. CONFIG_EFI_STUB=y
  114. # CONFIG_EFI_TEST is not set
  115. CONFIG_EFI_VARS=y
  116. # CONFIG_EISA is not set
  117. # CONFIG_EL3 is not set
  118. CONFIG_FB=y
  119. CONFIG_FB_CFB_COPYAREA=y
  120. CONFIG_FB_CFB_FILLRECT=y
  121. CONFIG_FB_CFB_IMAGEBLIT=y
  122. CONFIG_FB_CMDLINE=y
  123. CONFIG_FB_DEFERRED_IO=y
  124. CONFIG_FB_EFI=y
  125. CONFIG_FB_HYPERV=y
  126. # CONFIG_FB_I810 is not set
  127. # CONFIG_FB_PROVIDE_GET_FB_UNMAPPED_AREA is not set
  128. CONFIG_FB_SYS_COPYAREA=y
  129. CONFIG_FB_SYS_FILLRECT=y
  130. CONFIG_FB_SYS_FOPS=y
  131. CONFIG_FB_SYS_IMAGEBLIT=y
  132. # CONFIG_FB_VESA is not set
  133. # CONFIG_FONTS is not set
  134. CONFIG_FONT_8x16=y
  135. CONFIG_FONT_8x8=y
  136. CONFIG_FONT_SUPPORT=y
  137. CONFIG_FRAMEBUFFER_CONSOLE=y
  138. CONFIG_FRAMEBUFFER_CONSOLE_DETECT_PRIMARY=y
  139. # CONFIG_FRAMEBUFFER_CONSOLE_ROTATION is not set
  140. CONFIG_FREEZER=y
  141. CONFIG_GENERIC_IRQ_EFFECTIVE_AFF_MASK=y
  142. CONFIG_GENERIC_IRQ_MIGRATION=y
  143. CONFIG_GENERIC_PENDING_IRQ=y
  144. CONFIG_GENERIC_PINCONF=y
  145. CONFIG_GPIOLIB=y
  146. CONFIG_GPIOLIB_IRQCHIP=y
  147. # CONFIG_GPIO_104_DIO_48E is not set
  148. # CONFIG_GPIO_104_IDIO_16 is not set
  149. # CONFIG_GPIO_104_IDI_48 is not set
  150. CONFIG_GPIO_ACPI=y
  151. CONFIG_HAVE_ACPI_APEI=y
  152. CONFIG_HAVE_ACPI_APEI_NMI=y
  153. CONFIG_HAVE_KVM_CPU_RELAX_INTERCEPT=y
  154. CONFIG_HAVE_KVM_EVENTFD=y
  155. CONFIG_HAVE_KVM_IRQCHIP=y
  156. CONFIG_HAVE_KVM_IRQFD=y
  157. CONFIG_HAVE_KVM_IRQ_BYPASS=y
  158. CONFIG_HAVE_KVM_IRQ_ROUTING=y
  159. CONFIG_HAVE_KVM_MSI=y
  160. CONFIG_HDMI=y
  161. CONFIG_HIBERNATE_CALLBACKS=y
  162. CONFIG_HID_BATTERY_STRENGTH=y
  163. CONFIG_HID_GENERIC=y
  164. CONFIG_HID_HYPERV_MOUSE=y
  165. CONFIG_HOTPLUG_CPU=y
  166. CONFIG_HOTPLUG_PCI=y
  167. CONFIG_HOTPLUG_PCI_ACPI=y
  168. # CONFIG_HOTPLUG_PCI_ACPI_IBM is not set
  169. # CONFIG_HOTPLUG_PCI_COMPAQ is not set
  170. # CONFIG_HOTPLUG_PCI_CPCI is not set
  171. # CONFIG_HOTPLUG_PCI_IBM is not set
  172. CONFIG_HOTPLUG_PCI_PCIE=y
  173. # CONFIG_HOTPLUG_PCI_SHPC is not set
  174. CONFIG_HOTPLUG_SMT=y
  175. CONFIG_HPET=y
  176. CONFIG_HPET_MMAP=y
  177. # CONFIG_HP_ACCEL is not set
  178. CONFIG_HVC_DRIVER=y
  179. CONFIG_HVC_IRQ=y
  180. CONFIG_HVC_XEN=y
  181. CONFIG_HVC_XEN_FRONTEND=y
  182. CONFIG_HWMON=y
  183. CONFIG_HWMON_VID=y
  184. CONFIG_HW_RANDOM_VIRTIO=y
  185. CONFIG_HYPERV=y
  186. CONFIG_HYPERVISOR_GUEST=y
  187. CONFIG_HYPERV_BALLOON=y
  188. CONFIG_HYPERV_KEYBOARD=y
  189. CONFIG_HYPERV_NET=y
  190. CONFIG_HYPERV_STORAGE=y
  191. CONFIG_HYPERV_UTILS=y
  192. CONFIG_I2C=y
  193. CONFIG_I2C_ALGOBIT=y
  194. CONFIG_I2C_BOARDINFO=y
  195. CONFIG_INPUT_MOUSE=y
  196. CONFIG_INPUT_MOUSEDEV=y
  197. CONFIG_INPUT_MOUSEDEV_PSAUX=y
  198. CONFIG_INPUT_MOUSEDEV_SCREEN_X=1024
  199. CONFIG_INPUT_MOUSEDEV_SCREEN_Y=768
  200. CONFIG_INPUT_XEN_KBDDEV_FRONTEND=y
  201. CONFIG_INTEL_GTT=y
  202. CONFIG_INTEL_IDLE=y
  203. # CONFIG_INTEL_INT0002_VGPIO is not set
  204. # CONFIG_INTEL_IPS is not set
  205. # CONFIG_INTEL_MENLOW is not set
  206. CONFIG_INTEL_PCH_THERMAL=y
  207. # CONFIG_INTEL_PMC_IPC is not set
  208. CONFIG_INTEL_SOC_DTS_IOSF_CORE=y
  209. CONFIG_INTEL_SOC_DTS_THERMAL=y
  210. CONFIG_INTERVAL_TREE=y
  211. CONFIG_IOSF_MBI=y
  212. # CONFIG_IOSF_MBI_DEBUG is not set
  213. CONFIG_IRQ_BYPASS_MANAGER=y
  214. CONFIG_ISA=y
  215. CONFIG_ISAPNP=y
  216. CONFIG_ISA_BUS_API=y
  217. # CONFIG_ISCSI_IBFT is not set
  218. # CONFIG_ISCSI_IBFT_FIND is not set
  219. CONFIG_ISO9660_FS=y
  220. # CONFIG_JOLIET is not set
  221. CONFIG_KVM=y
  222. CONFIG_KVM_AMD=y
  223. CONFIG_KVM_ASYNC_PF=y
  224. # CONFIG_KVM_DEBUG_FS is not set
  225. CONFIG_KVM_GENERIC_DIRTYLOG_READ_PROTECT=y
  226. CONFIG_KVM_GUEST=y
  227. CONFIG_KVM_INTEL=y
  228. CONFIG_KVM_MMIO=y
  229. CONFIG_KVM_VFIO=y
  230. # CONFIG_LANCE is not set
  231. # CONFIG_LCD_CLASS_DEVICE is not set
  232. CONFIG_LOCK_SPIN_ON_OWNER=y
  233. # CONFIG_M586MMX is not set
  234. # CONFIG_MDA_CONSOLE is not set
  235. CONFIG_MEMORY_BALLOON=y
  236. CONFIG_MFD_CORE=y
  237. CONFIG_MFD_INTEL_LPSS=y
  238. CONFIG_MFD_INTEL_LPSS_ACPI=y
  239. # CONFIG_MIXCOMWD is not set
  240. CONFIG_MMC=y
  241. CONFIG_MMC_BLOCK=y
  242. CONFIG_MMC_RICOH_MMC=y
  243. CONFIG_MMC_SDHCI=y
  244. CONFIG_MMC_SDHCI_PCI=y
  245. # CONFIG_MMC_SDHCI_PLTFM is not set
  246. # CONFIG_MMC_TIFM_SD is not set
  247. # CONFIG_MMC_WBSD is not set
  248. CONFIG_MMU_NOTIFIER=y
  249. # CONFIG_MOUSE_BCM5974 is not set
  250. # CONFIG_MOUSE_CYAPA is not set
  251. CONFIG_MOUSE_PS2=y
  252. CONFIG_MOUSE_PS2_ALPS=y
  253. # CONFIG_MOUSE_PS2_BYD is not set
  254. # CONFIG_MOUSE_PS2_CYPRESS is not set
  255. # CONFIG_MOUSE_PS2_ELANTECH is not set
  256. CONFIG_MOUSE_PS2_LIFEBOOK=y
  257. CONFIG_MOUSE_PS2_LOGIPS2PP=y
  258. CONFIG_MOUSE_PS2_SMBUS=y
  259. CONFIG_MOUSE_PS2_SYNAPTICS=y
  260. CONFIG_MOUSE_PS2_SYNAPTICS_SMBUS=y
  261. # CONFIG_MOUSE_PS2_TOUCHKIT is not set
  262. CONFIG_MOUSE_PS2_TRACKPOINT=y
  263. # CONFIG_MOUSE_PS2_VMMOUSE is not set
  264. # CONFIG_MOUSE_SERIAL is not set
  265. # CONFIG_MOUSE_VSXXXAA is not set
  266. CONFIG_MPENTIUM4=y
  267. CONFIG_MUTEX_SPIN_ON_OWNER=y
  268. CONFIG_NET_FLOW_LIMIT=y
  269. CONFIG_NO_HZ=y
  270. CONFIG_NR_CPUS=4
  271. CONFIG_PADATA=y
  272. CONFIG_PARAVIRT=y
  273. CONFIG_PARAVIRT_CLOCK=y
  274. # CONFIG_PARAVIRT_DEBUG is not set
  275. CONFIG_PARAVIRT_SPINLOCKS=y
  276. CONFIG_PATA_AMD=y
  277. CONFIG_PATA_ATIIXP=y
  278. CONFIG_PATA_MPIIX=y
  279. CONFIG_PATA_OLDPIIX=y
  280. CONFIG_PATA_PLATFORM=y
  281. CONFIG_PATA_SC1200=y
  282. CONFIG_PATA_VIA=y
  283. CONFIG_PCIEAER=y
  284. CONFIG_PCIEPORTBUS=y
  285. CONFIG_PCIE_PME=y
  286. CONFIG_PCI_MMCONFIG=y
  287. CONFIG_PCI_XEN=y
  288. # CONFIG_PCWATCHDOG is not set
  289. CONFIG_PINCTRL=y
  290. CONFIG_PINCTRL_BAYTRAIL=y
  291. CONFIG_PINCTRL_BROXTON=y
  292. CONFIG_PINCTRL_CANNONLAKE=y
  293. CONFIG_PINCTRL_CHERRYVIEW=y
  294. CONFIG_PINCTRL_DENVERTON=y
  295. CONFIG_PINCTRL_GEMINILAKE=y
  296. CONFIG_PINCTRL_INTEL=y
  297. # CONFIG_PINCTRL_LEWISBURG is not set
  298. CONFIG_PINCTRL_SUNRISEPOINT=y
  299. CONFIG_PM=y
  300. # CONFIG_PMIC_OPREGION is not set
  301. CONFIG_PM_CLK=y
  302. # CONFIG_PM_DEBUG is not set
  303. CONFIG_PM_SLEEP=y
  304. CONFIG_PM_SLEEP_SMP=y
  305. CONFIG_PNP=y
  306. CONFIG_PNPACPI=y
  307. # CONFIG_PNPBIOS is not set
  308. CONFIG_PNP_DEBUG_MESSAGES=y
  309. CONFIG_PREEMPT_NOTIFIERS=y
  310. CONFIG_PROC_EVENTS=y
  311. # CONFIG_PVPANIC is not set
  312. CONFIG_QUEUED_RWLOCKS=y
  313. CONFIG_QUEUED_SPINLOCKS=y
  314. # CONFIG_RANDOMIZE_BASE is not set
  315. CONFIG_RAS=y
  316. CONFIG_RCU_NEED_SEGCBLIST=y
  317. CONFIG_RCU_STALL_COMMON=y
  318. CONFIG_REGMAP=y
  319. CONFIG_REGMAP_I2C=y
  320. CONFIG_RELAY=y
  321. CONFIG_RELOCATABLE=y
  322. CONFIG_RESET_ATTACK_MITIGATION=y
  323. CONFIG_RFS_ACCEL=y
  324. CONFIG_RPS=y
  325. CONFIG_RTC_I2C_AND_SPI=y
  326. CONFIG_RWSEM_SPIN_ON_OWNER=y
  327. # CONFIG_SAMSUNG_Q10 is not set
  328. CONFIG_SATA_AHCI=y
  329. CONFIG_SATA_VIA=y
  330. CONFIG_SCHED_INFO=y
  331. CONFIG_SCHED_SMT=y
  332. CONFIG_SCSI_VIRTIO=y
  333. CONFIG_SENSORS_CORETEMP=y
  334. CONFIG_SENSORS_FAM15H_POWER=y
  335. CONFIG_SENSORS_I5500=y
  336. CONFIG_SENSORS_K10TEMP=y
  337. CONFIG_SENSORS_K8TEMP=y
  338. CONFIG_SENSORS_VIA_CPUTEMP=y
  339. CONFIG_SERIAL_8250_PNP=y
  340. CONFIG_SMP=y
  341. # CONFIG_SURFACE_PRO3_BUTTON is not set
  342. CONFIG_SWIOTLB_XEN=y
  343. CONFIG_SYNC_FILE=y
  344. CONFIG_SYS_HYPERVISOR=y
  345. CONFIG_TASKSTATS=y
  346. CONFIG_TASK_DELAY_ACCT=y
  347. CONFIG_THERMAL_GOV_USER_SPACE=y
  348. CONFIG_THERMAL_HWMON=y
  349. CONFIG_THERMAL_WRITABLE_TRIPS=y
  350. # CONFIG_TOSHIBA_BT_RFKILL is not set
  351. CONFIG_TREE_RCU=y
  352. CONFIG_TREE_SRCU=y
  353. CONFIG_UCS2_STRING=y
  354. CONFIG_USB_STORAGE=y
  355. CONFIG_USER_RETURN_NOTIFIER=y
  356. CONFIG_VGACON_SOFT_SCROLLBACK=y
  357. # CONFIG_VGACON_SOFT_SCROLLBACK_PERSISTENT_ENABLE_BY_DEFAULT is not set
  358. CONFIG_VGACON_SOFT_SCROLLBACK_SIZE=64
  359. CONFIG_VHOST=y
  360. CONFIG_VHOST_NET=y
  361. CONFIG_VIRTIO=y
  362. CONFIG_VIRTIO_BALLOON=y
  363. CONFIG_VIRTIO_BLK=y
  364. CONFIG_VIRTIO_CONSOLE=y
  365. CONFIG_VIRTIO_INPUT=y
  366. CONFIG_VIRTIO_MMIO=y
  367. # CONFIG_VIRTIO_MMIO_CMDLINE_DEVICES is not set
  368. CONFIG_VIRTIO_NET=y
  369. CONFIG_VIRTIO_PCI=y
  370. CONFIG_VIRTIO_PCI_LEGACY=y
  371. CONFIG_VIRTUALIZATION=y
  372. CONFIG_VT_CONSOLE_SLEEP=y
  373. # CONFIG_WDT is not set
  374. CONFIG_X86_32_SMP=y
  375. CONFIG_X86_ACPI_CPUFREQ=y
  376. # CONFIG_X86_ACPI_CPUFREQ_CPB is not set
  377. CONFIG_X86_AMD_FREQ_SENSITIVITY=y
  378. # CONFIG_X86_AMD_PLATFORM_DEVICE is not set
  379. # CONFIG_X86_BIGSMP is not set
  380. CONFIG_X86_CMOV=y
  381. CONFIG_X86_CPUID=y
  382. CONFIG_X86_DEBUGCTLMSR=y
  383. # CONFIG_X86_E_POWERSAVER is not set
  384. CONFIG_X86_INTEL_LPSS=y
  385. CONFIG_X86_INTEL_PSTATE=y
  386. CONFIG_X86_INTERNODE_CACHE_SHIFT=7
  387. CONFIG_X86_L1_CACHE_SHIFT=7
  388. # CONFIG_X86_LONGHAUL is not set
  389. CONFIG_X86_NEED_RELOCS=y
  390. # CONFIG_X86_PCC_CPUFREQ is not set
  391. CONFIG_X86_PKG_TEMP_THERMAL=y
  392. # CONFIG_X86_PMEM_LEGACY is not set
  393. CONFIG_X86_PM_TIMER=y
  394. # CONFIG_X86_POWERNOW_K8 is not set
  395. CONFIG_X86_USE_PPRO_CHECKSUM=y
  396. CONFIG_XEN=y
  397. CONFIG_XENFS=y
  398. CONFIG_XEN_ACPI=y
  399. CONFIG_XEN_ACPI_PROCESSOR=y
  400. CONFIG_XEN_AUTO_XLATE=y
  401. # CONFIG_XEN_BACKEND is not set
  402. CONFIG_XEN_BALLOON=y
  403. CONFIG_XEN_BLKDEV_FRONTEND=y
  404. CONFIG_XEN_COMPAT_XENFS=y
  405. CONFIG_XEN_DEBUG_FS=y
  406. CONFIG_XEN_DEV_EVTCHN=y
  407. CONFIG_XEN_DOM0=y
  408. CONFIG_XEN_FBDEV_FRONTEND=y
  409. CONFIG_XEN_GNTDEV=y
  410. CONFIG_XEN_GRANT_DEV_ALLOC=y
  411. CONFIG_XEN_HAVE_PVMMU=y
  412. CONFIG_XEN_HAVE_VPMU=y
  413. CONFIG_XEN_NETDEV_FRONTEND=y
  414. CONFIG_XEN_PCIDEV_FRONTEND=y
  415. CONFIG_XEN_PRIVCMD=y
  416. CONFIG_XEN_PV=y
  417. CONFIG_XEN_PVH=y
  418. CONFIG_XEN_PVHVM=y
  419. CONFIG_XEN_PVHVM_SMP=y
  420. CONFIG_XEN_PV_SMP=y
  421. CONFIG_XEN_SAVE_RESTORE=y
  422. CONFIG_XEN_SCRUB_PAGES=y
  423. CONFIG_XEN_SCSI_FRONTEND=y
  424. CONFIG_XEN_SYMS=y
  425. CONFIG_XEN_SYS_HYPERVISOR=y
  426. CONFIG_XEN_WDT=y
  427. CONFIG_XEN_XENBUS_FRONTEND=y
  428. CONFIG_XPS=y
  429. CONFIG_ZLIB_DEFLATE=y