6 # CONFIG_ACPI_CMPC is not set
7 # CONFIG_ACPI_CONTAINER is not set
8 CONFIG_ACPI_CPU_FREQ_PSS=y
9 # CONFIG_ACPI_CUSTOM_DSDT is not set
10 # CONFIG_ACPI_DEBUG is not set
11 # CONFIG_ACPI_DEBUGGER is not set
12 # CONFIG_ACPI_DOCK is not set
13 # CONFIG_ACPI_EC_DEBUGFS is not set
15 CONFIG_ACPI_HOTPLUG_IOAPIC=y
16 # CONFIG_ACPI_INITRD_TABLE_OVERRIDE is not set
17 CONFIG_ACPI_LEGACY_TABLES_LOOKUP=y
18 # CONFIG_ACPI_NFIT is not set
19 # CONFIG_ACPI_PCI_SLOT is not set
20 CONFIG_ACPI_PROCESSOR=y
21 # CONFIG_ACPI_PROCESSOR_AGGREGATOR is not set
22 CONFIG_ACPI_PROCESSOR_IDLE=y
23 # CONFIG_ACPI_PROCFS_POWER is not set
24 CONFIG_ACPI_REV_OVERRIDE_POSSIBLE=y
25 # CONFIG_ACPI_SBS is not set
26 CONFIG_ACPI_SYSTEM_POWER_STATES_SUPPORT=y
28 # CONFIG_ACPI_VIDEO is not set
29 # CONFIG_ACPI_WMI is not set
30 CONFIG_ARCH_DEFCONFIG="arch/x86/configs/x86_64_defconfig"
31 CONFIG_ARCH_DMA_ADDR_T_64BIT=y
32 CONFIG_ARCH_ENABLE_MEMORY_HOTPLUG=y
33 CONFIG_ARCH_ENABLE_SPLIT_PMD_PTLOCK=y
34 CONFIG_ARCH_HAS_PMEM_API=y
35 CONFIG_ARCH_HWEIGHT_CFLAGS="-fcall-saved-rdi -fcall-saved-rsi -fcall-saved-rdx -fcall-saved-rcx -fcall-saved-r8 -fcall-saved-r9 -fcall-saved-r10 -fcall-saved-r11"
36 CONFIG_ARCH_MIGHT_HAVE_ACPI_PDC=y
37 CONFIG_ARCH_PHYS_ADDR_T_64BIT=y
38 CONFIG_ARCH_SPARSEMEM_DEFAULT=y
39 CONFIG_ARCH_SUPPORTS_INT128=y
40 CONFIG_ARCH_SUPPORTS_NUMA_BALANCING=y
41 CONFIG_ARCH_USE_CMPXCHG_LOCKREF=y
42 CONFIG_ARCH_WANT_BATCHED_UNMAP_TLB_FLUSH=y
43 # CONFIG_ATA_SFF is not set
45 # CONFIG_BACKLIGHT_APPLE is not set
46 CONFIG_BACKLIGHT_CLASS_DEVICE=y
47 CONFIG_BACKLIGHT_GENERIC=y
48 CONFIG_BACKLIGHT_LCD_SUPPORT=y
49 CONFIG_BLK_DEV_INTEGRITY=y
50 CONFIG_CALGARY_IOMMU=y
51 CONFIG_CALGARY_IOMMU_ENABLED_BY_DEFAULT=y
54 # CONFIG_CRYPTO_AES_X86_64 is not set
55 # CONFIG_CRYPTO_BLOWFISH_X86_64 is not set
56 # CONFIG_CRYPTO_CAMELLIA_AESNI_AVX2_X86_64 is not set
57 # CONFIG_CRYPTO_CAMELLIA_AESNI_AVX_X86_64 is not set
58 # CONFIG_CRYPTO_CAMELLIA_X86_64 is not set
59 # CONFIG_CRYPTO_CAST5_AVX_X86_64 is not set
60 # CONFIG_CRYPTO_CAST6_AVX_X86_64 is not set
61 # CONFIG_CRYPTO_CHACHA20_X86_64 is not set
62 CONFIG_CRYPTO_CRCT10DIF=y
63 # CONFIG_CRYPTO_CRCT10DIF_PCLMUL is not set
64 # CONFIG_CRYPTO_DES3_EDE_X86_64 is not set
65 # CONFIG_CRYPTO_POLY1305_X86_64 is not set
66 # CONFIG_CRYPTO_SALSA20_X86_64 is not set
67 # CONFIG_CRYPTO_SERPENT_AVX2_X86_64 is not set
68 # CONFIG_CRYPTO_SERPENT_AVX_X86_64 is not set
69 # CONFIG_CRYPTO_SERPENT_SSE2_X86_64 is not set
70 # CONFIG_CRYPTO_SHA1_MB is not set
71 # CONFIG_CRYPTO_SHA1_SSSE3 is not set
72 # CONFIG_CRYPTO_SHA256_SSSE3 is not set
73 # CONFIG_CRYPTO_SHA512_SSSE3 is not set
74 # CONFIG_CRYPTO_SKEIN is not set
75 # CONFIG_CRYPTO_TWOFISH_AVX_X86_64 is not set
76 # CONFIG_CRYPTO_TWOFISH_X86_64 is not set
77 # CONFIG_CRYPTO_TWOFISH_X86_64_3WAY is not set
78 # CONFIG_EFI is not set
81 CONFIG_FB_MODE_HELPERS=y
82 CONFIG_FB_TILEBLITTING=y
83 # CONFIG_FB_VESA is not set
84 # CONFIG_FONTS is not set
88 CONFIG_FRAMEBUFFER_CONSOLE=y
89 # CONFIG_FRAMEBUFFER_CONSOLE_DETECT_PRIMARY is not set
90 # CONFIG_FRAMEBUFFER_CONSOLE_ROTATION is not set
92 CONFIG_GENERIC_BUG_RELATIVE_POINTERS=y
94 CONFIG_GENERIC_PENDING_IRQ=y
95 CONFIG_HAVE_ACPI_APEI=y
96 CONFIG_HAVE_ACPI_APEI_NMI=y
97 # CONFIG_HAVE_AOUT is not set
98 CONFIG_HAVE_ARCH_HUGE_VMAP=y
99 CONFIG_HAVE_ARCH_SOFT_DIRTY=y
100 CONFIG_HAVE_BPF_JIT=y
101 CONFIG_HAVE_CONTEXT_TRACKING=y
103 # CONFIG_HAVE_GENERIC_DMA_COHERENT is not set
104 CONFIG_HAVE_IRQ_EXIT_ON_IRQ_STACK=y
105 CONFIG_HAVE_LIVEPATCH=y
106 CONFIG_HAVE_MEMORY_PRESENT=y
107 CONFIG_HAVE_VIRT_CPU_ACCOUNTING_GEN=y
109 CONFIG_HID_BATTERY_STRENGTH=y
112 # CONFIG_HP_ACCEL is not set
114 CONFIG_HW_RANDOM_AMD=y
115 CONFIG_HW_RANDOM_INTEL=y
116 CONFIG_HW_RANDOM_VIRTIO=y
117 CONFIG_HYPERVISOR_GUEST=y
118 # CONFIG_I7300_IDLE is not set
119 # CONFIG_IA32_EMULATION is not set
120 CONFIG_ILLEGAL_POINTER_VALUE=0xdead000000000000
121 # CONFIG_INTEL_IPS is not set
122 # CONFIG_INTEL_MENLOW is not set
123 # CONFIG_INTEL_MIC_BUS is not set
124 # CONFIG_INTEL_PMC_IPC is not set
125 # CONFIG_IOMMU_DEBUG is not set
126 CONFIG_IOMMU_HELPER=y
127 # CONFIG_ISCSI_IBFT_FIND is not set
128 # CONFIG_ITCO_VENDOR_SUPPORT is not set
130 # CONFIG_KVM_DEBUG_FS is not set
132 # CONFIG_LCD_CLASS_DEVICE is not set
133 # CONFIG_LEGACY_VSYSCALL_EMULATE is not set
134 # CONFIG_LEGACY_VSYSCALL_NATIVE is not set
135 CONFIG_LEGACY_VSYSCALL_NONE=y
136 # CONFIG_LIQUIDIO is not set
137 CONFIG_LOCK_SPIN_ON_OWNER=y
139 # CONFIG_MAXSMP is not set
140 CONFIG_MEMORY_BALLOON=y
141 # CONFIG_MEMORY_HOTPLUG is not set
143 # CONFIG_MFD_INTEL_LPSS_ACPI is not set
144 CONFIG_MODULES_USE_ELF_RELA=y
145 # CONFIG_MPSC is not set
146 CONFIG_MUTEX_SPIN_ON_OWNER=y
147 CONFIG_NEED_DMA_MAP_STATE=y
148 CONFIG_NET_FLOW_LIMIT=y
151 # CONFIG_NUMA is not set
152 CONFIG_OUTPUT_FORMAT="elf64-x86-64"
154 CONFIG_PARAVIRT_CLOCK=y
155 # CONFIG_PARAVIRT_DEBUG is not set
156 CONFIG_PARAVIRT_SPINLOCKS=y
157 # CONFIG_PARAVIRT_TIME_ACCOUNTING is not set
160 CONFIG_PCI_BUS_ADDR_T_64BIT=y
162 # CONFIG_PCI_MMCONFIG is not set
163 CONFIG_PGTABLE_LEVELS=4
164 CONFIG_PHYSICAL_ALIGN=0x1000000
165 CONFIG_PHYS_ADDR_T_64BIT=y
166 # CONFIG_PMIC_OPREGION is not set
169 CONFIG_PNP_DEBUG_MESSAGES=y
170 # CONFIG_PVPANIC is not set
171 CONFIG_QUEUED_RWLOCKS=y
172 CONFIG_QUEUED_SPINLOCKS=y
174 CONFIG_RCU_STALL_COMMON=y
177 CONFIG_RWSEM_SPIN_ON_OWNER=y
178 # CONFIG_SAMSUNG_Q10 is not set
180 # CONFIG_SCIF_BUS is not set
182 CONFIG_SERIAL_8250_PNP=y
185 CONFIG_SPARSEMEM_ALLOC_MEM_MAP_TOGETHER=y
186 CONFIG_SPARSEMEM_EXTREME=y
187 CONFIG_SPARSEMEM_MANUAL=y
188 # CONFIG_SPARSEMEM_VMEMMAP is not set
189 CONFIG_SPARSEMEM_VMEMMAP_ENABLE=y
190 # CONFIG_SURFACE_PRO3_BUTTON is not set
192 # CONFIG_THUNDER_NIC_BGX is not set
193 # CONFIG_THUNDER_NIC_PF is not set
194 # CONFIG_THUNDER_NIC_VF is not set
195 # CONFIG_TOSHIBA_BT_RFKILL is not set
197 # CONFIG_UNISYSSPAR is not set
200 CONFIG_USB_EHCI_HCD=y
201 # CONFIG_USB_EHCI_HCD_PLATFORM is not set
202 CONFIG_USB_EHCI_PCI=y
203 CONFIG_USB_OHCI_HCD=y
204 CONFIG_USB_OHCI_HCD_PCI=y
205 # CONFIG_USB_OHCI_HCD_PLATFORM is not set
207 CONFIG_USB_UHCI_HCD=y
208 CONFIG_USB_XHCI_HCD=y
209 CONFIG_USB_XHCI_PCI=y
210 # CONFIG_USB_XHCI_PLATFORM is not set
211 CONFIG_VGACON_SOFT_SCROLLBACK=y
212 CONFIG_VGACON_SOFT_SCROLLBACK_SIZE=64
214 CONFIG_VIRTIO_BALLOON=y
216 CONFIG_VIRTIO_CONSOLE=y
218 # CONFIG_VIRTIO_MMIO_CMDLINE_DEVICES is not set
221 CONFIG_VIRTIO_PCI_LEGACY=y
222 CONFIG_VIRT_DRIVERS=y
223 CONFIG_VMWARE_BALLOON=y
224 CONFIG_VMWARE_PVSCSI=y
226 CONFIG_VMWARE_VMCI_VSOCKETS=y
229 CONFIG_WATCHDOG_CORE=y
232 # CONFIG_X86_ACPI_CPUFREQ is not set
233 # CONFIG_X86_AMD_PLATFORM_DEVICE is not set
235 CONFIG_X86_CMPXCHG64=y
236 CONFIG_X86_DEBUGCTLMSR=y
237 CONFIG_X86_DEV_DMA_OPS=y
238 CONFIG_X86_DIRECT_GBPAGES=y
239 # CONFIG_X86_INTEL_LPSS is not set
240 CONFIG_X86_MINIMUM_CPU_FAMILY=64
241 # CONFIG_X86_MSR is not set
242 # CONFIG_X86_PCC_CPUFREQ is not set
243 # CONFIG_X86_PMEM_LEGACY is not set
244 CONFIG_X86_PM_TIMER=y
246 # CONFIG_X86_VSYSCALL_EMULATION is not set
248 # CONFIG_X86_X32 is not set