config-default 12 KB

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