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 # Bus options (PCI etc.)
19 # CONFIG_PCI_GOOLPC is not set
23 # PCI host controller drivers
29 CONFIG_OLPC_XO15_SCI=y
32 # Generic Driver Options
34 # CONFIG_SYS_HYPERVISOR is not set
38 # Default contiguous memory area size:
40 CONFIG_CMA_SIZE_MBYTES=16
41 CONFIG_CMA_SIZE_SEL_MBYTES=y
42 # CONFIG_CMA_SIZE_SEL_PERCENTAGE is not set
43 # CONFIG_CMA_SIZE_SEL_MIN is not set
44 # CONFIG_CMA_SIZE_SEL_MAX is not set
45 CONFIG_CMA_ALIGNMENT=8
54 # Device Tree and Open Firmware support
56 # CONFIG_OF_SELFTEST is not set
59 CONFIG_OF_ADDRESS_PCI=y
67 # Distributed Switch Architecture drivers
69 # CONFIG_ARC_EMAC is not set
73 # MII PHY device drivers
76 CONFIG_MDIO_BUS_MUX_GPIO=m
77 CONFIG_MDIO_BUS_MUX_MMIOREG=m
80 # Input Device Drivers
82 CONFIG_MOUSE_PS2_OLPC=y
83 CONFIG_INPUT_MAX8997_HAPTIC=m
84 # CONFIG_INPUT_GPIO_BEEPER is not set
85 CONFIG_INPUT_PWM_BEEPER=m
91 # CONFIG_SERIO_OLPC_APSP is not set
96 # CONFIG_SERIAL_8250_DW is not set
99 # Non-8250 serial port support
101 CONFIG_SERIAL_OF_PLATFORM=y
102 # CONFIG_SERIAL_XILINX_PS_UART is not set
105 # Multiplexer I2C Chip support
107 # CONFIG_I2C_ARB_GPIO_CHALLENGE is not set
110 # I2C system bus drivers (mostly embedded / system-on-chip)
120 CONFIG_GENERIC_PINCONF=y
121 CONFIG_PINCTRL_AS3722=y
122 CONFIG_PINCTRL_BCM281XX=y
124 CONFIG_PINCTRL_MSM8X74=m
125 # CONFIG_PINCTRL_SINGLE is not set
126 CONFIG_PINCTRL_PALMAS=y
130 # Memory mapped GPIO drivers:
132 # CONFIG_GPIO_DWAPB is not set
133 # CONFIG_GPIO_SYSCON is not set
134 # CONFIG_GPIO_GRGPIO is not set
137 # I2C GPIO expanders:
142 # PCI GPIO expanders:
145 # CONFIG_GPIO_SODAVILLE is not set
148 # SPI GPIO expanders:
150 # CONFIG_GPIO_MCP23S08 is not set
153 # MODULbus GPIO expanders:
155 # CONFIG_GPIO_BCM_KONA is not set
160 CONFIG_BATTERY_OLPC=y
161 CONFIG_POWER_RESET_AS3722=y
162 CONFIG_POWER_RESET_GPIO=y
167 # CONFIG_THERMAL_OF is not set
170 # Watchdog Device Drivers
172 # CONFIG_GPIO_WATCHDOG is not set
175 # Multifunction device drivers
180 # Frame buffer hardware drivers
182 # CONFIG_FB_SSD1307 is not set
183 CONFIG_BACKLIGHT_PWM=m
184 # CONFIG_BACKLIGHT_OT200 is not set
187 # USB Imaging devices
189 CONFIG_USB_MUSB_DSPS=m
190 CONFIG_USB_MUSB_AM335X_CHILD=m
193 # MMC/SD/SDIO Host Controller Drivers
195 CONFIG_MMC_SDHCI_OF_ARASAN=m
205 CONFIG_RTC_DRV_AS3722=m
206 CONFIG_RTC_DRV_HYM8563=m
211 CONFIG_RTC_DRV_SNVS=m
217 CONFIG_DMA_VIRTUAL_CHANNELS=m
221 # Microsoft Hyper-V guest support
223 # CONFIG_FB_OLPC_DCON is not set
231 # Common Clock Framework
233 # CONFIG_COMMON_CLK_SI5351 is not set
234 CONFIG_COMMON_CLK_SI570=m
235 CONFIG_COMMON_CLK_QCOM=m
236 CONFIG_MSM_GCC_8660=m
237 CONFIG_MSM_GCC_8960=m
238 CONFIG_MSM_MMCC_8960=m
239 CONFIG_MSM_GCC_8974=m
240 CONFIG_MSM_MMCC_8974=m
243 # Hardware Spinlock drivers
248 # Analog to digital converters
250 # CONFIG_EXYNOS_ADC is not set
254 # Temperature sensors
267 # Non-executable pages
269 CONFIG_PAX_KERNEXEC=y
270 CONFIG_PAX_KERNEXEC_MODULE_TEXT=4
273 # Miscellaneous hardening features
275 CONFIG_PAX_MEMORY_UDEREF=y
276 CONFIG_PAX_CONSTIFY_PLUGIN=y
279 # Random Number Generation
281 # CONFIG_CRYPTO_DEV_HIFN_795X is not set