# Input Device Drivers
#
CONFIG_MOUSE_PS2_OLPC=y
+CONFIG_INPUT_PWM_BEEPER=m
#
# Serial drivers
# Non-8250 serial port support
#
CONFIG_SERIAL_OF_PLATFORM=y
+# CONFIG_SERIAL_XILINX_PS_UART is not set
#
# I2C system bus drivers (mostly embedded / system-on-chip)
# 1-wire Slaves
#
CONFIG_BATTERY_OLPC=y
+CONFIG_POWER_RESET_GPIO=y
#
# Multifunction device drivers
#
# Frame buffer hardware drivers
#
+CONFIG_BACKLIGHT_PWM=m
# CONFIG_BACKLIGHT_OT200 is not set
+#
+# Console display driver support
+#
+CONFIG_FB_SSD1307=m
+
#
# on-CPU RTC drivers
#
CONFIG_OF_IOMMU=y
#
-# Non-executable pages
+# Rpmsg drivers (EXPERIMENTAL)
#
-CONFIG_PAX_KERNEXEC=y
-CONFIG_PAX_KERNEXEC_MODULE_TEXT=4
+CONFIG_PWM=y
#
# Miscellaneous hardening features