config-default 11 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426
  1. CONFIG_64BIT=y
  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_CPPC_LIB=y
  10. CONFIG_ACPI_CPU_FREQ_PSS=y
  11. # CONFIG_ACPI_CUSTOM_DSDT is not set
  12. # CONFIG_ACPI_DEBUG is not set
  13. # CONFIG_ACPI_DEBUGGER is not set
  14. # CONFIG_ACPI_DOCK is not set
  15. # CONFIG_ACPI_EC_DEBUGFS is not set
  16. CONFIG_ACPI_FAN=y
  17. CONFIG_ACPI_HOTPLUG_CPU=y
  18. CONFIG_ACPI_HOTPLUG_IOAPIC=y
  19. # CONFIG_ACPI_I2C_OPREGION is not set
  20. CONFIG_ACPI_LEGACY_TABLES_LOOKUP=y
  21. # CONFIG_ACPI_PCI_SLOT is not set
  22. CONFIG_ACPI_PROCESSOR=y
  23. # CONFIG_ACPI_PROCESSOR_AGGREGATOR is not set
  24. CONFIG_ACPI_PROCESSOR_CSTATE=y
  25. CONFIG_ACPI_PROCESSOR_IDLE=y
  26. # CONFIG_ACPI_PROCFS_POWER is not set
  27. CONFIG_ACPI_REV_OVERRIDE_POSSIBLE=y
  28. # CONFIG_ACPI_SBS is not set
  29. CONFIG_ACPI_SYSTEM_POWER_STATES_SUPPORT=y
  30. CONFIG_ACPI_THERMAL=y
  31. # CONFIG_ACPI_WMI is not set
  32. CONFIG_ARCH_DEFCONFIG="arch/x86/configs/x86_64_defconfig"
  33. CONFIG_ARCH_HAS_ACPI_TABLE_UPGRADE=y
  34. CONFIG_ARCH_HAS_ADD_PAGES=y
  35. CONFIG_ARCH_HAS_KCOV=y
  36. CONFIG_ARCH_HAS_PMEM_API=y
  37. CONFIG_ARCH_HAS_UACCESS_FLUSHCACHE=y
  38. CONFIG_ARCH_HAS_ZONE_DEVICE=y
  39. CONFIG_ARCH_MIGHT_HAVE_ACPI_PDC=y
  40. CONFIG_ARCH_MMAP_RND_BITS=28
  41. CONFIG_ARCH_MMAP_RND_BITS_MAX=32
  42. CONFIG_ARCH_MMAP_RND_BITS_MIN=28
  43. CONFIG_ARCH_SPARSEMEM_DEFAULT=y
  44. CONFIG_ARCH_SUPPORTS_INT128=y
  45. CONFIG_ARCH_SUPPORTS_NUMA_BALANCING=y
  46. CONFIG_ARCH_USE_CMPXCHG_LOCKREF=y
  47. CONFIG_ARCH_WANTS_THP_SWAP=y
  48. CONFIG_AUDIT_ARCH=y
  49. CONFIG_BACKLIGHT_CLASS_DEVICE=y
  50. CONFIG_BACKLIGHT_GENERIC=y
  51. CONFIG_BACKLIGHT_LCD_SUPPORT=y
  52. CONFIG_BLK_DEV_INTEGRITY=y
  53. CONFIG_BLK_MQ_VIRTIO=y
  54. # CONFIG_BOOTPARAM_HOTPLUG_CPU0 is not set
  55. CONFIG_CALGARY_IOMMU=y
  56. CONFIG_CALGARY_IOMMU_ENABLED_BY_DEFAULT=y
  57. CONFIG_CONNECTOR=y
  58. # CONFIG_CPU_HOTPLUG_STATE_CONTROL is not set
  59. CONFIG_CPU_RMAP=y
  60. CONFIG_CRC_T10DIF=y
  61. CONFIG_CRYPTO_AEAD=y
  62. CONFIG_CRYPTO_AEAD2=y
  63. CONFIG_CRYPTO_AES_NI_INTEL=y
  64. CONFIG_CRYPTO_AES_X86_64=y
  65. # CONFIG_CRYPTO_BLOWFISH_X86_64 is not set
  66. # CONFIG_CRYPTO_CAMELLIA_AESNI_AVX2_X86_64 is not set
  67. # CONFIG_CRYPTO_CAMELLIA_AESNI_AVX_X86_64 is not set
  68. # CONFIG_CRYPTO_CAMELLIA_X86_64 is not set
  69. # CONFIG_CRYPTO_CAST5_AVX_X86_64 is not set
  70. # CONFIG_CRYPTO_CAST6_AVX_X86_64 is not set
  71. # CONFIG_CRYPTO_CHACHA20_X86_64 is not set
  72. CONFIG_CRYPTO_CRCT10DIF=y
  73. # CONFIG_CRYPTO_CRCT10DIF_PCLMUL is not set
  74. CONFIG_CRYPTO_CRYPTD=y
  75. # CONFIG_CRYPTO_DES3_EDE_X86_64 is not set
  76. CONFIG_CRYPTO_ECB=y
  77. CONFIG_CRYPTO_GF128MUL=y
  78. CONFIG_CRYPTO_GLUE_HELPER_X86=y
  79. CONFIG_CRYPTO_LRW=y
  80. CONFIG_CRYPTO_MANAGER=y
  81. CONFIG_CRYPTO_MANAGER2=y
  82. CONFIG_CRYPTO_NULL2=y
  83. # CONFIG_CRYPTO_POLY1305_X86_64 is not set
  84. # CONFIG_CRYPTO_SALSA20_X86_64 is not set
  85. # CONFIG_CRYPTO_SERPENT_AVX2_X86_64 is not set
  86. # CONFIG_CRYPTO_SERPENT_AVX_X86_64 is not set
  87. # CONFIG_CRYPTO_SERPENT_SSE2_X86_64 is not set
  88. # CONFIG_CRYPTO_SHA1_MB is not set
  89. # CONFIG_CRYPTO_SHA1_SSSE3 is not set
  90. # CONFIG_CRYPTO_SHA256_MB is not set
  91. # CONFIG_CRYPTO_SHA256_SSSE3 is not set
  92. # CONFIG_CRYPTO_SHA512_MB is not set
  93. # CONFIG_CRYPTO_SHA512_SSSE3 is not set
  94. CONFIG_CRYPTO_SIMD=y
  95. # CONFIG_CRYPTO_SKEIN is not set
  96. # CONFIG_CRYPTO_TWOFISH_AVX_X86_64 is not set
  97. # CONFIG_CRYPTO_TWOFISH_X86_64 is not set
  98. # CONFIG_CRYPTO_TWOFISH_X86_64_3WAY is not set
  99. CONFIG_CRYPTO_XTS=y
  100. # CONFIG_DEBUG_HOTPLUG_CPU0 is not set
  101. # CONFIG_DPTF_POWER is not set
  102. # CONFIG_EARLY_PRINTK_EFI is not set
  103. CONFIG_EFI=y
  104. CONFIG_EFIVAR_FS=m
  105. # CONFIG_EFI_BOOTLOADER_CONTROL is not set
  106. # CONFIG_EFI_CAPSULE_LOADER 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_MIXED is not set
  111. # CONFIG_EFI_PGT_DUMP is not set
  112. CONFIG_EFI_RUNTIME_MAP=y
  113. CONFIG_EFI_RUNTIME_WRAPPERS=y
  114. CONFIG_EFI_STUB=y
  115. # CONFIG_EFI_TEST is not set
  116. CONFIG_EFI_VARS=y
  117. CONFIG_FB=y
  118. CONFIG_FB_CFB_COPYAREA=y
  119. CONFIG_FB_CFB_FILLRECT=y
  120. CONFIG_FB_CFB_IMAGEBLIT=y
  121. CONFIG_FB_CMDLINE=y
  122. CONFIG_FB_DEFERRED_IO=y
  123. CONFIG_FB_EFI=y
  124. CONFIG_FB_HYPERV=y
  125. CONFIG_FB_MODE_HELPERS=y
  126. # CONFIG_FB_PROVIDE_GET_FB_UNMAPPED_AREA is not set
  127. CONFIG_FB_SIMPLE=y
  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_TILEBLITTING=y
  133. # CONFIG_FB_VESA is not set
  134. # CONFIG_FONTS is not set
  135. CONFIG_FONT_8x16=y
  136. CONFIG_FONT_8x8=y
  137. CONFIG_FONT_SUPPORT=y
  138. CONFIG_FRAMEBUFFER_CONSOLE=y
  139. # CONFIG_FRAMEBUFFER_CONSOLE_DETECT_PRIMARY is not set
  140. # CONFIG_FRAMEBUFFER_CONSOLE_ROTATION is not set
  141. CONFIG_FREEZER=y
  142. CONFIG_GART_IOMMU=y
  143. CONFIG_GENERIC_BUG_RELATIVE_POINTERS=y
  144. CONFIG_GENERIC_CPU=y
  145. CONFIG_GENERIC_IRQ_EFFECTIVE_AFF_MASK=y
  146. CONFIG_GENERIC_IRQ_MIGRATION=y
  147. CONFIG_GENERIC_PENDING_IRQ=y
  148. CONFIG_GPIOLIB=y
  149. CONFIG_GPIOLIB_IRQCHIP=y
  150. CONFIG_GPIO_ACPI=y
  151. CONFIG_GPIO_ICH=y
  152. CONFIG_GPIO_IT87=y
  153. CONFIG_GPIO_LYNXPOINT=y
  154. CONFIG_GPIO_SCH=y
  155. CONFIG_GPIO_SYSFS=y
  156. CONFIG_HARDLOCKUP_CHECK_TIMESTAMP=y
  157. CONFIG_HAVE_ACPI_APEI=y
  158. CONFIG_HAVE_ACPI_APEI_NMI=y
  159. # CONFIG_HAVE_AOUT is not set
  160. CONFIG_HAVE_ARCH_SOFT_DIRTY=y
  161. CONFIG_HAVE_ARCH_TRANSPARENT_HUGEPAGE_PUD=y
  162. CONFIG_HAVE_ARCH_VMAP_STACK=y
  163. CONFIG_HAVE_CONTEXT_TRACKING=y
  164. CONFIG_HAVE_EBPF_JIT=y
  165. CONFIG_HAVE_FENTRY=y
  166. # CONFIG_HAVE_GENERIC_DMA_COHERENT is not set
  167. CONFIG_HAVE_IRQ_EXIT_ON_IRQ_STACK=y
  168. CONFIG_HAVE_LIVEPATCH=y
  169. CONFIG_HAVE_MEMORY_PRESENT=y
  170. CONFIG_HAVE_STACK_VALIDATION=y
  171. CONFIG_HAVE_VIRT_CPU_ACCOUNTING_GEN=y
  172. CONFIG_HIBERNATE_CALLBACKS=y
  173. CONFIG_HID_BATTERY_STRENGTH=y
  174. CONFIG_HID_GENERIC=y
  175. CONFIG_HID_HYPERV_MOUSE=y
  176. CONFIG_HOTPLUG_CPU=y
  177. CONFIG_HOTPLUG_PCI=y
  178. CONFIG_HOTPLUG_PCI_ACPI=y
  179. # CONFIG_HOTPLUG_PCI_ACPI_IBM is not set
  180. # CONFIG_HOTPLUG_PCI_CPCI is not set
  181. # CONFIG_HOTPLUG_PCI_PCIE is not set
  182. # CONFIG_HOTPLUG_PCI_SHPC is not set
  183. CONFIG_HPET=y
  184. CONFIG_HPET_MMAP=y
  185. # CONFIG_HP_ACCEL is not set
  186. CONFIG_HVC_DRIVER=y
  187. CONFIG_HVC_IRQ=y
  188. CONFIG_HVC_XEN=y
  189. CONFIG_HVC_XEN_FRONTEND=y
  190. CONFIG_HWMON=y
  191. CONFIG_HWMON_VID=y
  192. CONFIG_HW_RANDOM_AMD=y
  193. CONFIG_HW_RANDOM_INTEL=y
  194. CONFIG_HW_RANDOM_VIRTIO=y
  195. CONFIG_HYPERV=y
  196. CONFIG_HYPERVISOR_GUEST=y
  197. CONFIG_HYPERV_BALLOON=y
  198. CONFIG_HYPERV_KEYBOARD=y
  199. CONFIG_HYPERV_NET=y
  200. CONFIG_HYPERV_STORAGE=y
  201. CONFIG_HYPERV_TSCPAGE=y
  202. CONFIG_HYPERV_UTILS=y
  203. # CONFIG_HYPERV_VSOCKETS is not set
  204. CONFIG_I2C=y
  205. CONFIG_I2C_BOARDINFO=y
  206. # CONFIG_I7300_IDLE is not set
  207. # CONFIG_IA32_EMULATION is not set
  208. CONFIG_ILLEGAL_POINTER_VALUE=0xdead000000000000
  209. CONFIG_INPUT_XEN_KBDDEV_FRONTEND=y
  210. CONFIG_INTEL_IDLE=y
  211. # CONFIG_INTEL_INT0002_VGPIO is not set
  212. # CONFIG_INTEL_IPS is not set
  213. # CONFIG_INTEL_MENLOW is not set
  214. # CONFIG_INTEL_MIC_BUS is not set
  215. CONFIG_INTEL_PCH_THERMAL=y
  216. # CONFIG_INTEL_PMC_IPC is not set
  217. CONFIG_INTEL_SOC_DTS_IOSF_CORE=y
  218. CONFIG_INTEL_SOC_DTS_THERMAL=y
  219. # CONFIG_INTEL_TURBO_MAX_3 is not set
  220. # CONFIG_IOMMU_DEBUG is not set
  221. CONFIG_IOSF_MBI=y
  222. # CONFIG_IOSF_MBI_DEBUG is not set
  223. # CONFIG_ISCSI_IBFT_FIND is not set
  224. CONFIG_KALLSYMS_ABSOLUTE_PERCPU=y
  225. # CONFIG_KVM_DEBUG_FS is not set
  226. CONFIG_KVM_GUEST=y
  227. # CONFIG_LCD_CLASS_DEVICE is not set
  228. CONFIG_LEDS_GPIO=y
  229. # CONFIG_LEGACY_VSYSCALL_EMULATE is not set
  230. # CONFIG_LEGACY_VSYSCALL_NATIVE is not set
  231. CONFIG_LEGACY_VSYSCALL_NONE=y
  232. CONFIG_LOCK_SPIN_ON_OWNER=y
  233. CONFIG_LPC_ICH=y
  234. CONFIG_LPC_SCH=y
  235. CONFIG_MAILBOX=y
  236. # CONFIG_MAXSMP is not set
  237. CONFIG_MEMORY_BALLOON=y
  238. # CONFIG_MEMORY_HOTPLUG is not set
  239. CONFIG_MFD_CORE=y
  240. # CONFIG_MFD_INTEL_LPSS_ACPI is not set
  241. CONFIG_MMC=y
  242. CONFIG_MMC_BLOCK=y
  243. CONFIG_MMC_RICOH_MMC=y
  244. CONFIG_MMC_SDHCI=y
  245. CONFIG_MMC_SDHCI_PCI=y
  246. # CONFIG_MMC_SDHCI_PLTFM is not set
  247. # CONFIG_MMC_TIFM_SD is not set
  248. # CONFIG_MMC_WBSD is not set
  249. CONFIG_MMU_NOTIFIER=y
  250. CONFIG_MODULES_USE_ELF_RELA=y
  251. # CONFIG_MPSC is not set
  252. CONFIG_MUTEX_SPIN_ON_OWNER=y
  253. CONFIG_NET_FLOW_LIMIT=y
  254. CONFIG_NR_CPUS=8
  255. # CONFIG_NUMA is not set
  256. CONFIG_OUTPUT_FORMAT="elf64-x86-64"
  257. CONFIG_PADATA=y
  258. CONFIG_PAGE_TABLE_ISOLATION=y
  259. CONFIG_PARAVIRT=y
  260. CONFIG_PARAVIRT_CLOCK=y
  261. # CONFIG_PARAVIRT_DEBUG is not set
  262. CONFIG_PARAVIRT_SPINLOCKS=y
  263. CONFIG_PATA_AMD=y
  264. CONFIG_PATA_ATIIXP=y
  265. CONFIG_PATA_MPIIX=y
  266. CONFIG_PATA_OLDPIIX=y
  267. CONFIG_PATA_PLATFORM=y
  268. CONFIG_PATA_VIA=y
  269. CONFIG_PCC=y
  270. CONFIG_PCIEAER=y
  271. CONFIG_PCIEPORTBUS=y
  272. CONFIG_PCIE_PME=y
  273. CONFIG_PCI_HYPERV=y
  274. # CONFIG_PCI_MMCONFIG is not set
  275. CONFIG_PCI_XEN=y
  276. CONFIG_PGTABLE_LEVELS=4
  277. CONFIG_PHYSICAL_ALIGN=0x1000000
  278. CONFIG_PM=y
  279. # CONFIG_PMIC_OPREGION is not set
  280. CONFIG_PM_CLK=y
  281. # CONFIG_PM_DEBUG is not set
  282. CONFIG_PM_SLEEP=y
  283. CONFIG_PM_SLEEP_SMP=y
  284. CONFIG_PNP=y
  285. CONFIG_PNPACPI=y
  286. CONFIG_PNP_DEBUG_MESSAGES=y
  287. CONFIG_PROC_EVENTS=y
  288. # CONFIG_PVPANIC is not set
  289. CONFIG_QUEUED_RWLOCKS=y
  290. CONFIG_QUEUED_SPINLOCKS=y
  291. # CONFIG_RANDOMIZE_BASE is not set
  292. CONFIG_RAS=y
  293. CONFIG_RCU_NEED_SEGCBLIST=y
  294. CONFIG_RCU_STALL_COMMON=y
  295. CONFIG_REGMAP=y
  296. CONFIG_REGMAP_I2C=y
  297. CONFIG_RELOCATABLE=y
  298. CONFIG_RESET_ATTACK_MITIGATION=y
  299. CONFIG_RFS_ACCEL=y
  300. CONFIG_RPS=y
  301. CONFIG_RTC_I2C_AND_SPI=y
  302. CONFIG_RWSEM_SPIN_ON_OWNER=y
  303. # CONFIG_SAMSUNG_Q10 is not set
  304. CONFIG_SATA_AHCI=y
  305. CONFIG_SCHED_MC=y
  306. CONFIG_SCHED_MC_PRIO=y
  307. CONFIG_SCHED_SMT=y
  308. # CONFIG_SCIF_BUS is not set
  309. CONFIG_SCSI_VIRTIO=y
  310. CONFIG_SENSORS_CORETEMP=y
  311. CONFIG_SENSORS_FAM15H_POWER=y
  312. CONFIG_SENSORS_I5500=y
  313. CONFIG_SENSORS_K10TEMP=y
  314. CONFIG_SENSORS_K8TEMP=y
  315. CONFIG_SENSORS_VIA_CPUTEMP=y
  316. CONFIG_SERIAL_8250_PNP=y
  317. CONFIG_SMP=y
  318. CONFIG_SPARSEMEM=y
  319. CONFIG_SPARSEMEM_ALLOC_MEM_MAP_TOGETHER=y
  320. CONFIG_SPARSEMEM_EXTREME=y
  321. CONFIG_SPARSEMEM_MANUAL=y
  322. # CONFIG_SPARSEMEM_VMEMMAP is not set
  323. CONFIG_SPARSEMEM_VMEMMAP_ENABLE=y
  324. # CONFIG_SURFACE_PRO3_BUTTON is not set
  325. CONFIG_SWIOTLB_XEN=y
  326. CONFIG_SYS_HYPERVISOR=y
  327. CONFIG_THERMAL_GOV_USER_SPACE=y
  328. CONFIG_THERMAL_HWMON=y
  329. CONFIG_THERMAL_WRITABLE_TRIPS=y
  330. # CONFIG_TOSHIBA_BT_RFKILL is not set
  331. CONFIG_TREE_RCU=y
  332. CONFIG_TREE_SRCU=y
  333. # CONFIG_UNWINDER_ORC is not set
  334. CONFIG_UCS2_STRING=y
  335. # CONFIG_UNISYSSPAR is not set
  336. CONFIG_USB_OHCI_HCD_PCI=y
  337. CONFIG_USB_STORAGE=y
  338. CONFIG_USB_XHCI_HCD=y
  339. CONFIG_USB_XHCI_PCI=y
  340. # CONFIG_USB_XHCI_PLATFORM is not set
  341. CONFIG_VGACON_SOFT_SCROLLBACK=y
  342. # CONFIG_VGACON_SOFT_SCROLLBACK_PERSISTENT_ENABLE_BY_DEFAULT is not set
  343. CONFIG_VGACON_SOFT_SCROLLBACK_SIZE=64
  344. CONFIG_VIRTIO=y
  345. CONFIG_VIRTIO_BALLOON=y
  346. CONFIG_VIRTIO_BLK=y
  347. CONFIG_VIRTIO_CONSOLE=y
  348. CONFIG_VIRTIO_MMIO=y
  349. # CONFIG_VIRTIO_MMIO_CMDLINE_DEVICES is not set
  350. CONFIG_VIRTIO_NET=y
  351. CONFIG_VIRTIO_PCI=y
  352. CONFIG_VIRTIO_PCI_LEGACY=y
  353. # CONFIG_VIRTIO_VSOCKETS is not set
  354. CONFIG_VIRT_DRIVERS=y
  355. CONFIG_VMAP_STACK=y
  356. # CONFIG_VMD is not set
  357. CONFIG_VMWARE_BALLOON=y
  358. CONFIG_VMWARE_PVSCSI=y
  359. CONFIG_VMWARE_VMCI=y
  360. CONFIG_VMWARE_VMCI_VSOCKETS=y
  361. CONFIG_VMXNET3=y
  362. CONFIG_VSOCKETS=y
  363. CONFIG_VT_CONSOLE_SLEEP=y
  364. CONFIG_WATCHDOG_CORE=y
  365. # CONFIG_X86_5LEVEL is not set
  366. CONFIG_X86_64=y
  367. CONFIG_X86_64_SMP=y
  368. CONFIG_X86_ACPI_CPUFREQ=y
  369. # CONFIG_X86_ACPI_CPUFREQ_CPB is not set
  370. CONFIG_X86_AMD_FREQ_SENSITIVITY=y
  371. # CONFIG_X86_AMD_PLATFORM_DEVICE is not set
  372. CONFIG_X86_CMOV=y
  373. CONFIG_X86_CPUID=y
  374. CONFIG_X86_DEBUGCTLMSR=y
  375. CONFIG_X86_DEV_DMA_OPS=y
  376. CONFIG_X86_DIRECT_GBPAGES=y
  377. # CONFIG_X86_INTEL_LPSS is not set
  378. # CONFIG_X86_INTEL_MEMORY_PROTECTION_KEYS is not set
  379. # CONFIG_X86_INTEL_MPX is not set
  380. CONFIG_X86_INTEL_PSTATE=y
  381. CONFIG_X86_MINIMUM_CPU_FAMILY=64
  382. # CONFIG_X86_PCC_CPUFREQ is not set
  383. CONFIG_X86_PKG_TEMP_THERMAL=y
  384. # CONFIG_X86_PMEM_LEGACY is not set
  385. CONFIG_X86_PM_TIMER=y
  386. # CONFIG_X86_POWERNOW_K8 is not set
  387. # CONFIG_X86_VSYSCALL_EMULATION is not set
  388. CONFIG_X86_X2APIC=y
  389. # CONFIG_X86_X32 is not set
  390. CONFIG_XEN=y
  391. CONFIG_XENFS=y
  392. CONFIG_XEN_512GB=y
  393. CONFIG_XEN_ACPI=y
  394. CONFIG_XEN_ACPI_PROCESSOR=y
  395. CONFIG_XEN_AUTO_XLATE=y
  396. # CONFIG_XEN_BACKEND is not set
  397. CONFIG_XEN_BALLOON=y
  398. CONFIG_XEN_BLKDEV_FRONTEND=y
  399. CONFIG_XEN_COMPAT_XENFS=y
  400. CONFIG_XEN_DEBUG_FS=y
  401. CONFIG_XEN_DEV_EVTCHN=y
  402. CONFIG_XEN_DOM0=y
  403. CONFIG_XEN_EFI=y
  404. CONFIG_XEN_FBDEV_FRONTEND=y
  405. CONFIG_XEN_GNTDEV=y
  406. CONFIG_XEN_GRANT_DEV_ALLOC=y
  407. CONFIG_XEN_HAVE_PVMMU=y
  408. CONFIG_XEN_HAVE_VPMU=y
  409. # CONFIG_XEN_MCE_LOG is not set
  410. CONFIG_XEN_NETDEV_FRONTEND=y
  411. CONFIG_XEN_PCIDEV_FRONTEND=y
  412. CONFIG_XEN_PRIVCMD=y
  413. CONFIG_XEN_PV=y
  414. CONFIG_XEN_PVH=y
  415. CONFIG_XEN_PVHVM=y
  416. CONFIG_XEN_PVHVM_SMP=y
  417. CONFIG_XEN_PV_SMP=y
  418. CONFIG_XEN_SAVE_RESTORE=y
  419. CONFIG_XEN_SCRUB_PAGES=y
  420. CONFIG_XEN_SCSI_FRONTEND=y
  421. CONFIG_XEN_SYMS=y
  422. CONFIG_XEN_SYS_HYPERVISOR=y
  423. CONFIG_XEN_WDT=y
  424. CONFIG_XEN_XENBUS_FRONTEND=y
  425. CONFIG_XPS=y
  426. CONFIG_ZONE_DMA32=y