2 # CONFIG_LOCALVERSION_AUTO is not set
6 CONFIG_HIGH_RES_TIMERS=y
7 CONFIG_BSD_PROCESS_ACCT=y
8 CONFIG_BSD_PROCESS_ACCT_V3=y
11 CONFIG_IKCONFIG_PROC=y
14 CONFIG_CGROUP_FREEZER=y
15 CONFIG_CGROUP_DEVICE=y
17 CONFIG_CGROUP_CPUACCT=y
18 CONFIG_RESOURCE_COUNTERS=y
23 CONFIG_RT_GROUP_SCHED=y
26 CONFIG_BLK_DEV_INITRD=y
32 CONFIG_MODULE_UNLOAD=y
33 CONFIG_PARTITION_ADVANCED=y
38 CONFIG_X86_REROUTE_FOR_BROKEN_BOOT_IRQS=y
39 CONFIG_X86_CHECK_BIOS_CORRUPTION=y
40 # CONFIG_MTRR_SANITIZER is not set
46 CONFIG_PM_ADVANCED_DEBUG=y
48 CONFIG_CPU_FREQ_GOV_ONDEMAND=y
49 CONFIG_X86_ACPI_CPUFREQ=y
58 CONFIG_XFRM_SUB_POLICY=y
59 CONFIG_NET_KEY_MIGRATE=y
62 CONFIG_IP_ADVANCED_ROUTER=y
63 CONFIG_IP_MULTIPLE_TABLES=y
64 CONFIG_IP_ROUTE_MULTIPATH=y
65 CONFIG_IP_ROUTE_VERBOSE=y
71 CONFIG_DEVTMPFS_MOUNT=y
74 CONFIG_BLK_DEV_CRYPTOLOOP=m
88 # CONFIG_KEYBOARD_ATKBD is not set
89 CONFIG_KEYBOARD_GPIO_POLLED=y
90 # CONFIG_MOUSE_PS2 is not set
91 # CONFIG_SERIO_I8042 is not set
93 CONFIG_SERIAL_8250_CONSOLE=y
94 CONFIG_SERIAL_PCH_UART=y
95 CONFIG_SERIAL_PCH_UART_CONSOLE=y
104 CONFIG_SPI_TOPCLIFF_PCH=m
109 CONFIG_GPIO_GENERIC_PLATFORM=y
113 CONFIG_SOFT_WATCHDOG=m
118 CONFIG_BACKLIGHT_LCD_SUPPORT=y
119 CONFIG_BACKLIGHT_CLASS_DEVICE=y
120 CONFIG_FRAMEBUFFER_CONSOLE=y
121 CONFIG_FRAMEBUFFER_CONSOLE_DETECT_PRIMARY=y
124 CONFIG_SND_HDA_INTEL=m
127 CONFIG_USB_EHCI_HCD=y
128 CONFIG_USB_EHCI_ROOT_HUB_TT=y
129 CONFIG_USB_OHCI_HCD=y
135 CONFIG_MMC_SDHCI_PCI=y
139 CONFIG_LEDS_TRIGGERS=y
140 CONFIG_LEDS_TRIGGER_TIMER=y
141 CONFIG_LEDS_TRIGGER_ONESHOT=y
142 CONFIG_LEDS_TRIGGER_HEARTBEAT=y
143 CONFIG_LEDS_TRIGGER_BACKLIGHT=y
144 CONFIG_LEDS_TRIGGER_CPU=y
145 CONFIG_LEDS_TRIGGER_GPIO=y
146 CONFIG_LEDS_TRIGGER_DEFAULT_ON=y
150 CONFIG_MINNOWBOARD_GPIO=m
151 CONFIG_MINNOWBOARD_KEYS=m
154 CONFIG_EXT4_FS_POSIX_ACL=y
155 CONFIG_EXT4_FS_SECURITY=y
157 CONFIG_FANOTIFY_ACCESS_PERMISSIONS=y
163 CONFIG_TMPFS_POSIX_ACL=y
169 CONFIG_FRAME_WARN=1024
172 CONFIG_BLK_DEV_IO_TRACE=y