2 CONFIG_INSTRUCTION_DECODER=y
3 CONFIG_GENERIC_CMOS_UPDATE=y
4 CONFIG_CLOCKSOURCE_WATCHDOG=y
5 CONFIG_GENERIC_CLOCKEVENTS_BROADCAST=y
6 CONFIG_NEED_SG_DMA_LENGTH=y
7 CONFIG_GENERIC_ISA_DMA=y
8 CONFIG_ARCH_MAY_HAVE_PC_FDC=y
9 # CONFIG_RWSEM_GENERIC_SPINLOCK is not set
10 CONFIG_RWSEM_XCHGADD_ALGORITHM=y
11 CONFIG_ARCH_HAS_CPU_RELAX=y
12 CONFIG_ARCH_HAS_DEFAULT_IDLE=y
13 CONFIG_ARCH_HAS_CACHE_LINE_SIZE=y
14 CONFIG_NEED_PER_CPU_EMBED_FIRST_CHUNK=y
15 CONFIG_NEED_PER_CPU_PAGE_FIRST_CHUNK=y
16 CONFIG_ARCH_HIBERNATION_POSSIBLE=y
17 CONFIG_ARCH_SUPPORTS_OPTIMIZED_INLINING=y
18 CONFIG_ARCH_SUPPORTS_DEBUG_PAGEALLOC=y
20 CONFIG_ARCH_CPU_PROBE_RELEASE=y
25 # CONFIG_KERNEL_GZIP is not set
26 # CONFIG_KERNEL_BZIP2 is not set
32 CONFIG_GENERIC_PENDING_IRQ=y
33 CONFIG_IRQ_FORCED_THREADING=y
39 # CONFIG_RCU_FANOUT_EXACT is not set
40 CONFIG_RCU_FAST_NO_HZ=y
41 CONFIG_PCSPKR_PLATFORM=y
44 # Kernel Performance Events And Counters
46 CONFIG_OPROFILE_NMI_TIMER=y
48 CONFIG_USER_RETURN_NOTIFIER=y
49 CONFIG_USE_GENERIC_SMP_HELPERS=y
50 CONFIG_ARCH_HAVE_NMI_SAFE_CMPXCHG=y
53 # GCOV-based kernel profiling
60 CONFIG_PREEMPT_NOTIFIERS=y
62 CONFIG_MUTEX_SPIN_ON_OWNER=y
65 # Processor type and features
68 CONFIG_GENERIC_CLOCKEVENTS_MIN_ADJUST=y
71 CONFIG_X86_EXTENDED_PLATFORM=y
72 CONFIG_X86_SUPPORTS_MEMORY_FAILURE=y
73 CONFIG_SCHED_OMIT_FRAME_POINTER=y
74 CONFIG_PARAVIRT_GUEST=y
75 CONFIG_PARAVIRT_TIME_ACCOUNTING=y
78 CONFIG_XEN_PRIVILEGED_GUEST=y
80 CONFIG_XEN_SAVE_RESTORE=y
85 # CONFIG_PARAVIRT_SPINLOCKS is not set
86 CONFIG_PARAVIRT_CLOCK=y
87 # CONFIG_PARAVIRT_DEBUG is not set
89 # CONFIG_MEMTEST is not set
90 # CONFIG_MK8 is not set
91 # CONFIG_MCORE2 is not set
92 # CONFIG_MATOM is not set
94 CONFIG_X86_L1_CACHE_SHIFT=6
96 CONFIG_X86_WP_WORKS_OK=y
98 CONFIG_X86_CMPXCHG64=y
100 CONFIG_X86_DEBUGCTLMSR=y
101 CONFIG_CPU_SUP_INTEL=y
103 CONFIG_CPU_SUP_CENTAUR=y
105 CONFIG_HPET_EMULATE_RTC=y
108 CONFIG_IOMMU_HELPER=y
111 CONFIG_IRQ_TIME_ACCOUNTING=y
112 CONFIG_X86_LOCAL_APIC=y
114 CONFIG_X86_REROUTE_FOR_BROKEN_BOOT_IRQS=y
116 CONFIG_X86_MCE_INTEL=y
118 CONFIG_X86_MCE_THRESHOLD=y
119 # CONFIG_X86_MCE_INJECT is not set
120 CONFIG_X86_THERMAL_VECTOR=y
123 CONFIG_MICROCODE_INTEL=y
124 CONFIG_MICROCODE_AMD=y
125 CONFIG_MICROCODE_OLD_INTERFACE=y
128 CONFIG_ARCH_PHYS_ADDR_T_64BIT=y
129 CONFIG_ARCH_DMA_ADDR_T_64BIT=y
130 CONFIG_ARCH_SPARSEMEM_ENABLE=y
131 CONFIG_ARCH_SELECT_MEMORY_MODEL=y
132 CONFIG_ARCH_DISCARD_MEMBLOCK=y
133 CONFIG_SPLIT_PTLOCK_CPUS=4
134 CONFIG_PHYS_ADDR_T_64BIT=y
135 CONFIG_ZONE_DMA_FLAG=1
136 CONFIG_MMU_NOTIFIER=y
137 CONFIG_DEFAULT_MMAP_MIN_ADDR=4096
138 CONFIG_ARCH_SUPPORTS_MEMORY_FAILURE=y
139 CONFIG_MEMORY_FAILURE=y
140 # CONFIG_HWPOISON_INJECT is not set
141 CONFIG_TRANSPARENT_HUGEPAGE=y
142 CONFIG_TRANSPARENT_HUGEPAGE_ALWAYS=y
143 # CONFIG_TRANSPARENT_HUGEPAGE_MADVISE is not set
144 CONFIG_X86_CHECK_BIOS_CORRUPTION=y
145 CONFIG_X86_BOOTPARAM_MEMORY_CORRUPTION_CHECK=y
146 CONFIG_X86_RESERVE_LOW=64
148 CONFIG_MTRR_SANITIZER=y
149 CONFIG_MTRR_SANITIZER_ENABLE_DEFAULT=1
150 CONFIG_MTRR_SANITIZER_SPARE_REG_NR_DEFAULT=1
152 CONFIG_ARCH_USES_PG_UNCACHED=y
156 # CONFIG_HZ_100 is not set
157 # CONFIG_HZ_250 is not set
159 # CONFIG_HZ_1000 is not set
161 CONFIG_SCHED_HRTICK=y
164 # CONFIG_CMDLINE_BOOL is not set
165 CONFIG_ARCH_ENABLE_MEMORY_HOTPLUG=y
168 # Power management and ACPI options
170 CONFIG_HIBERNATE_CALLBACKS=y
172 CONFIG_PM_STD_PARTITION=""
173 CONFIG_PM_SLEEP_SMP=y
177 # CONFIG_ACPI_PROCFS_POWER is not set
178 CONFIG_ACPI_EC_DEBUGFS=m
179 # CONFIG_ACPI_PROC_EVENT is not set
181 CONFIG_ACPI_BATTERY=y
186 CONFIG_ACPI_PROCESSOR=y
188 CONFIG_ACPI_HOTPLUG_CPU=y
189 CONFIG_ACPI_PROCESSOR_AGGREGATOR=m
190 CONFIG_ACPI_THERMAL=y
191 # CONFIG_ACPI_CUSTOM_DSDT is not set
192 # CONFIG_ACPI_DEBUG is not set
193 CONFIG_ACPI_PCI_SLOT=y
194 CONFIG_X86_PM_TIMER=y
195 CONFIG_ACPI_CONTAINER=y
198 CONFIG_ACPI_CUSTOM_METHOD=m
200 CONFIG_ACPI_APEI_GHES=y
201 CONFIG_ACPI_APEI_PCIEAER=y
202 CONFIG_ACPI_APEI_MEMORY_FAILURE=y
203 # CONFIG_ACPI_APEI_EINJ is not set
204 # CONFIG_ACPI_APEI_ERST_DEBUG is not set
208 # CPU Frequency scaling
211 CONFIG_CPU_FREQ_TABLE=y
212 CONFIG_CPU_FREQ_STAT=m
213 CONFIG_CPU_FREQ_STAT_DETAILS=y
214 # CONFIG_CPU_FREQ_DEFAULT_GOV_PERFORMANCE is not set
215 CONFIG_CPU_FREQ_DEFAULT_GOV_USERSPACE=y
216 # CONFIG_CPU_FREQ_DEFAULT_GOV_ONDEMAND is not set
217 # CONFIG_CPU_FREQ_DEFAULT_GOV_CONSERVATIVE is not set
218 CONFIG_CPU_FREQ_GOV_PERFORMANCE=y
219 CONFIG_CPU_FREQ_GOV_POWERSAVE=m
220 CONFIG_CPU_FREQ_GOV_USERSPACE=y
221 CONFIG_CPU_FREQ_GOV_ONDEMAND=m
222 CONFIG_CPU_FREQ_GOV_CONSERVATIVE=m
225 # x86 CPU frequency scaling drivers
227 CONFIG_X86_PCC_CPUFREQ=y
228 CONFIG_X86_ACPI_CPUFREQ=y
229 CONFIG_X86_POWERNOW_K8=y
230 # CONFIG_X86_SPEEDSTEP_CENTRINO is not set
231 CONFIG_X86_P4_CLOCKMOD=y
236 CONFIG_X86_SPEEDSTEP_LIB=y
238 CONFIG_CPU_IDLE_GOV_LADDER=y
239 CONFIG_CPU_IDLE_GOV_MENU=y
243 # Bus options (PCI etc.)
246 CONFIG_PCI_MMCONFIG=y
249 # CONFIG_PCI_CNB20LE_QUIRK is not set
251 CONFIG_HOTPLUG_PCI_PCIE=y
254 CONFIG_PCIEAER_INJECT=m
256 # CONFIG_PCIEASPM_DEBUG is not set
258 CONFIG_ARCH_SUPPORTS_MSI=y
260 CONFIG_XEN_PCIDEV_FRONTEND=m
271 CONFIG_HOTPLUG_PCI_FAKE=m
272 CONFIG_HOTPLUG_PCI_ACPI=y
273 CONFIG_HOTPLUG_PCI_ACPI_IBM=m
274 # CONFIG_HOTPLUG_PCI_CPCI is not set
275 # CONFIG_RAPIDIO is not set
285 # Generic Driver Options
287 CONFIG_SYS_HYPERVISOR=y
289 # CONFIG_PNP_DEBUG_MESSAGES is not set
296 CONFIG_BLK_DEV_PCIESSD_MTIP32XX=m
297 CONFIG_XEN_BLKDEV_FRONTEND=m
298 CONFIG_XEN_BLKDEV_BACKEND=m
299 # CONFIG_BLK_DEV_HD is not set
304 CONFIG_SENSORS_LIS3LV02D=m
305 CONFIG_VMWARE_BALLOON=m
311 CONFIG_SCSI_ADVANSYS=m
312 CONFIG_SCSI_BUSLOGIC=m
313 CONFIG_VMWARE_PVSCSI=m
316 CONFIG_SCSI_EATA_TAGGED_QUEUE=y
317 # CONFIG_SCSI_EATA_LINKED_COMMANDS is not set
318 CONFIG_SCSI_EATA_MAX_TAGS=16
324 # Generic fallback / legacy drivers
327 # CONFIG_MULTICORE_RAID456 is not set
330 # IEEE 1394 (FireWire) support
332 CONFIG_I2O_EXT_ADAPTEC_DMA64=y
333 CONFIG_MACINTOSH_DRIVERS=y
334 # CONFIG_MAC_EMUMOUSEBTN is not set
337 # CONFIG_ATM_HE_USE_SUNI is not set
340 # Distributed Switch Architecture drivers
345 # CONFIG_ZNET is not set
349 CONFIG_MYRI10GE_DCA=y
352 # CONFIG_NET_SB1000 is not set
355 # USB Network Adapters
360 # Enable WiMAX (Networking options) to see the WiMAX drivers
362 CONFIG_XEN_NETDEV_FRONTEND=m
363 CONFIG_XEN_NETDEV_BACKEND=m
366 # Input Device Drivers
368 CONFIG_MOUSE_PS2_LIFEBOOK=y
369 CONFIG_INPUT_PCSPKR=m
370 CONFIG_INPUT_APANEL=m
371 CONFIG_INPUT_ATLAS_BTNS=m
372 CONFIG_INPUT_XEN_KBDDEV_FRONTEND=m
378 # CONFIG_SERIO_CT82C710 is not set
388 CONFIG_FIX_EARLYCON_MEM=y
389 CONFIG_SERIAL_8250_PNP=y
392 # Non-8250 serial port support
396 CONFIG_HW_RANDOM_INTEL=m
397 CONFIG_HW_RANDOM_AMD=m
398 CONFIG_HW_RANDOM_VIA=m
401 # CONFIG_HPET_MMAP is not set
402 CONFIG_HANGCHECK_TIMER=m
403 # CONFIG_TELCLOCK is not set
406 # PC SMBus host controller drivers
408 CONFIG_I2C_AMD756_S4882=m
409 CONFIG_I2C_NFORCE2_S4985=m
417 # Memory mapped GPIO drivers:
419 # CONFIG_GPIO_IT8761E is not set
423 # PCI GPIO expanders:
425 # CONFIG_GPIO_CS5535 is not set
426 # CONFIG_GPIO_PCH is not set
431 CONFIG_SENSORS_ABITUGURU=m
432 CONFIG_SENSORS_ABITUGURU3=m
433 CONFIG_SENSORS_K8TEMP=m
434 CONFIG_SENSORS_K10TEMP=m
435 CONFIG_SENSORS_FAM15H_POWER=m
436 CONFIG_SENSORS_ASB100=m
437 CONFIG_SENSORS_FSCHMD=m
438 CONFIG_SENSORS_CORETEMP=m
439 CONFIG_SENSORS_VIA_CPUTEMP=m
440 CONFIG_SENSORS_APPLESMC=m
445 CONFIG_SENSORS_ACPI_POWER=m
446 CONFIG_SENSORS_ATK0110=m
449 # Watchdog Device Drivers
451 # CONFIG_ACQUIRE_WDT is not set
452 # CONFIG_ADVANTECH_WDT is not set
453 CONFIG_ALIM1535_WDT=m
456 # CONFIG_SC520_WDT is not set
457 CONFIG_SBC_FITPC2_WATCHDOG=m
458 # CONFIG_EUROTECH_WDT is not set
461 # CONFIG_WAFER_WDT is not set
462 CONFIG_I6300ESB_WDT=m
464 # CONFIG_ITCO_VENDOR_SUPPORT is not set
468 CONFIG_HPWDT_NMI_DECODING=y
469 # CONFIG_SC1200_WDT is not set
470 # CONFIG_PC87413_WDT is not set
472 # CONFIG_60XX_WDT is not set
473 # CONFIG_SBC8360_WDT is not set
474 # CONFIG_CPU5_WDT is not set
475 CONFIG_SMSC_SCH311X_WDT=m
476 # CONFIG_SMSC37B787_WDT is not set
478 CONFIG_W83627HF_WDT=m
479 CONFIG_W83697HF_WDT=m
480 CONFIG_W83697UG_WDT=m
484 # CONFIG_SBC_EPX_C3_WATCHDOG is not set
488 # Multifunction device drivers
499 CONFIG_IR_WINBOND_CIR=m
502 # Miscelaneous helper chips
505 CONFIG_VIDEO_VIA_CAMERA=m
515 CONFIG_VGA_SWITCHEROO=y
516 CONFIG_DRM_KMS_HELPER=m
518 CONFIG_DRM_RADEON_KMS=y
521 CONFIG_DRM_I915_KMS=y
526 CONFIG_FB_BOOT_VESA_SUPPORT=y
527 CONFIG_FB_CFB_FILLRECT=y
528 CONFIG_FB_CFB_COPYAREA=y
529 CONFIG_FB_CFB_IMAGEBLIT=y
530 CONFIG_FB_SYS_FILLRECT=y
531 CONFIG_FB_SYS_COPYAREA=y
532 CONFIG_FB_SYS_IMAGEBLIT=y
536 # Frame buffer hardware drivers
538 # CONFIG_FB_ARC is not set
542 # CONFIG_FB_N411 is not set
543 # CONFIG_FB_HGA is not set
544 # CONFIG_FB_LE80578 is not set
546 CONFIG_FB_RADEON_I2C=y
547 CONFIG_FB_RADEON_BACKLIGHT=y
548 # CONFIG_FB_RADEON_DEBUG is not set
550 CONFIG_FB_SAVAGE_I2C=y
551 CONFIG_FB_SAVAGE_ACCEL=y
553 # CONFIG_FB_VIA_DIRECT_PROCFS is not set
554 CONFIG_FB_VIA_X_COMPATIBILITY=y
558 # CONFIG_FB_GEODE_GX1 is not set
559 CONFIG_XEN_FBDEV_FRONTEND=y
560 CONFIG_BACKLIGHT_PROGEAR=m
561 CONFIG_BACKLIGHT_APPLE=m
562 # CONFIG_BACKLIGHT_SAHARA is not set
565 # Console display driver support
568 CONFIG_VGACON_SOFT_SCROLLBACK=y
569 CONFIG_VGACON_SOFT_SCROLLBACK_SIZE=128
570 CONFIG_SND_DMA_SGBUF=y
572 CONFIG_SND_SB_COMMON=m
573 CONFIG_SND_SB16_DSP=m
578 CONFIG_SND_USB_USX2Y=m
579 CONFIG_SND_USB_US122L=m
580 # CONFIG_SND_SOC is not set
583 # MMC/SD/SDIO Host Controller Drivers
590 CONFIG_LEDS_CLEVO_MAIL=m
591 CONFIG_LEDS_INTEL_SS4200=m
592 CONFIG_LEDS_DELL_NETBOOKS=m
595 # iptables trigger is under Netfilter config (LED target)
600 # Reporting subsystems
602 # CONFIG_EDAC_DEBUG is not set
603 CONFIG_EDAC_DECODE_MCE=m
604 CONFIG_EDAC_MCE_INJ=m
605 CONFIG_EDAC_MM_EDAC=m
607 CONFIG_EDAC_I82975X=m
620 # CONFIG_INTEL_MID_DMAC is not set
621 CONFIG_INTEL_IOATDMA=m
630 # Microsoft Hyper-V guest support
632 # CONFIG_HYPERV is not set
638 CONFIG_XEN_SELFBALLOONING=y
639 CONFIG_XEN_SCRUB_PAGES=y
640 CONFIG_XEN_DEV_EVTCHN=m
643 CONFIG_XEN_COMPAT_XENFS=y
644 CONFIG_XEN_SYS_HYPERVISOR=y
645 CONFIG_XEN_XENBUS_FRONTEND=y
647 CONFIG_XEN_GRANT_DEV_ALLOC=m
650 CONFIG_XEN_PCIDEV_BACKEND=m
652 # CONFIG_SLICOSS is not set
653 # CONFIG_COMEDI is not set
655 CONFIG_DRM_NOUVEAU_BACKLIGHT=y
656 CONFIG_DRM_NOUVEAU_DEBUG=y
659 # I2C encoder or helper chips
661 # CONFIG_DRM_I2C_CH7006 is not set
662 # CONFIG_DRM_I2C_SIL164 is not set
663 # CONFIG_ACPI_QUICKSTART is not set
666 # Speakup console speech
668 # CONFIG_INTEL_MEI is not set
673 CONFIG_X86_PLATFORM_DEVICES=y
679 CONFIG_DELL_WMI_AIO=m
680 CONFIG_FUJITSU_LAPTOP=m
681 # CONFIG_FUJITSU_LAPTOP_DEBUG is not set
682 # CONFIG_FUJITSU_TABLET is not set
683 CONFIG_AMILO_RFKILL=m
687 CONFIG_PANASONIC_LAPTOP=m
688 CONFIG_COMPAL_LAPTOP=m
690 CONFIG_SONYPI_COMPAT=y
691 CONFIG_IDEAPAD_LAPTOP=m
692 CONFIG_THINKPAD_ACPI=m
693 CONFIG_THINKPAD_ACPI_ALSA_SUPPORT=y
694 # CONFIG_THINKPAD_ACPI_DEBUGFACILITIES is not set
695 # CONFIG_THINKPAD_ACPI_DEBUG is not set
696 # CONFIG_THINKPAD_ACPI_UNSAFE_LEDS is not set
697 CONFIG_THINKPAD_ACPI_VIDEO=y
698 CONFIG_THINKPAD_ACPI_HOTKEY_POLL=y
699 CONFIG_SENSORS_HDAPS=m
700 # CONFIG_INTEL_MENLOW is not set
701 CONFIG_EEEPC_LAPTOP=m
707 # CONFIG_ACPI_ASUS is not set
708 CONFIG_TOPSTAR_LAPTOP=m
709 CONFIG_ACPI_TOSHIBA=m
710 CONFIG_TOSHIBA_BT_RFKILL=m
713 # CONFIG_IBM_RTL is not set
714 # CONFIG_XO15_EBOOK is not set
715 CONFIG_SAMSUNG_LAPTOP=m
717 CONFIG_INTEL_OAKTRAIL=m
721 # Hardware Spinlock drivers
723 CONFIG_CLKEVT_I8253=y
725 CONFIG_CLKBLD_I8253=y
729 # CONFIG_INTEL_IOMMU_DEFAULT_ON is not set
730 CONFIG_INTEL_IOMMU_FLOPPY_WA=y
736 # CONFIG_EDD_OFF is not set
737 CONFIG_FIRMWARE_MEMMAP=y
743 CONFIG_ISCSI_IBFT_FIND=y
745 # CONFIG_GOOGLE_FIRMWARE is not set
751 CONFIG_HUGETLB_PAGE=y
756 CONFIG_HARDLOCKUP_DETECTOR=y
757 # CONFIG_DEBUG_VIRTUAL is not set
758 CONFIG_ARCH_WANT_FRAME_POINTERS=y
759 CONFIG_RCU_CPU_STALL_TIMEOUT=60
760 # CONFIG_DEBUG_PER_CPU_MAPS is not set
761 # CONFIG_CPU_NOTIFIER_ERROR_INJECT is not set
762 CONFIG_USER_STACKTRACE_SUPPORT=y
763 CONFIG_FTRACE_NMI_ENTER=y
764 CONFIG_FTRACE_SYSCALLS=y
765 # CONFIG_MMIOTRACE is not set
766 # CONFIG_X86_VERBOSE_BOOTUP is not set
767 CONFIG_EARLY_PRINTK=y
768 # CONFIG_EARLY_PRINTK_DBGP is not set
769 CONFIG_DEBUG_STACKOVERFLOW=y
770 # CONFIG_X86_PTDUMP is not set
771 CONFIG_DEBUG_NX_TEST=m
772 # CONFIG_IOMMU_STRESS is not set
773 CONFIG_IO_DELAY_TYPE_0X80=0
774 CONFIG_IO_DELAY_TYPE_0XED=1
775 CONFIG_IO_DELAY_TYPE_UDELAY=2
776 CONFIG_IO_DELAY_TYPE_NONE=3
777 CONFIG_IO_DELAY_0X80=y
778 # CONFIG_IO_DELAY_0XED is not set
779 # CONFIG_IO_DELAY_UDELAY is not set
780 # CONFIG_IO_DELAY_NONE is not set
781 CONFIG_DEFAULT_IO_DELAY_TYPE=0
782 CONFIG_DEBUG_BOOT_PARAMS=y
783 # CONFIG_CPA_DEBUG is not set
784 CONFIG_OPTIMIZE_INLINING=y
785 # CONFIG_DEBUG_STRICT_USER_COPY_CHECKS is not set
786 # CONFIG_DEBUG_NMI_SELFTEST is not set
791 # CONFIG_GRKERNSEC_IO is not set
796 CONFIG_GRKERNSEC_RWXMAP_LOG=y
797 CONFIG_GRKERNSEC_AUDIT_TEXTREL=y
800 # Executable Protections
802 CONFIG_GRKERNSEC_SETXID=y
805 # Non-executable pages
808 CONFIG_PAX_PAGEEXEC=y
809 CONFIG_PAX_EMUTRAMP=y
810 CONFIG_PAX_MPROTECT=y
811 # CONFIG_PAX_MPROTECT_COMPAT is not set
812 CONFIG_PAX_ELFRELOCS=y
815 # Address Space Layout Randomization
817 CONFIG_PAX_RANDKSTACK=y
820 # Miscellaneous hardening features
822 CONFIG_PAX_MEMORY_STACKLEAK=y
823 CONFIG_PAX_REFCOUNT=y
824 # CONFIG_PAX_SIZE_OVERFLOW is not set
825 CONFIG_LSM_MMAP_MIN_ADDR=65536
826 CONFIG_ASYNC_TX_DISABLE_PQ_VAL_DMA=y
827 CONFIG_ASYNC_TX_DISABLE_XOR_VAL_DMA=y
830 # Crypto core or helper
832 CONFIG_CRYPTO_PCRYPT=m
837 CONFIG_CRYPTO_CRC32C_INTEL=y
842 CONFIG_CRYPTO_AES_NI_INTEL=y
845 # Random Number Generation
847 CONFIG_CRYPTO_DEV_PADLOCK=m
848 CONFIG_CRYPTO_DEV_PADLOCK_AES=m
849 CONFIG_CRYPTO_DEV_PADLOCK_SHA=m
850 CONFIG_KVM_APIC_ARCHITECTURE=y
852 CONFIG_KVM_ASYNC_PF=y
853 CONFIG_VIRTUALIZATION=y
857 CONFIG_KVM_MMU_AUDIT=y
863 CONFIG_GENERIC_FIND_FIRST_BIT=y
864 CONFIG_GENERIC_IOMAP=y
865 CONFIG_GENERIC_ALLOCATOR=y