2 CONFIG_INSTRUCTION_DECODER=y
3 CONFIG_NEED_SG_DMA_LENGTH=y
4 CONFIG_GENERIC_ISA_DMA=y
5 CONFIG_ARCH_MAY_HAVE_PC_FDC=y
6 CONFIG_RWSEM_XCHGADD_ALGORITHM=y
7 CONFIG_ARCH_HAS_CPU_RELAX=y
8 CONFIG_ARCH_HAS_CACHE_LINE_SIZE=y
9 CONFIG_ARCH_HAS_CPU_AUTOPROBE=y
10 CONFIG_NEED_PER_CPU_EMBED_FIRST_CHUNK=y
11 CONFIG_NEED_PER_CPU_PAGE_FIRST_CHUNK=y
12 CONFIG_ARCH_HIBERNATION_POSSIBLE=y
13 CONFIG_ARCH_WANT_HUGE_PMD_SHARE=y
14 CONFIG_ARCH_SUPPORTS_OPTIMIZED_INLINING=y
15 CONFIG_ARCH_SUPPORTS_DEBUG_PAGEALLOC=y
17 CONFIG_ARCH_SUPPORTS_UPROBES=y
22 # CONFIG_KERNEL_BZIP2 is not set
27 CONFIG_GENERIC_PENDING_IRQ=y
29 CONFIG_CLOCKSOURCE_WATCHDOG=y
30 CONFIG_GENERIC_CLOCKEVENTS_BROADCAST=y
31 CONFIG_GENERIC_CLOCKEVENTS_MIN_ADJUST=y
32 CONFIG_GENERIC_CMOS_UPDATE=y
38 CONFIG_RCU_STALL_COMMON=y
39 CONFIG_RCU_FANOUT_LEAF=16
40 # CONFIG_RCU_FANOUT_EXACT is not set
41 CONFIG_RCU_FAST_NO_HZ=y
43 CONFIG_RCU_NOCB_CPU_ALL=y
44 CONFIG_ARCH_SUPPORTS_NUMA_BALANCING=y
45 CONFIG_ARCH_WANTS_PROT_NUMA_PROT_NONE=y
46 CONFIG_SYSCTL_EXCEPTION_TRACE=y
47 CONFIG_PCSPKR_PLATFORM=y
50 # Kernel Performance Events And Counters
52 CONFIG_SLUB_CPU_PARTIAL=y
53 CONFIG_OPROFILE_NMI_TIMER=y
54 CONFIG_ARCH_USE_BUILTIN_BSWAP=y
55 CONFIG_USER_RETURN_NOTIFIER=y
56 CONFIG_ARCH_HAVE_NMI_SAFE_CMPXCHG=y
61 CONFIG_PREEMPT_NOTIFIERS=y
63 CONFIG_MUTEX_SPIN_ON_OWNER=y
66 # Processor type and features
70 CONFIG_X86_EXTENDED_PLATFORM=y
71 CONFIG_X86_INTEL_LPSS=y
72 CONFIG_X86_SUPPORTS_MEMORY_FAILURE=y
73 CONFIG_SCHED_OMIT_FRAME_POINTER=y
74 CONFIG_HYPERVISOR_GUEST=y
76 # CONFIG_PARAVIRT_DEBUG is not set
77 # CONFIG_PARAVIRT_SPINLOCKS is not set
80 CONFIG_XEN_PRIVILEGED_GUEST=y
82 CONFIG_XEN_SAVE_RESTORE=y
85 # CONFIG_KVM_DEBUG_FS is not set
86 CONFIG_PARAVIRT_TIME_ACCOUNTING=y
87 CONFIG_PARAVIRT_CLOCK=y
89 # CONFIG_MEMTEST is not set
90 # CONFIG_MK8 is not set
91 # CONFIG_MCORE2 is not set
92 # CONFIG_MATOM is not set
93 CONFIG_X86_INTERNODE_CACHE_SHIFT=6
94 CONFIG_X86_L1_CACHE_SHIFT=6
96 CONFIG_X86_CMPXCHG64=y
98 CONFIG_X86_DEBUGCTLMSR=y
99 # CONFIG_PROCESSOR_SELECT is not set
100 CONFIG_CPU_SUP_INTEL=y
102 CONFIG_CPU_SUP_CENTAUR=y
104 CONFIG_HPET_EMULATE_RTC=y
108 CONFIG_X86_LOCAL_APIC=y
110 CONFIG_X86_REROUTE_FOR_BROKEN_BOOT_IRQS=y
112 CONFIG_X86_MCE_INTEL=y
114 CONFIG_X86_MCE_THRESHOLD=y
115 # CONFIG_X86_MCE_INJECT is not set
116 CONFIG_X86_THERMAL_VECTOR=y
119 CONFIG_MICROCODE_INTEL=y
120 CONFIG_MICROCODE_AMD=y
121 CONFIG_MICROCODE_OLD_INTERFACE=y
122 CONFIG_MICROCODE_INTEL_LIB=y
123 # CONFIG_MICROCODE_INTEL_EARLY is not set
124 # CONFIG_MICROCODE_AMD_EARLY is not set
126 CONFIG_ARCH_PHYS_ADDR_T_64BIT=y
127 CONFIG_ARCH_DMA_ADDR_T_64BIT=y
128 CONFIG_ARCH_SPARSEMEM_ENABLE=y
129 CONFIG_ARCH_SELECT_MEMORY_MODEL=y
130 CONFIG_SELECT_MEMORY_MODEL=y
131 CONFIG_ARCH_DISCARD_MEMBLOCK=y
132 CONFIG_SPLIT_PTLOCK_CPUS=4
133 CONFIG_ARCH_ENABLE_SPLIT_PMD_PTLOCK=y
134 CONFIG_PHYS_ADDR_T_64BIT=y
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_TRANSPARENT_HUGEPAGE=y
141 CONFIG_TRANSPARENT_HUGEPAGE_ALWAYS=y
142 # CONFIG_TRANSPARENT_HUGEPAGE_MADVISE is not set
143 CONFIG_X86_CHECK_BIOS_CORRUPTION=y
144 CONFIG_X86_BOOTPARAM_MEMORY_CORRUPTION_CHECK=y
145 CONFIG_X86_RESERVE_LOW=64
147 CONFIG_MTRR_SANITIZER=y
148 CONFIG_MTRR_SANITIZER_ENABLE_DEFAULT=1
149 CONFIG_MTRR_SANITIZER_SPARE_REG_NR_DEFAULT=1
151 CONFIG_ARCH_USES_PG_UNCACHED=y
158 # CONFIG_BOOTPARAM_HOTPLUG_CPU0 is not set
159 # CONFIG_DEBUG_HOTPLUG_CPU0 is not set
160 # CONFIG_CMDLINE_BOOL is not set
161 CONFIG_ARCH_ENABLE_MEMORY_HOTPLUG=y
164 # Power management and ACPI options
166 CONFIG_HIBERNATE_CALLBACKS=y
167 CONFIG_PM_SLEEP_SMP=y
171 CONFIG_ACPI_EC_DEBUGFS=m
173 CONFIG_ACPI_BATTERY=y
178 CONFIG_ACPI_PROCESSOR=y
180 CONFIG_ACPI_HOTPLUG_CPU=y
181 CONFIG_ACPI_PROCESSOR_AGGREGATOR=m
182 CONFIG_ACPI_THERMAL=y
183 # CONFIG_ACPI_CUSTOM_DSDT is not set
184 CONFIG_ACPI_INITRD_TABLE_OVERRIDE=y
185 # CONFIG_ACPI_DEBUG is not set
186 CONFIG_ACPI_PCI_SLOT=y
187 CONFIG_X86_PM_TIMER=y
188 CONFIG_ACPI_CONTAINER=y
191 CONFIG_ACPI_CUSTOM_METHOD=m
192 # CONFIG_ACPI_BGRT is not set
194 CONFIG_ACPI_APEI_GHES=y
195 CONFIG_ACPI_APEI_PCIEAER=y
196 CONFIG_ACPI_APEI_MEMORY_FAILURE=y
197 # CONFIG_ACPI_APEI_EINJ is not set
198 # CONFIG_ACPI_APEI_ERST_DEBUG is not set
203 # CPU Frequency scaling
206 CONFIG_CPU_FREQ_GOV_COMMON=y
207 CONFIG_CPU_FREQ_STAT=m
208 CONFIG_CPU_FREQ_STAT_DETAILS=y
209 # CONFIG_CPU_FREQ_DEFAULT_GOV_PERFORMANCE is not set
210 # CONFIG_CPU_FREQ_DEFAULT_GOV_POWERSAVE is not set
211 CONFIG_CPU_FREQ_DEFAULT_GOV_USERSPACE=y
212 # CONFIG_CPU_FREQ_DEFAULT_GOV_ONDEMAND is not set
213 # CONFIG_CPU_FREQ_DEFAULT_GOV_CONSERVATIVE is not set
214 CONFIG_CPU_FREQ_GOV_PERFORMANCE=y
215 CONFIG_CPU_FREQ_GOV_POWERSAVE=m
216 CONFIG_CPU_FREQ_GOV_USERSPACE=y
217 CONFIG_CPU_FREQ_GOV_ONDEMAND=m
218 CONFIG_CPU_FREQ_GOV_CONSERVATIVE=m
221 # x86 CPU frequency scaling drivers
223 CONFIG_X86_INTEL_PSTATE=y
224 CONFIG_X86_PCC_CPUFREQ=y
225 CONFIG_X86_ACPI_CPUFREQ=y
226 # CONFIG_X86_ACPI_CPUFREQ_CPB is not set
227 CONFIG_X86_POWERNOW_K8=y
228 # CONFIG_X86_AMD_FREQ_SENSITIVITY is not set
229 # CONFIG_X86_SPEEDSTEP_CENTRINO is not set
230 CONFIG_X86_P4_CLOCKMOD=y
235 CONFIG_X86_SPEEDSTEP_LIB=y
241 # CONFIG_CPU_IDLE_MULTIPLE_DRIVERS is not set
242 CONFIG_CPU_IDLE_GOV_LADDER=y
243 CONFIG_CPU_IDLE_GOV_MENU=y
244 # CONFIG_ARCH_NEEDS_CPU_IDLE_COUPLED is not set
248 # Bus options (PCI etc.)
251 CONFIG_PCI_MMCONFIG=y
254 # CONFIG_PCI_CNB20LE_QUIRK is not set
255 CONFIG_HOTPLUG_PCI_PCIE=y
256 # CONFIG_PCIEASPM_DEFAULT is not set
257 CONFIG_PCIEASPM_POWERSAVE=y
258 CONFIG_XEN_PCIDEV_FRONTEND=m
264 # PCI host controller drivers
269 # CONFIG_PCMCIA is not set
279 CONFIG_YENTA_ENE_TUNE=y
280 CONFIG_YENTA_TOSHIBA=y
282 CONFIG_HOTPLUG_PCI_ACPI=y
283 CONFIG_HOTPLUG_PCI_ACPI_IBM=m
284 # CONFIG_HOTPLUG_PCI_CPCI is not set
285 # CONFIG_RAPIDIO is not set
286 # CONFIG_X86_SYSFB is not set
291 CONFIG_VMWARE_VMCI_VSOCKETS=m
295 CONFIG_NET_FLOW_LIMIT=y
298 # Bluetooth device drivers
303 # Generic Driver Options
305 # CONFIG_FIRMWARE_IN_KERNEL is not set
306 CONFIG_SYS_HYPERVISOR=y
312 # CONFIG_MTD is not set
315 CONFIG_PARPORT_SERIAL=m
316 # CONFIG_PARPORT_PC_FIFO is not set
317 # CONFIG_PARPORT_PC_SUPERIO is not set
318 # CONFIG_PARPORT_GSC is not set
319 # CONFIG_PARPORT_AX88796 is not set
320 CONFIG_PARPORT_1284=y
321 CONFIG_PARPORT_NOT_PC=y
323 # CONFIG_PNP_DEBUG_MESSAGES is not set
330 # CONFIG_PARIDE is not set
331 CONFIG_BLK_DEV_PCIESSD_MTIP32XX=m
332 CONFIG_BLK_DEV_RAM_SIZE=16384
333 CONFIG_XEN_BLKDEV_FRONTEND=m
334 CONFIG_XEN_BLKDEV_BACKEND=m
335 # CONFIG_BLK_DEV_HD is not set
340 CONFIG_SENSORS_LIS3LV02D=m
341 CONFIG_VMWARE_BALLOON=m
342 # CONFIG_SRAM is not set
345 # Altera FPGA firmware download module
348 CONFIG_INTEL_MEI_ME=m
355 CONFIG_SCSI_DPT_I2O=m
356 CONFIG_SCSI_ADVANSYS=m
357 CONFIG_SCSI_BUSLOGIC=m
358 CONFIG_VMWARE_PVSCSI=m
361 CONFIG_SCSI_EATA_TAGGED_QUEUE=y
362 # CONFIG_SCSI_EATA_LINKED_COMMANDS is not set
363 CONFIG_SCSI_EATA_MAX_TAGS=16
368 # CONFIG_SCSI_IZIP_EPP16 is not set
369 # CONFIG_SCSI_IZIP_SLOW_CTR is not set
371 # CONFIG_SATA_ZPODD is not set
374 # PIO-only SFF controllers
376 # CONFIG_PATA_PLATFORM is not set
379 # Generic fallback / legacy drivers
384 # IEEE 1394 (FireWire) support
386 CONFIG_I2O_EXT_ADAPTEC_DMA64=y
388 CONFIG_I2O_CONFIG_OLD_IOCTL=y
389 CONFIG_MACINTOSH_DRIVERS=y
390 # CONFIG_MAC_EMUMOUSEBTN is not set
392 CONFIG_ATM_FIRESTREAM=m
393 # CONFIG_ATM_ZATM is not set
394 # CONFIG_ATM_AMBASSADOR is not set
395 # CONFIG_ATM_HORIZON is not set
397 # CONFIG_ATM_HE_USE_SUNI is not set
400 # CAIF transport drivers
407 # Distributed Switch Architecture drivers
411 CONFIG_PCMCIA_XIRCOM=m
417 # CONFIG_MLX5_CORE is not set
418 CONFIG_MYRI10GE_DCA=y
422 # CONFIG_NET_SB1000 is not set
425 # MII PHY device drivers
427 # CONFIG_PLIP is not set
430 # USB Network Adapters
435 # Enable WiMAX (Networking options) to see the WiMAX drivers
437 CONFIG_XEN_NETDEV_FRONTEND=m
438 CONFIG_XEN_NETDEV_BACKEND=m
441 # HiSax supported cards
443 CONFIG_HISAX_NETJET=y
444 CONFIG_HISAX_NETJET_U=y
445 CONFIG_HISAX_ENTERNOW_PCI=y
448 # Input device support
450 # CONFIG_INPUT_FF_MEMLESS is not set
451 CONFIG_INPUT_MATRIXKMAP=m
454 # Input Device Drivers
456 # CONFIG_KEYBOARD_SAMSUNG is not set
457 CONFIG_MOUSE_PS2_LIFEBOOK=y
458 # CONFIG_MOUSE_GPIO is not set
459 CONFIG_INPUT_PCSPKR=m
460 CONFIG_INPUT_APANEL=m
461 CONFIG_INPUT_ATLAS_BTNS=m
462 CONFIG_INPUT_XEN_KBDDEV_FRONTEND=y
463 CONFIG_INPUT_IDEAPAD_SLIDEBAR=m
469 # CONFIG_SERIO_CT82C710 is not set
470 # CONFIG_SERIO_PARKBD is not set
480 CONFIG_SERIAL_8250_PNP=y
481 CONFIG_FIX_EARLYCON_MEM=y
482 CONFIG_SERIAL_8250_DW=m
485 # Non-8250 serial port support
487 CONFIG_SERIAL_SCCNXP=m
494 CONFIG_HVC_XEN_FRONTEND=y
495 CONFIG_HW_RANDOM_INTEL=m
496 CONFIG_HW_RANDOM_AMD=m
497 CONFIG_HW_RANDOM_VIA=m
500 # CONFIG_HPET_MMAP is not set
501 CONFIG_HANGCHECK_TIMER=m
502 # CONFIG_TELCLOCK is not set
507 # PC SMBus host controller drivers
509 CONFIG_I2C_AMD756_S4882=m
511 CONFIG_I2C_NFORCE2_S4985=m
519 # I2C system bus drivers (mostly embedded / system-on-chip)
521 CONFIG_I2C_DESIGNWARE_CORE=m
522 CONFIG_I2C_DESIGNWARE_PLATFORM=m
525 # External I2C/SMBus adapter drivers
530 # PPS clients support
532 # CONFIG_PPS_CLIENT_PARPORT is not set
535 # Enable PHYLIB and NETWORK_PHY_TIMESTAMPING to see the additional clocks.
537 CONFIG_PTP_1588_CLOCK_PCH=m
542 # CONFIG_PINMUX is not set
543 # CONFIG_PINCONF is not set
544 # CONFIG_PINCTRL_BAYTRAIL is not set
545 CONFIG_ARCH_WANT_OPTIONAL_GPIOLIB=y
549 # Memory mapped GPIO drivers:
551 # CONFIG_GPIO_GENERIC_PLATFORM is not set
552 # CONFIG_GPIO_IT8761E is not set
553 # CONFIG_GPIO_F7188X is not set
556 # CONFIG_GPIO_LYNXPOINT is not set
559 # PCI GPIO expanders:
561 # CONFIG_GPIO_CS5535 is not set
562 # CONFIG_GPIO_INTEL_MID is not set
563 # CONFIG_GPIO_PCH is not set
566 # SPI GPIO expanders:
568 # CONFIG_GPIO_MCP23S08 is not set
573 CONFIG_SENSORS_ABITUGURU=m
574 CONFIG_SENSORS_ABITUGURU3=m
575 CONFIG_SENSORS_K8TEMP=m
576 CONFIG_SENSORS_K10TEMP=m
577 CONFIG_SENSORS_FAM15H_POWER=m
578 CONFIG_SENSORS_ASB100=m
579 CONFIG_SENSORS_FSCHMD=m
580 CONFIG_SENSORS_CORETEMP=m
581 CONFIG_SENSORS_VIA_CPUTEMP=m
582 CONFIG_SENSORS_APPLESMC=m
587 CONFIG_SENSORS_ACPI_POWER=m
588 CONFIG_SENSORS_ATK0110=m
590 CONFIG_INTEL_POWERCLAMP=m
591 CONFIG_X86_PKG_TEMP_THERMAL=m
594 # Watchdog Device Drivers
596 # CONFIG_ACQUIRE_WDT is not set
597 # CONFIG_ADVANTECH_WDT is not set
598 CONFIG_ALIM1535_WDT=m
601 # CONFIG_SC520_WDT is not set
602 CONFIG_SBC_FITPC2_WATCHDOG=m
603 # CONFIG_EUROTECH_WDT is not set
606 # CONFIG_WAFER_WDT is not set
609 # CONFIG_ITCO_VENDOR_SUPPORT is not set
613 CONFIG_HPWDT_NMI_DECODING=y
614 # CONFIG_SC1200_WDT is not set
615 # CONFIG_PC87413_WDT is not set
617 # CONFIG_60XX_WDT is not set
618 # CONFIG_SBC8360_WDT is not set
619 # CONFIG_CPU5_WDT is not set
620 CONFIG_SMSC_SCH311X_WDT=m
621 # CONFIG_SMSC37B787_WDT is not set
623 CONFIG_W83627HF_WDT=m
624 CONFIG_W83697HF_WDT=m
625 CONFIG_W83697UG_WDT=m
629 # CONFIG_SBC_EPX_C3_WATCHDOG is not set
633 # Multifunction device drivers
637 # CONFIG_ABX500_CORE is not set
638 # CONFIG_MFD_SYSCON is not set
639 # CONFIG_MFD_TPS65912 is not set
640 # CONFIG_REGULATOR is not set
643 # Multimedia core support
654 CONFIG_IR_WINBOND_CIR=m
657 # Media capture support
662 # Media capture/analog TV support
664 # CONFIG_VIDEO_ZORAN is not set
667 # Media digital TV PCI Adapters
669 CONFIG_SOC_CAMERA_SCALE_CROP=m
670 CONFIG_VIDEO_SH_MOBILE_CSI2=m
671 CONFIG_VIDEO_SH_MOBILE_CEU=m
674 # Supported MMC/SDIO adapters
676 # CONFIG_MEDIA_PARPORT_SUPPORT is not set
679 # Media ancillary drivers (tuners, sensors, i2c, frontends)
681 CONFIG_VIDEO_IR_I2C=m
684 # soc_camera sensor drivers
687 CONFIG_MEDIA_TUNER_SIMPLE=m
688 CONFIG_MEDIA_TUNER_TDA8290=m
689 CONFIG_MEDIA_TUNER_TDA827X=m
690 CONFIG_MEDIA_TUNER_TDA18271=m
691 CONFIG_MEDIA_TUNER_TDA9887=m
692 CONFIG_MEDIA_TUNER_MT20XX=m
693 CONFIG_MEDIA_TUNER_XC2028=m
694 CONFIG_MEDIA_TUNER_XC5000=m
695 CONFIG_MEDIA_TUNER_XC4000=m
696 CONFIG_MEDIA_TUNER_MC44S803=m
706 CONFIG_VGA_SWITCHEROO=y
709 CONFIG_DRM_KMS_HELPER=m
712 # I2C encoder or helper chips
714 # CONFIG_DRM_I2C_CH7006 is not set
715 # CONFIG_DRM_I2C_SIL164 is not set
717 # CONFIG_DRM_RADEON_UMS is not set
719 CONFIG_NOUVEAU_DEBUG=5
720 CONFIG_NOUVEAU_DEBUG_DEFAULT=3
721 CONFIG_DRM_NOUVEAU_BACKLIGHT=y
724 CONFIG_DRM_I915_KMS=y
725 CONFIG_DRM_I915_FBDEV=y
726 # CONFIG_DRM_I915_PRELIMINARY_HW_SUPPORT is not set
732 CONFIG_VIDEO_OUTPUT_CONTROL=m
733 CONFIG_FB_SYS_FILLRECT=m
734 CONFIG_FB_SYS_COPYAREA=m
735 CONFIG_FB_SYS_IMAGEBLIT=m
736 CONFIG_FB_BACKLIGHT=y
737 # CONFIG_FB_MODE_HELPERS is not set
740 # Frame buffer hardware drivers
742 # CONFIG_FB_ARC is not set
743 # CONFIG_FB_VGA16 is not set
744 # CONFIG_FB_VESA is not set
745 # CONFIG_FB_EFI is not set
746 # CONFIG_FB_N411 is not set
747 # CONFIG_FB_HGA is not set
748 # CONFIG_FB_LE80578 is not set
749 # CONFIG_FB_INTEL is not set
750 # CONFIG_FB_VIA is not set
751 CONFIG_XEN_FBDEV_FRONTEND=m
752 CONFIG_LCD_PLATFORM=m
753 CONFIG_BACKLIGHT_APPLE=m
754 # CONFIG_BACKLIGHT_SAHARA is not set
757 # Console display driver support
760 # CONFIG_VGACON_SOFT_SCROLLBACK is not set
761 CONFIG_SND_DMA_SGBUF=y
764 CONFIG_SND_PORTMAN2X4=m
765 CONFIG_SND_SB_COMMON=m
766 CONFIG_SND_SB16_DSP=m
771 CONFIG_SND_HDA_I915=y
772 CONFIG_SND_LX6464ES=m
773 CONFIG_SND_USB_USX2Y=m
774 CONFIG_SND_USB_US122L=m
775 # CONFIG_SND_SOC is not set
781 CONFIG_USB_SERIAL_MOS7715_PARPORT=y
784 # USB Physical Layer drivers
786 CONFIG_NOP_USB_XCEIV=m
787 CONFIG_SAMSUNG_USBPHY=m
788 CONFIG_SAMSUNG_USB2PHY=m
789 CONFIG_SAMSUNG_USB3PHY=m
793 # MMC/SD/SDIO Card Drivers
798 # MMC/SD/SDIO Host Controller Drivers
801 CONFIG_MMC_SDHCI_ACPI=m
807 # CONFIG_LEDS_GPIO is not set
808 CONFIG_LEDS_CLEVO_MAIL=m
809 CONFIG_LEDS_INTEL_SS4200=m
810 CONFIG_LEDS_DELL_NETBOOKS=m
815 CONFIG_LEDS_TRIGGER_HEARTBEAT=m
818 # iptables trigger is under Netfilter config (LED target)
821 # CONFIG_EDAC_LEGACY_SYSFS is not set
822 # CONFIG_EDAC_DEBUG is not set
823 CONFIG_EDAC_DECODE_MCE=m
824 CONFIG_EDAC_MCE_INJ=m
825 CONFIG_EDAC_MM_EDAC=m
827 CONFIG_EDAC_I82975X=m
840 # CONFIG_INTEL_MID_DMAC is not set
841 CONFIG_INTEL_IOATDMA=m
850 # CONFIG_VFIO is not set
853 # Microsoft Hyper-V guest support
855 # CONFIG_HYPERV is not set
861 CONFIG_XEN_SELFBALLOONING=y
862 CONFIG_XEN_SCRUB_PAGES=y
863 CONFIG_XEN_DEV_EVTCHN=m
866 CONFIG_XEN_COMPAT_XENFS=y
867 CONFIG_XEN_SYS_HYPERVISOR=y
868 CONFIG_XEN_XENBUS_FRONTEND=y
870 CONFIG_XEN_GRANT_DEV_ALLOC=m
873 CONFIG_XEN_PCIDEV_BACKEND=m
875 CONFIG_XEN_ACPI_PROCESSOR=m
876 CONFIG_XEN_HAVE_PVMMU=y
877 # CONFIG_SLICOSS is not set
878 # CONFIG_PANEL is not set
881 # Triggers - standalone
883 # CONFIG_ACPI_QUICKSTART is not set
888 CONFIG_X86_PLATFORM_DEVICES=y
894 CONFIG_DELL_WMI_AIO=m
895 CONFIG_FUJITSU_LAPTOP=m
896 # CONFIG_FUJITSU_LAPTOP_DEBUG is not set
897 # CONFIG_FUJITSU_TABLET is not set
898 CONFIG_AMILO_RFKILL=m
902 CONFIG_PANASONIC_LAPTOP=m
903 CONFIG_COMPAL_LAPTOP=m
905 CONFIG_SONYPI_COMPAT=y
906 CONFIG_IDEAPAD_LAPTOP=m
907 CONFIG_THINKPAD_ACPI=m
908 CONFIG_THINKPAD_ACPI_ALSA_SUPPORT=y
909 # CONFIG_THINKPAD_ACPI_DEBUGFACILITIES is not set
910 # CONFIG_THINKPAD_ACPI_DEBUG is not set
911 # CONFIG_THINKPAD_ACPI_UNSAFE_LEDS is not set
912 CONFIG_THINKPAD_ACPI_VIDEO=y
913 CONFIG_THINKPAD_ACPI_HOTKEY_POLL=y
914 CONFIG_SENSORS_HDAPS=m
915 # CONFIG_INTEL_MENLOW is not set
916 CONFIG_EEEPC_LAPTOP=m
922 CONFIG_TOPSTAR_LAPTOP=m
923 CONFIG_ACPI_TOSHIBA=m
924 CONFIG_TOSHIBA_BT_RFKILL=m
927 # CONFIG_IBM_RTL is not set
928 # CONFIG_XO15_EBOOK is not set
929 CONFIG_SAMSUNG_LAPTOP=m
931 CONFIG_INTEL_OAKTRAIL=m
933 # CONFIG_APPLE_GMUX is not set
934 # CONFIG_INTEL_RST is not set
935 CONFIG_INTEL_SMARTCONNECT=m
937 CONFIG_CHROME_PLATFORMS=y
938 CONFIG_CHROMEOS_LAPTOP=m
941 # Hardware Spinlock drivers
943 CONFIG_CLKEVT_I8253=y
945 CONFIG_CLKBLD_I8253=y
949 # CONFIG_INTEL_IOMMU_DEFAULT_ON is not set
950 CONFIG_INTEL_IOMMU_FLOPPY_WA=y
953 # Temperature sensors
955 # CONFIG_NTB is not set
956 # CONFIG_PWM is not set
962 # CONFIG_EDD_OFF is not set
963 CONFIG_FIRMWARE_MEMMAP=y
968 CONFIG_ISCSI_IBFT_FIND=y
970 # CONFIG_GOOGLE_FIRMWARE is not set
973 # EFI (Extensible Firmware Interface) Support
976 CONFIG_EFI_VARS_PSTORE=y
977 # CONFIG_EFI_VARS_PSTORE_DEFAULT_DISABLE is not set
983 CONFIG_DCACHE_WORD_ACCESS=y
988 # CONFIG_HUGETLBFS is not set
992 # Compile-time checks and compiler options
994 CONFIG_ARCH_WANT_FRAME_POINTERS=y
999 # CONFIG_DEBUG_VIRTUAL is not set
1000 # CONFIG_DEBUG_PER_CPU_MAPS is not set
1001 CONFIG_DEBUG_STACKOVERFLOW=y
1004 # Debug Lockups and Hangs
1006 CONFIG_HARDLOCKUP_DETECTOR=y
1007 # CONFIG_BOOTPARAM_HARDLOCKUP_PANIC is not set
1008 CONFIG_BOOTPARAM_HARDLOCKUP_PANIC_VALUE=0
1011 # Lock Debugging (spinlocks, mutexes, etc...)
1013 # CONFIG_DEBUG_WW_MUTEX_SLOWPATH is not set
1014 # CONFIG_DEBUG_LOCK_ALLOC is not set
1015 # CONFIG_PROVE_LOCKING is not set
1016 # CONFIG_LOCK_STAT is not set
1021 CONFIG_RCU_CPU_STALL_TIMEOUT=60
1022 # CONFIG_RCU_CPU_STALL_INFO is not set
1023 CONFIG_ARCH_HAS_DEBUG_STRICT_USER_COPY_CHECKS=y
1024 # CONFIG_DEBUG_STRICT_USER_COPY_CHECKS is not set
1025 CONFIG_USER_STACKTRACE_SUPPORT=y
1026 CONFIG_FTRACE_SYSCALLS=y
1027 # CONFIG_UPROBE_EVENT is not set
1028 CONFIG_DYNAMIC_FTRACE_WITH_REGS=y
1029 # CONFIG_MMIOTRACE is not set
1034 # CONFIG_X86_VERBOSE_BOOTUP is not set
1035 CONFIG_EARLY_PRINTK=y
1036 # CONFIG_EARLY_PRINTK_DBGP is not set
1037 CONFIG_EARLY_PRINTK_EFI=y
1038 # CONFIG_X86_PTDUMP is not set
1039 CONFIG_DEBUG_NX_TEST=m
1040 CONFIG_DOUBLEFAULT=y
1041 # CONFIG_DEBUG_TLBFLUSH is not set
1042 # CONFIG_IOMMU_STRESS is not set
1043 CONFIG_IO_DELAY_TYPE_0X80=0
1044 CONFIG_IO_DELAY_TYPE_0XED=1
1045 CONFIG_IO_DELAY_TYPE_UDELAY=2
1046 CONFIG_IO_DELAY_TYPE_NONE=3
1047 CONFIG_IO_DELAY_0X80=y
1048 # CONFIG_IO_DELAY_0XED is not set
1049 # CONFIG_IO_DELAY_UDELAY is not set
1050 # CONFIG_IO_DELAY_NONE is not set
1051 CONFIG_DEFAULT_IO_DELAY_TYPE=0
1052 CONFIG_DEBUG_BOOT_PARAMS=y
1053 # CONFIG_CPA_DEBUG is not set
1054 CONFIG_OPTIMIZE_INLINING=y
1055 # CONFIG_DEBUG_NMI_SELFTEST is not set
1056 # CONFIG_X86_DEBUG_STATIC_CPU_HAS is not set
1059 # Non-executable pages
1062 CONFIG_PAX_PAGEEXEC=y
1063 CONFIG_PAX_EMUTRAMP=y
1064 CONFIG_PAX_MPROTECT=y
1065 # CONFIG_PAX_MPROTECT_COMPAT is not set
1066 CONFIG_PAX_ELFRELOCS=y
1069 # Address Space Layout Randomization
1071 CONFIG_PAX_RANDKSTACK=y
1074 # Miscellaneous hardening features
1076 CONFIG_PAX_MEMORY_STACKLEAK=y
1077 CONFIG_PAX_REFCOUNT=y
1078 # CONFIG_PAX_USERCOPY_DEBUG is not set
1079 # CONFIG_PAX_SIZE_OVERFLOW is not set
1082 # Memory Protections
1084 # CONFIG_GRKERNSEC_IO is not set
1089 CONFIG_GRKERNSEC_RWXMAP_LOG=y
1092 # Executable Protections
1094 CONFIG_GRKERNSEC_SETXID=y
1099 CONFIG_LSM_MMAP_MIN_ADDR=65536
1102 # Crypto core or helper
1104 CONFIG_CRYPTO_GF128MUL=y
1105 CONFIG_CRYPTO_PCRYPT=m
1106 CONFIG_CRYPTO_ABLK_HELPER=y
1117 CONFIG_CRYPTO_CRC32C_INTEL=y
1118 CONFIG_CRYPTO_CRC32_PCLMUL=m
1123 CONFIG_CRYPTO_AES_NI_INTEL=y
1126 # Random Number Generation
1128 CONFIG_CRYPTO_DEV_PADLOCK=m
1129 CONFIG_CRYPTO_DEV_PADLOCK_AES=m
1130 CONFIG_CRYPTO_DEV_PADLOCK_SHA=m
1131 CONFIG_KVM_APIC_ARCHITECTURE=y
1133 CONFIG_KVM_ASYNC_PF=y
1138 CONFIG_KVM_MMU_AUDIT=y
1139 CONFIG_KVM_DEVICE_ASSIGNMENT=y
1144 CONFIG_GENERIC_FIND_FIRST_BIT=y
1145 CONFIG_GENERIC_IOMAP=y
1146 CONFIG_GENERIC_ALLOCATOR=y
1149 # CONFIG_DDR is not set
1150 CONFIG_UCS2_STRING=y