3 # Processor type and features
6 # CONFIG_HIGHMEM64G is not set
7 # CONFIG_VMSPLIT_3G_OPT is not set
8 # CONFIG_VMSPLIT_2G_OPT is not set
9 # CONFIG_PHYS_ADDR_T_64BIT is not set
12 # Power management and ACPI options
17 # CPU Frequency scaling
22 # Bus options (PCI etc.)
24 # CONFIG_PCI_GOOLPC is not set
28 # PCI host controller drivers
34 CONFIG_OLPC_XO15_SCI=y
37 # Generic Driver Options
42 # Default contiguous memory area size:
44 CONFIG_CMA_SIZE_MBYTES=16
45 CONFIG_CMA_SIZE_SEL_MBYTES=y
46 # CONFIG_CMA_SIZE_SEL_PERCENTAGE is not set
47 # CONFIG_CMA_SIZE_SEL_MIN is not set
48 # CONFIG_CMA_SIZE_SEL_MAX is not set
49 CONFIG_CMA_ALIGNMENT=8
57 # Device Tree and Open Firmware support
61 CONFIG_OF_ADDRESS_PCI=y
69 # Distributed Switch Architecture drivers
72 CONFIG_ARC_EMAC_CORE=m
73 # CONFIG_ARC_EMAC is not set
74 CONFIG_EMAC_ROCKCHIP=m
79 # MII PHY device drivers
83 CONFIG_MDIO_BUS_MUX_GPIO=m
84 CONFIG_MDIO_BUS_MUX_MMIOREG=m
87 # Input Device Drivers
89 CONFIG_KEYBOARD_STMPE=m
90 CONFIG_KEYBOARD_OMAP4=m
91 CONFIG_KEYBOARD_CAP1106=m
92 CONFIG_MOUSE_PS2_OLPC=y
93 CONFIG_INPUT_MAX77693_HAPTIC=m
94 CONFIG_INPUT_MAX8997_HAPTIC=m
95 # CONFIG_INPUT_GPIO_BEEPER is not set
96 CONFIG_INPUT_PWM_BEEPER=m
101 CONFIG_SERIO_APBPS2=m
102 # CONFIG_SERIO_OLPC_APSP is not set
107 # CONFIG_SERIAL_8250_DW is not set
110 # Non-8250 serial port support
112 CONFIG_SERIAL_OF_PLATFORM=y
113 # CONFIG_SERIAL_XILINX_PS_UART is not set
116 # Multiplexer I2C Chip support
118 # CONFIG_I2C_ARB_GPIO_CHALLENGE is not set
121 # I2C system bus drivers (mostly embedded / system-on-chip)
132 CONFIG_GENERIC_PINCONF=y
133 CONFIG_PINCTRL_AS3722=y
134 # CONFIG_PINCTRL_SINGLE is not set
135 CONFIG_PINCTRL_PALMAS=y
139 # Memory mapped GPIO drivers:
141 # CONFIG_GPIO_DWAPB is not set
142 # CONFIG_GPIO_SYSCON is not set
143 # CONFIG_GPIO_GRGPIO is not set
146 # I2C GPIO expanders:
148 # CONFIG_GPIO_STMPE is not set
152 # PCI GPIO expanders:
155 # CONFIG_GPIO_SODAVILLE is not set
158 # SPI GPIO expanders:
160 # CONFIG_GPIO_MCP23S08 is not set
165 CONFIG_BATTERY_OLPC=y
166 CONFIG_POWER_RESET_AS3722=y
167 CONFIG_POWER_RESET_GPIO=y
168 CONFIG_POWER_RESET_GPIO_RESTART=y
169 CONFIG_POWER_RESET_LTC2952=y
170 CONFIG_POWER_RESET_SYSCON=y
175 CONFIG_SENSORS_PWM_FAN=m
180 # CONFIG_THERMAL_OF is not set
183 # Watchdog Device Drivers
185 # CONFIG_GPIO_WATCHDOG is not set
188 # Multifunction device drivers
191 CONFIG_MFD_HI6421_PMIC=m
196 # STMicroelectronics STMPE Interface Drivers
199 CONFIG_REGULATOR_AS3722=m
200 CONFIG_REGULATOR_HI6421=m
201 CONFIG_REGULATOR_PWM=m
202 CONFIG_REGULATOR_RK808=m
203 CONFIG_REGULATOR_TPS65218=m
206 # Frame buffer hardware drivers
208 # CONFIG_FB_SSD1307 is not set
209 CONFIG_BACKLIGHT_PWM=m
210 # CONFIG_BACKLIGHT_LM3630A is not set
211 # CONFIG_BACKLIGHT_LP855X is not set
212 # CONFIG_BACKLIGHT_LP8788 is not set
213 # CONFIG_BACKLIGHT_OT200 is not set
216 # USB Imaging devices
218 CONFIG_USB_MUSB_DSPS=m
219 CONFIG_USB_MUSB_AM335X_CHILD=m
222 # MMC/SD/SDIO Host Controller Drivers
224 CONFIG_MMC_SDHCI_OF_ARASAN=m
232 # LED driver for blink(1) USB RGB LED is under Special HID drivers (HID_THINGM)
239 CONFIG_RTC_DRV_AS3722=m
240 CONFIG_RTC_DRV_HYM8563=m
241 CONFIG_RTC_DRV_RK808=m
246 CONFIG_RTC_DRV_SNVS=m
252 CONFIG_DMA_VIRTUAL_CHANNELS=m
256 # Microsoft Hyper-V guest support
258 # CONFIG_FB_OLPC_DCON is not set
264 # CONFIG_XO15_EBOOK is not set
267 # Common Clock Framework
269 CONFIG_COMMON_CLK_RK808=m
270 # CONFIG_COMMON_CLK_SI5351 is not set
271 CONFIG_COMMON_CLK_SI570=m
272 CONFIG_COMMON_CLK_QCOM=m
273 CONFIG_APQ_GCC_8084=m
274 CONFIG_APQ_MMCC_8084=m
275 CONFIG_IPQ_GCC_806X=m
276 CONFIG_MSM_GCC_8660=m
277 CONFIG_MSM_GCC_8960=m
278 CONFIG_MSM_MMCC_8960=m
279 CONFIG_MSM_GCC_8974=m
280 CONFIG_MSM_MMCC_8974=m
283 # Clock Source drivers
288 # Analog to digital converters
293 # Digital to analog converters
298 # Temperature sensors
305 CONFIG_PWM_LPSS_PCI=m
306 CONFIG_PWM_LPSS_PLATFORM=m
313 # Non-executable pages
315 CONFIG_PAX_KERNEXEC_MODULE_TEXT=4
318 # Random Number Generation
320 # CONFIG_CRYPTO_DEV_HIFN_795X is not set