3 # Kernel Performance Events And Counters
5 # CONFIG_CC_STACKPROTECTOR is not set
8 # Processor type and features
11 # CONFIG_HIGHMEM64G is not set
12 # CONFIG_VMSPLIT_3G_OPT is not set
13 # CONFIG_VMSPLIT_2G_OPT is not set
14 # CONFIG_PHYS_ADDR_T_64BIT is not set
17 # CPU Frequency scaling
19 # CONFIG_GENERIC_CPUFREQ_CPU0 is not set
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
39 # CONFIG_SYS_HYPERVISOR is not set
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
70 # Distributed Switch Architecture drivers
73 # CONFIG_ARC_EMAC is not set
78 # MII PHY device drivers
82 CONFIG_MDIO_BUS_MUX_GPIO=m
83 CONFIG_MDIO_BUS_MUX_MMIOREG=m
86 # Input Device Drivers
88 CONFIG_KEYBOARD_STMPE=m
89 CONFIG_KEYBOARD_OMAP4=m
90 CONFIG_KEYBOARD_CAP1106=m
91 CONFIG_MOUSE_PS2_OLPC=y
92 CONFIG_INPUT_MAX8997_HAPTIC=m
93 # CONFIG_INPUT_GPIO_BEEPER is not set
94 CONFIG_INPUT_PWM_BEEPER=m
100 # CONFIG_SERIO_OLPC_APSP is not set
105 # CONFIG_SERIAL_8250_DW is not set
108 # Non-8250 serial port support
110 CONFIG_SERIAL_OF_PLATFORM=y
111 # CONFIG_SERIAL_XILINX_PS_UART is not set
114 # Multiplexer I2C Chip support
116 # CONFIG_I2C_ARB_GPIO_CHALLENGE is not set
119 # I2C system bus drivers (mostly embedded / system-on-chip)
130 CONFIG_GENERIC_PINCONF=y
131 CONFIG_PINCTRL_AS3722=y
132 CONFIG_PINCTRL_BCM281XX=y
133 # CONFIG_PINCTRL_SINGLE is not set
134 CONFIG_PINCTRL_PALMAS=y
138 # Memory mapped GPIO drivers:
140 # CONFIG_GPIO_DWAPB is not set
141 # CONFIG_GPIO_SYSCON is not set
142 # CONFIG_GPIO_GRGPIO is not set
145 # I2C GPIO expanders:
147 # CONFIG_GPIO_STMPE is not set
151 # PCI GPIO expanders:
154 # CONFIG_GPIO_SODAVILLE is not set
157 # SPI GPIO expanders:
159 # CONFIG_GPIO_MCP23S08 is not set
162 # MODULbus GPIO expanders:
164 # CONFIG_GPIO_BCM_KONA is not set
169 CONFIG_BATTERY_OLPC=y
170 CONFIG_POWER_RESET_AS3722=y
171 CONFIG_POWER_RESET_GPIO=y
176 CONFIG_SENSORS_PWM_FAN=m
181 # CONFIG_THERMAL_OF is not set
184 # Watchdog Device Drivers
186 # CONFIG_GPIO_WATCHDOG is not set
189 # Multifunction device drivers
195 # STMicroelectronics STMPE Interface Drivers
198 CONFIG_REGULATOR_AS3722=m
199 CONFIG_REGULATOR_TPS65218=m
202 # Frame buffer hardware drivers
204 # CONFIG_FB_SSD1307 is not set
205 CONFIG_BACKLIGHT_PWM=m
206 # CONFIG_BACKLIGHT_LM3630A is not set
207 # CONFIG_BACKLIGHT_LP855X is not set
208 # CONFIG_BACKLIGHT_LP8788 is not set
209 # CONFIG_BACKLIGHT_OT200 is not set
212 # USB Imaging devices
214 CONFIG_USB_MUSB_DSPS=m
215 CONFIG_USB_MUSB_AM335X_CHILD=m
218 # MMC/SD/SDIO Host Controller Drivers
220 CONFIG_MMC_SDHCI_OF_ARASAN=m
230 CONFIG_RTC_DRV_AS3722=m
231 CONFIG_RTC_DRV_HYM8563=m
236 CONFIG_RTC_DRV_SNVS=m
242 CONFIG_DMA_VIRTUAL_CHANNELS=m
246 # Microsoft Hyper-V guest support
248 # CONFIG_FB_OLPC_DCON is not set
254 # CONFIG_XO15_EBOOK is not set
257 # Common Clock Framework
259 # CONFIG_COMMON_CLK_SI5351 is not set
260 CONFIG_COMMON_CLK_SI570=m
261 CONFIG_COMMON_CLK_QCOM=m
262 CONFIG_APQ_GCC_8084=m
263 CONFIG_APQ_MMCC_8084=m
264 CONFIG_IPQ_GCC_806X=m
265 CONFIG_MSM_GCC_8660=m
266 CONFIG_MSM_GCC_8960=m
267 CONFIG_MSM_MMCC_8960=m
268 CONFIG_MSM_GCC_8974=m
269 CONFIG_MSM_MMCC_8974=m
272 # Clock Source drivers
277 # Analog to digital converters
282 # Temperature sensors
295 # Non-executable pages
297 CONFIG_PAX_KERNEXEC=y
298 CONFIG_PAX_KERNEXEC_MODULE_TEXT=4
301 # Miscellaneous hardening features
303 CONFIG_PAX_MEMORY_UDEREF=y
304 CONFIG_PAX_CONSTIFY_PLUGIN=y
307 # Random Number Generation
309 # CONFIG_CRYPTO_DEV_HIFN_795X is not set