1 CONFIG_PGTABLE_LEVELS=2
4 # Processor type and features
7 # CONFIG_HIGHMEM64G is not set
8 # CONFIG_VMSPLIT_3G_OPT is not set
9 # CONFIG_VMSPLIT_2G_OPT is not set
10 # CONFIG_PHYS_ADDR_T_64BIT is not set
13 # Power management and ACPI options
18 # CPU frequency scaling drivers
23 # Bus options (PCI etc.)
25 # CONFIG_PCI_GOOLPC is not set
29 # PCI host controller drivers
35 CONFIG_OLPC_XO15_SCI=y
38 # Generic Driver Options
43 # Default contiguous memory area size:
45 CONFIG_CMA_SIZE_MBYTES=16
46 CONFIG_CMA_SIZE_SEL_MBYTES=y
47 # CONFIG_CMA_SIZE_SEL_PERCENTAGE is not set
48 # CONFIG_CMA_SIZE_SEL_MIN is not set
49 # CONFIG_CMA_SIZE_SEL_MAX is not set
50 CONFIG_CMA_ALIGNMENT=8
58 # Device Tree and Open Firmware support
62 CONFIG_OF_ADDRESS_PCI=y
68 # CONFIG_OF_OVERLAY is not set
71 # PIO-only SFF controllers
73 # CONFIG_PATA_OF_PLATFORM is not set
76 # Distributed Switch Architecture drivers
78 CONFIG_ARC_EMAC_CORE=m
79 # CONFIG_ARC_EMAC is not set
80 CONFIG_EMAC_ROCKCHIP=m
84 # MII PHY device drivers
87 CONFIG_MDIO_BUS_MUX_GPIO=m
88 CONFIG_MDIO_BUS_MUX_MMIOREG=m
91 # Input Device Drivers
93 CONFIG_KEYBOARD_STMPE=m
94 CONFIG_KEYBOARD_OMAP4=m
95 CONFIG_KEYBOARD_TC3589X=m
96 CONFIG_KEYBOARD_CAP11XX=m
98 CONFIG_MOUSE_PS2_OLPC=y
99 CONFIG_INPUT_MAX77693_HAPTIC=m
100 CONFIG_INPUT_MAX8997_HAPTIC=m
101 # CONFIG_INPUT_GPIO_BEEPER is not set
102 CONFIG_INPUT_PWM_BEEPER=m
107 CONFIG_SERIO_APBPS2=m
108 # CONFIG_SERIO_OLPC_APSP is not set
113 # CONFIG_SERIAL_8250_DW is not set
116 # Non-8250 serial port support
118 CONFIG_SERIAL_OF_PLATFORM=y
119 # CONFIG_SERIAL_XILINX_PS_UART is not set
120 CONFIG_SERIAL_CONEXANT_DIGICOLOR=m
123 # Multiplexer I2C Chip support
125 # CONFIG_I2C_ARB_GPIO_CHALLENGE is not set
128 # I2C system bus drivers (mostly embedded / system-on-chip)
137 CONFIG_PINCTRL_AS3722=y
138 # CONFIG_PINCTRL_SINGLE is not set
139 CONFIG_PINCTRL_PALMAS=y
143 # Memory mapped GPIO drivers
145 CONFIG_GPIO_74XX_MMIO=m
147 # CONFIG_GPIO_GRGPIO is not set
148 # CONFIG_GPIO_SYSCON is not set
149 # CONFIG_GPIO_XILINX is not set
160 # CONFIG_GPIO_STMPE is not set
161 # CONFIG_GPIO_TC3589X is not set
166 # CONFIG_GPIO_SODAVILLE is not set
171 CONFIG_BATTERY_OLPC=y
172 CONFIG_POWER_RESET_AS3722=y
173 CONFIG_POWER_RESET_GPIO=y
174 CONFIG_POWER_RESET_GPIO_RESTART=y
175 CONFIG_POWER_RESET_LTC2952=y
176 CONFIG_POWER_RESET_SYSCON=y
177 CONFIG_POWER_RESET_SYSCON_POWEROFF=y
182 CONFIG_SENSORS_PWM_FAN=m
187 # CONFIG_THERMAL_OF is not set
188 CONFIG_CLOCK_THERMAL=y
191 # Watchdog Device Drivers
193 # CONFIG_GPIO_WATCHDOG is not set
196 # Multifunction device drivers
199 CONFIG_MFD_ATMEL_HLCDC=m
200 CONFIG_MFD_HI6421_PMIC=m
201 CONFIG_MFD_MAX77686=y
206 # STMicroelectronics STMPE Interface Drivers
210 CONFIG_REGULATOR_AS3722=m
211 CONFIG_REGULATOR_HI6421=m
212 CONFIG_REGULATOR_MAX77686=m
213 CONFIG_REGULATOR_MAX77802=m
214 CONFIG_REGULATOR_PWM=m
215 CONFIG_REGULATOR_RK808=m
216 CONFIG_REGULATOR_TPS65218=m
219 # Media digital TV PCI Adapters
221 # CONFIG_VIDEO_XILINX is not set
224 # I2C encoder or helper chips
232 # CONFIG_DRM_PANEL_SIMPLE is not set
233 # CONFIG_DRM_PANEL_S6E8AA0 is not set
234 # CONFIG_DRM_PANEL_SHARP_LQ101R1SX01 is not set
237 # Frame buffer hardware drivers
239 # CONFIG_FB_SSD1307 is not set
240 CONFIG_BACKLIGHT_PWM=m
241 # CONFIG_BACKLIGHT_LM3630A is not set
242 # CONFIG_BACKLIGHT_LP855X is not set
243 # CONFIG_BACKLIGHT_LP8788 is not set
244 # CONFIG_BACKLIGHT_OT200 is not set
247 # Gadget/Dual-role mode requires USB Gadget support to be enabled
249 CONFIG_USB_CHIPIDEA_OF=m
252 # MMC/SD/SDIO Host Controller Drivers
254 CONFIG_MMC_SDHCI_OF_ARASAN=m
255 CONFIG_MMC_SDHCI_F_SDH30=m
263 # LED driver for blink(1) USB RGB LED is under Special HID drivers (HID_THINGM)
270 CONFIG_RTC_DRV_AS3722=m
271 CONFIG_RTC_DRV_HYM8563=m
272 CONFIG_RTC_DRV_MAX77686=m
273 CONFIG_RTC_DRV_RK808=m
274 CONFIG_RTC_DRV_MAX77802=m
279 CONFIG_RTC_DRV_SNVS=m
288 # Microsoft Hyper-V guest support
290 # CONFIG_FB_OLPC_DCON is not set
295 # CONFIG_COMMON_CLK_XLNX_CLKWZRD is not set
297 # CONFIG_XO15_EBOOK is not set
300 # Common Clock Framework
302 CONFIG_COMMON_CLK_MAX_GEN=y
303 CONFIG_COMMON_CLK_MAX77686=m
304 CONFIG_COMMON_CLK_MAX77802=m
305 CONFIG_COMMON_CLK_RK808=m
306 # CONFIG_COMMON_CLK_SI5351 is not set
307 CONFIG_COMMON_CLK_SI570=m
308 CONFIG_COMMON_CLK_PWM=m
311 # Generic IOMMU Pagetable Support
316 # Analog to digital converters
321 # Digital to analog converters
326 # Temperature sensors
330 CONFIG_PWM_ATMEL_HLCDC_PWM=m
334 CONFIG_PWM_LPSS_PCI=m
335 CONFIG_PWM_LPSS_PLATFORM=m
342 # Non-executable pages
344 CONFIG_PAX_KERNEXEC_MODULE_TEXT=4
347 # Random Number Generation
349 # CONFIG_CRYPTO_DEV_HIFN_795X is not set