2 CONFIG_INSTRUCTION_DECODER=y
3 CONFIG_GENERIC_CMOS_UPDATE=y
4 CONFIG_CLOCKSOURCE_WATCHDOG=y
5 CONFIG_GENERIC_CLOCKEVENTS_BROADCAST=y
7 CONFIG_NEED_SG_DMA_LENGTH=y
8 CONFIG_GENERIC_ISA_DMA=y
10 CONFIG_ARCH_MAY_HAVE_PC_FDC=y
11 # CONFIG_RWSEM_GENERIC_SPINLOCK is not set
12 CONFIG_RWSEM_XCHGADD_ALGORITHM=y
13 CONFIG_ARCH_HAS_CPU_RELAX=y
14 CONFIG_ARCH_HAS_DEFAULT_IDLE=y
15 CONFIG_ARCH_HAS_CACHE_LINE_SIZE=y
16 CONFIG_NEED_PER_CPU_EMBED_FIRST_CHUNK=y
17 CONFIG_NEED_PER_CPU_PAGE_FIRST_CHUNK=y
18 CONFIG_ARCH_HIBERNATION_POSSIBLE=y
19 CONFIG_ARCH_POPULATES_NODE_MAP=y
20 CONFIG_ARCH_SUPPORTS_OPTIMIZED_INLINING=y
21 CONFIG_ARCH_SUPPORTS_DEBUG_PAGEALLOC=y
23 CONFIG_ARCH_CPU_PROBE_RELEASE=y
28 # CONFIG_KERNEL_GZIP is not set
29 # CONFIG_KERNEL_BZIP2 is not set
38 CONFIG_GENERIC_PENDING_IRQ=y
39 CONFIG_IRQ_FORCED_THREADING=y
45 # CONFIG_RCU_FANOUT_EXACT is not set
46 CONFIG_RCU_FAST_NO_HZ=y
47 CONFIG_PCSPKR_PLATFORM=y
50 # Kernel Performance Events And Counters
53 CONFIG_USER_RETURN_NOTIFIER=y
54 CONFIG_USE_GENERIC_SMP_HELPERS=y
55 CONFIG_ARCH_HAVE_NMI_SAFE_CMPXCHG=y
58 # GCOV-based kernel profiling
65 CONFIG_PREEMPT_NOTIFIERS=y
67 CONFIG_MUTEX_SPIN_ON_OWNER=y
70 # Processor type and features
72 CONFIG_GENERIC_CLOCKEVENTS_MIN_ADJUST=y
75 CONFIG_X86_EXTENDED_PLATFORM=y
76 CONFIG_X86_SUPPORTS_MEMORY_FAILURE=y
77 CONFIG_SCHED_OMIT_FRAME_POINTER=y
78 CONFIG_PARAVIRT_GUEST=y
79 CONFIG_PARAVIRT_TIME_ACCOUNTING=y
82 CONFIG_XEN_PRIVILEGED_GUEST=y
84 CONFIG_XEN_MAX_DOMAIN_MEMORY=128
85 CONFIG_XEN_SAVE_RESTORE=y
90 # CONFIG_PARAVIRT_SPINLOCKS is not set
91 CONFIG_PARAVIRT_CLOCK=y
92 # CONFIG_PARAVIRT_DEBUG is not set
94 # CONFIG_MEMTEST is not set
95 # CONFIG_MK8 is not set
96 # CONFIG_MCORE2 is not set
97 # CONFIG_MATOM is not set
99 CONFIG_CMPXCHG_LOCAL=y
100 CONFIG_CMPXCHG_DOUBLE=y
101 CONFIG_X86_L1_CACHE_SHIFT=6
103 CONFIG_X86_WP_WORKS_OK=y
105 CONFIG_X86_CMPXCHG64=y
107 CONFIG_X86_DEBUGCTLMSR=y
108 CONFIG_CPU_SUP_INTEL=y
110 CONFIG_CPU_SUP_CENTAUR=y
112 CONFIG_HPET_EMULATE_RTC=y
115 CONFIG_IOMMU_HELPER=y
118 CONFIG_IRQ_TIME_ACCOUNTING=y
119 CONFIG_X86_LOCAL_APIC=y
121 CONFIG_X86_REROUTE_FOR_BROKEN_BOOT_IRQS=y
123 CONFIG_X86_MCE_INTEL=y
125 CONFIG_X86_MCE_THRESHOLD=y
126 # CONFIG_X86_MCE_INJECT is not set
127 CONFIG_X86_THERMAL_VECTOR=y
130 CONFIG_MICROCODE_INTEL=y
131 CONFIG_MICROCODE_AMD=y
132 CONFIG_MICROCODE_OLD_INTERFACE=y
135 CONFIG_ARCH_PHYS_ADDR_T_64BIT=y
136 CONFIG_ARCH_DMA_ADDR_T_64BIT=y
137 CONFIG_ARCH_SPARSEMEM_ENABLE=y
138 CONFIG_ARCH_SELECT_MEMORY_MODEL=y
139 CONFIG_SPLIT_PTLOCK_CPUS=4
140 CONFIG_PHYS_ADDR_T_64BIT=y
141 CONFIG_ZONE_DMA_FLAG=1
142 CONFIG_MMU_NOTIFIER=y
143 CONFIG_DEFAULT_MMAP_MIN_ADDR=4096
144 CONFIG_ARCH_SUPPORTS_MEMORY_FAILURE=y
145 CONFIG_MEMORY_FAILURE=y
146 # CONFIG_HWPOISON_INJECT is not set
147 CONFIG_TRANSPARENT_HUGEPAGE=y
148 CONFIG_TRANSPARENT_HUGEPAGE_ALWAYS=y
149 # CONFIG_TRANSPARENT_HUGEPAGE_MADVISE is not set
150 CONFIG_X86_CHECK_BIOS_CORRUPTION=y
151 CONFIG_X86_BOOTPARAM_MEMORY_CORRUPTION_CHECK=y
152 CONFIG_X86_RESERVE_LOW=64
154 CONFIG_MTRR_SANITIZER=y
155 CONFIG_MTRR_SANITIZER_ENABLE_DEFAULT=1
156 CONFIG_MTRR_SANITIZER_SPARE_REG_NR_DEFAULT=1
158 CONFIG_ARCH_USES_PG_UNCACHED=y
161 # CONFIG_HZ_100 is not set
162 # CONFIG_HZ_250 is not set
164 # CONFIG_HZ_1000 is not set
166 CONFIG_SCHED_HRTICK=y
169 # CONFIG_CMDLINE_BOOL is not set
170 CONFIG_ARCH_ENABLE_MEMORY_HOTPLUG=y
173 # Power management and ACPI options
175 CONFIG_HIBERNATE_CALLBACKS=y
177 CONFIG_PM_STD_PARTITION=""
178 CONFIG_PM_SLEEP_SMP=y
182 # CONFIG_ACPI_PROCFS_POWER is not set
183 CONFIG_ACPI_EC_DEBUGFS=m
184 # CONFIG_ACPI_PROC_EVENT is not set
186 CONFIG_ACPI_BATTERY=y
191 CONFIG_ACPI_PROCESSOR=y
193 CONFIG_ACPI_HOTPLUG_CPU=y
194 CONFIG_ACPI_PROCESSOR_AGGREGATOR=m
195 CONFIG_ACPI_THERMAL=y
196 # CONFIG_ACPI_CUSTOM_DSDT is not set
197 # CONFIG_ACPI_DEBUG is not set
198 CONFIG_ACPI_PCI_SLOT=y
199 CONFIG_X86_PM_TIMER=y
200 CONFIG_ACPI_CONTAINER=y
203 CONFIG_ACPI_CUSTOM_METHOD=m
205 CONFIG_ACPI_APEI_GHES=y
206 CONFIG_ACPI_APEI_PCIEAER=y
207 CONFIG_ACPI_APEI_MEMORY_FAILURE=y
208 # CONFIG_ACPI_APEI_EINJ is not set
209 # CONFIG_ACPI_APEI_ERST_DEBUG is not set
213 # CPU Frequency scaling
216 CONFIG_CPU_FREQ_TABLE=y
217 CONFIG_CPU_FREQ_STAT=m
218 CONFIG_CPU_FREQ_STAT_DETAILS=y
219 # CONFIG_CPU_FREQ_DEFAULT_GOV_PERFORMANCE is not set
220 CONFIG_CPU_FREQ_DEFAULT_GOV_USERSPACE=y
221 # CONFIG_CPU_FREQ_DEFAULT_GOV_ONDEMAND is not set
222 # CONFIG_CPU_FREQ_DEFAULT_GOV_CONSERVATIVE is not set
223 CONFIG_CPU_FREQ_GOV_PERFORMANCE=y
224 CONFIG_CPU_FREQ_GOV_POWERSAVE=m
225 CONFIG_CPU_FREQ_GOV_USERSPACE=y
226 CONFIG_CPU_FREQ_GOV_ONDEMAND=m
227 CONFIG_CPU_FREQ_GOV_CONSERVATIVE=m
230 # x86 CPU frequency scaling drivers
232 CONFIG_X86_PCC_CPUFREQ=y
233 CONFIG_X86_ACPI_CPUFREQ=y
234 CONFIG_X86_POWERNOW_K8=y
235 # CONFIG_X86_SPEEDSTEP_CENTRINO is not set
236 CONFIG_X86_P4_CLOCKMOD=y
241 CONFIG_X86_SPEEDSTEP_LIB=y
243 CONFIG_CPU_IDLE_GOV_LADDER=y
244 CONFIG_CPU_IDLE_GOV_MENU=y
248 # Bus options (PCI etc.)
251 CONFIG_PCI_MMCONFIG=y
254 # CONFIG_PCI_CNB20LE_QUIRK is not set
256 CONFIG_HOTPLUG_PCI_PCIE=y
259 CONFIG_PCIEAER_INJECT=m
261 # CONFIG_PCIEASPM_DEBUG is not set
263 CONFIG_ARCH_SUPPORTS_MSI=y
265 CONFIG_XEN_PCIDEV_FRONTEND=m
276 CONFIG_HOTPLUG_PCI_FAKE=m
277 CONFIG_HOTPLUG_PCI_ACPI=y
278 CONFIG_HOTPLUG_PCI_ACPI_IBM=m
279 # CONFIG_HOTPLUG_PCI_CPCI is not set
280 # CONFIG_RAPIDIO is not set
290 # Generic Driver Options
292 CONFIG_SYS_HYPERVISOR=y
294 # CONFIG_PNP_DEBUG_MESSAGES is not set
301 CONFIG_XEN_BLKDEV_FRONTEND=m
302 CONFIG_XEN_BLKDEV_BACKEND=m
303 # CONFIG_BLK_DEV_HD is not set
304 CONFIG_SENSORS_LIS3LV02D=m
305 CONFIG_VMWARE_BALLOON=m
311 CONFIG_SCSI_BUSLOGIC=m
312 CONFIG_VMWARE_PVSCSI=m
315 CONFIG_SCSI_EATA_TAGGED_QUEUE=y
316 # CONFIG_SCSI_EATA_LINKED_COMMANDS is not set
317 CONFIG_SCSI_EATA_MAX_TAGS=16
323 # Generic fallback / legacy drivers
326 # CONFIG_MULTICORE_RAID456 is not set
329 # IEEE 1394 (FireWire) support
331 CONFIG_I2O_EXT_ADAPTEC_DMA64=y
332 CONFIG_MACINTOSH_DRIVERS=y
333 # CONFIG_MAC_EMUMOUSEBTN is not set
336 # CONFIG_ATM_HE_USE_SUNI is not set
339 # CAIF transport drivers
344 # CONFIG_ZNET is not set
348 CONFIG_MYRI10GE_DCA=y
351 # CONFIG_NET_SB1000 is not set
354 # USB Network Adapters
359 # Enable WiMAX (Networking options) to see the WiMAX drivers
361 CONFIG_XEN_NETDEV_FRONTEND=m
362 CONFIG_XEN_NETDEV_BACKEND=m
365 # Input Device Drivers
367 CONFIG_MOUSE_PS2_LIFEBOOK=y
368 CONFIG_INPUT_PCSPKR=m
369 CONFIG_INPUT_APANEL=m
370 CONFIG_INPUT_ATLAS_BTNS=m
371 CONFIG_INPUT_XEN_KBDDEV_FRONTEND=m
377 # CONFIG_SERIO_CT82C710 is not set
387 CONFIG_FIX_EARLYCON_MEM=y
388 CONFIG_SERIAL_8250_PNP=y
391 # Non-8250 serial port support
395 CONFIG_HW_RANDOM_INTEL=m
396 CONFIG_HW_RANDOM_AMD=m
397 CONFIG_HW_RANDOM_VIA=m
400 # CONFIG_HPET_MMAP is not set
401 CONFIG_HANGCHECK_TIMER=m
402 # CONFIG_TELCLOCK is not set
405 # PC SMBus host controller drivers
407 CONFIG_I2C_AMD756_S4882=m
408 CONFIG_I2C_NFORCE2_S4985=m
416 # Memory mapped GPIO drivers:
421 # PCI GPIO expanders:
423 # CONFIG_GPIO_CS5535 is not set
424 # CONFIG_GPIO_PCH is not set
429 CONFIG_SENSORS_ABITUGURU=m
430 CONFIG_SENSORS_ABITUGURU3=m
431 CONFIG_SENSORS_K8TEMP=m
432 CONFIG_SENSORS_K10TEMP=m
433 CONFIG_SENSORS_FAM15H_POWER=m
434 CONFIG_SENSORS_ASB100=m
435 CONFIG_SENSORS_FSCHMD=m
436 CONFIG_SENSORS_CORETEMP=m
437 CONFIG_SENSORS_VIA_CPUTEMP=m
438 CONFIG_SENSORS_APPLESMC=m
443 CONFIG_SENSORS_ACPI_POWER=m
444 CONFIG_SENSORS_ATK0110=m
447 # Watchdog Device Drivers
449 # CONFIG_ACQUIRE_WDT is not set
450 # CONFIG_ADVANTECH_WDT is not set
451 CONFIG_ALIM1535_WDT=m
454 # CONFIG_SC520_WDT is not set
455 CONFIG_SBC_FITPC2_WATCHDOG=m
456 # CONFIG_EUROTECH_WDT is not set
459 # CONFIG_WAFER_WDT is not set
460 CONFIG_I6300ESB_WDT=m
462 # CONFIG_ITCO_VENDOR_SUPPORT is not set
466 CONFIG_HPWDT_NMI_DECODING=y
467 # CONFIG_SC1200_WDT is not set
468 # CONFIG_PC87413_WDT is not set
470 # CONFIG_60XX_WDT is not set
471 # CONFIG_SBC8360_WDT is not set
472 # CONFIG_CPU5_WDT is not set
473 CONFIG_SMSC_SCH311X_WDT=m
474 # CONFIG_SMSC37B787_WDT is not set
475 CONFIG_W83627HF_WDT=m
476 CONFIG_W83697HF_WDT=m
477 CONFIG_W83697UG_WDT=m
481 # CONFIG_SBC_EPX_C3_WATCHDOG is not set
485 # Multifunction device drivers
496 CONFIG_IR_WINBOND_CIR=m
499 # Miscelaneous helper chips
502 CONFIG_VIDEO_VIA_CAMERA=m
512 CONFIG_VGA_SWITCHEROO=y
513 CONFIG_DRM_KMS_HELPER=m
515 CONFIG_DRM_RADEON_KMS=y
518 CONFIG_DRM_I915_KMS=y
520 CONFIG_FB_BOOT_VESA_SUPPORT=y
521 CONFIG_FB_CFB_FILLRECT=y
522 CONFIG_FB_CFB_COPYAREA=y
523 CONFIG_FB_CFB_IMAGEBLIT=y
524 CONFIG_FB_SYS_FILLRECT=y
525 CONFIG_FB_SYS_COPYAREA=y
526 CONFIG_FB_SYS_IMAGEBLIT=y
530 # Frame buffer hardware drivers
532 # CONFIG_FB_ARC is not set
536 # CONFIG_FB_N411 is not set
537 # CONFIG_FB_HGA is not set
538 # CONFIG_FB_LE80578 is not set
540 CONFIG_FB_RADEON_I2C=y
541 CONFIG_FB_RADEON_BACKLIGHT=y
542 # CONFIG_FB_RADEON_DEBUG is not set
544 CONFIG_FB_SAVAGE_I2C=y
545 CONFIG_FB_SAVAGE_ACCEL=y
547 # CONFIG_FB_VIA_DIRECT_PROCFS is not set
548 CONFIG_FB_VIA_X_COMPATIBILITY=y
552 # CONFIG_FB_GEODE_GX1 is not set
553 CONFIG_XEN_FBDEV_FRONTEND=y
554 CONFIG_BACKLIGHT_PROGEAR=m
555 CONFIG_BACKLIGHT_APPLE=m
556 # CONFIG_BACKLIGHT_SAHARA is not set
559 # Console display driver support
562 CONFIG_VGACON_SOFT_SCROLLBACK=y
563 CONFIG_VGACON_SOFT_SCROLLBACK_SIZE=128
564 CONFIG_SND_DMA_SGBUF=y
566 CONFIG_SND_SB_COMMON=m
567 CONFIG_SND_SB16_DSP=m
572 CONFIG_SND_USB_USX2Y=m
573 CONFIG_SND_USB_US122L=m
574 # CONFIG_SND_SOC is not set
577 # MMC/SD/SDIO Host Controller Drivers
584 CONFIG_LEDS_CLEVO_MAIL=m
585 CONFIG_LEDS_INTEL_SS4200=m
586 CONFIG_LEDS_DELL_NETBOOKS=m
589 # iptables trigger is under Netfilter config (LED target)
594 # Reporting subsystems
596 # CONFIG_EDAC_DEBUG is not set
597 CONFIG_EDAC_DECODE_MCE=m
598 CONFIG_EDAC_MCE_INJ=m
599 CONFIG_EDAC_MM_EDAC=m
601 CONFIG_EDAC_I82975X=m
614 # CONFIG_INTEL_MID_DMAC is not set
615 CONFIG_INTEL_IOATDMA=m
627 CONFIG_XEN_SELFBALLOONING=y
628 CONFIG_XEN_SCRUB_PAGES=y
629 CONFIG_XEN_DEV_EVTCHN=m
632 CONFIG_XEN_COMPAT_XENFS=y
633 CONFIG_XEN_SYS_HYPERVISOR=y
634 CONFIG_XEN_XENBUS_FRONTEND=y
636 CONFIG_XEN_GRANT_DEV_ALLOC=m
639 CONFIG_XEN_PCIDEV_BACKEND=m
640 # CONFIG_SLICOSS is not set
641 # CONFIG_COMEDI is not set
643 CONFIG_DRM_NOUVEAU_BACKLIGHT=y
644 CONFIG_DRM_NOUVEAU_DEBUG=y
647 # I2C encoder or helper chips
649 # CONFIG_DRM_I2C_CH7006 is not set
650 # CONFIG_DRM_I2C_SIL164 is not set
651 # CONFIG_ACPI_QUICKSTART is not set
654 # Speakup console speech
656 # CONFIG_DRM_PSB is not set
657 # CONFIG_INTEL_MEI is not set
658 CONFIG_X86_PLATFORM_DEVICES=y
664 CONFIG_DELL_WMI_AIO=m
665 CONFIG_FUJITSU_LAPTOP=m
666 # CONFIG_FUJITSU_LAPTOP_DEBUG is not set
670 CONFIG_PANASONIC_LAPTOP=m
671 CONFIG_COMPAL_LAPTOP=m
673 CONFIG_SONYPI_COMPAT=y
674 CONFIG_IDEAPAD_LAPTOP=m
675 CONFIG_THINKPAD_ACPI=m
676 CONFIG_THINKPAD_ACPI_ALSA_SUPPORT=y
677 # CONFIG_THINKPAD_ACPI_DEBUGFACILITIES is not set
678 # CONFIG_THINKPAD_ACPI_DEBUG is not set
679 # CONFIG_THINKPAD_ACPI_UNSAFE_LEDS is not set
680 CONFIG_THINKPAD_ACPI_VIDEO=y
681 CONFIG_THINKPAD_ACPI_HOTKEY_POLL=y
682 CONFIG_SENSORS_HDAPS=m
683 # CONFIG_INTEL_MENLOW is not set
684 CONFIG_EEEPC_LAPTOP=m
690 # CONFIG_ACPI_ASUS is not set
691 CONFIG_TOPSTAR_LAPTOP=m
692 CONFIG_ACPI_TOSHIBA=m
693 CONFIG_TOSHIBA_BT_RFKILL=m
696 # CONFIG_IBM_RTL is not set
697 # CONFIG_XO15_EBOOK is not set
698 CONFIG_SAMSUNG_LAPTOP=m
700 CONFIG_INTEL_OAKTRAIL=m
704 # Hardware Spinlock drivers
706 CONFIG_CLKEVT_I8253=y
708 CONFIG_CLKBLD_I8253=y
712 # CONFIG_INTEL_IOMMU_DEFAULT_ON is not set
713 CONFIG_INTEL_IOMMU_FLOPPY_WA=y
714 # CONFIG_HYPERV is not set
720 # CONFIG_EDD_OFF is not set
721 CONFIG_FIRMWARE_MEMMAP=y
727 CONFIG_ISCSI_IBFT_FIND=y
729 # CONFIG_SIGMA is not set
730 # CONFIG_GOOGLE_FIRMWARE is not set
736 CONFIG_HUGETLB_PAGE=y
741 CONFIG_HARDLOCKUP_DETECTOR=y
742 # CONFIG_DEBUG_VIRTUAL is not set
743 CONFIG_ARCH_WANT_FRAME_POINTERS=y
744 CONFIG_RCU_CPU_STALL_TIMEOUT=60
745 # CONFIG_DEBUG_PER_CPU_MAPS is not set
746 # CONFIG_CPU_NOTIFIER_ERROR_INJECT is not set
747 CONFIG_USER_STACKTRACE_SUPPORT=y
748 CONFIG_FTRACE_NMI_ENTER=y
749 CONFIG_FTRACE_SYSCALLS=y
750 # CONFIG_MMIOTRACE is not set
751 # CONFIG_X86_VERBOSE_BOOTUP is not set
752 CONFIG_EARLY_PRINTK=y
753 # CONFIG_EARLY_PRINTK_DBGP is not set
754 CONFIG_DEBUG_STACKOVERFLOW=y
755 # CONFIG_X86_PTDUMP is not set
756 CONFIG_DEBUG_NX_TEST=m
757 # CONFIG_IOMMU_STRESS is not set
758 CONFIG_IO_DELAY_TYPE_0X80=0
759 CONFIG_IO_DELAY_TYPE_0XED=1
760 CONFIG_IO_DELAY_TYPE_UDELAY=2
761 CONFIG_IO_DELAY_TYPE_NONE=3
762 CONFIG_IO_DELAY_0X80=y
763 # CONFIG_IO_DELAY_0XED is not set
764 # CONFIG_IO_DELAY_UDELAY is not set
765 # CONFIG_IO_DELAY_NONE is not set
766 CONFIG_DEFAULT_IO_DELAY_TYPE=0
767 CONFIG_DEBUG_BOOT_PARAMS=y
768 # CONFIG_CPA_DEBUG is not set
769 CONFIG_OPTIMIZE_INLINING=y
770 # CONFIG_DEBUG_STRICT_USER_COPY_CHECKS is not set
775 # CONFIG_GRKERNSEC_IO is not set
780 CONFIG_GRKERNSEC_RWXMAP_LOG=y
781 CONFIG_GRKERNSEC_AUDIT_TEXTREL=y
784 # Non-executable pages
787 CONFIG_PAX_PAGEEXEC=y
788 CONFIG_PAX_EMUTRAMP=y
789 CONFIG_PAX_MPROTECT=y
790 # CONFIG_PAX_MPROTECT_COMPAT is not set
791 CONFIG_PAX_ELFRELOCS=y
794 # Address Space Layout Randomization
796 CONFIG_PAX_RANDKSTACK=y
799 # Miscellaneous hardening features
801 CONFIG_PAX_MEMORY_STACKLEAK=y
802 CONFIG_PAX_REFCOUNT=y
803 CONFIG_LSM_MMAP_MIN_ADDR=65536
804 CONFIG_ASYNC_TX_DISABLE_PQ_VAL_DMA=y
805 CONFIG_ASYNC_TX_DISABLE_XOR_VAL_DMA=y
808 # Crypto core or helper
810 CONFIG_CRYPTO_PCRYPT=m
815 CONFIG_CRYPTO_CRC32C_INTEL=y
820 CONFIG_CRYPTO_AES_NI_INTEL=y
823 # Random Number Generation
825 CONFIG_CRYPTO_DEV_PADLOCK=m
826 CONFIG_CRYPTO_DEV_PADLOCK_AES=m
827 CONFIG_CRYPTO_DEV_PADLOCK_SHA=m
828 CONFIG_KVM_APIC_ARCHITECTURE=y
830 CONFIG_KVM_ASYNC_PF=y
831 CONFIG_VIRTUALIZATION=y
835 CONFIG_KVM_MMU_AUDIT=y
841 CONFIG_GENERIC_FIND_FIRST_BIT=y
842 CONFIG_GENERIC_ALLOCATOR=y