3 # Processor type and features
5 # CONFIG_XEN_PRIVILEGED_GUEST is not set
7 # CONFIG_HIGHMEM64G is not set
8 # CONFIG_PHYS_ADDR_T_64BIT is not set
11 # Bus options (PCI etc.)
13 # CONFIG_PCI_GOOLPC is not set
19 CONFIG_OLPC_XO15_SCI=y
22 # Generic Driver Options
24 # CONFIG_SYS_HYPERVISOR is not set
25 # CONFIG_CMA is not set
33 # Device Tree and Open Firmware support
35 CONFIG_PROC_DEVICETREE=y
36 # CONFIG_OF_SELFTEST is not set
48 # MII PHY device drivers
51 CONFIG_MDIO_BUS_MUX_GPIO=m
52 CONFIG_MDIO_BUS_MUX_MMIOREG=m
55 # Input Device Drivers
57 CONFIG_MOUSE_PS2_OLPC=y
58 CONFIG_INPUT_PWM_BEEPER=m
63 # CONFIG_SERIAL_8250_DW is not set
66 # Non-8250 serial port support
68 CONFIG_SERIAL_OF_PLATFORM=y
69 # CONFIG_SERIAL_XILINX_PS_UART is not set
72 # I2C system bus drivers (mostly embedded / system-on-chip)
78 # Enable PHYLIB and NETWORK_PHY_TIMESTAMPING to see the additional clocks.
91 # CONFIG_GPIO_SODAVILLE is not set
97 CONFIG_POWER_RESET_GPIO=y
100 # Multifunction device drivers
103 # CONFIG_MFD_SYSCON is not set
106 # I2C encoder or helper chips
108 CONFIG_DISPLAY_TIMING=y
110 CONFIG_OF_DISPLAY_TIMING=y
111 CONFIG_OF_VIDEOMODE=y
112 CONFIG_FB_SYS_FILLRECT=m
113 CONFIG_FB_SYS_COPYAREA=m
114 CONFIG_FB_SYS_IMAGEBLIT=m
118 # Frame buffer hardware drivers
120 CONFIG_BACKLIGHT_PWM=m
121 # CONFIG_BACKLIGHT_OT200 is not set
124 # Console display driver support
136 CONFIG_RTC_DRV_SNVS=m
144 # Microsoft Hyper-V guest support
146 # CONFIG_FB_OLPC_DCON is not set
154 # Hardware Spinlock drivers
159 # Magnetometer sensors
165 # Non-executable pages
167 CONFIG_PAX_KERNEXEC=y
168 CONFIG_PAX_KERNEXEC_MODULE_TEXT=4
171 # Miscellaneous hardening features
173 CONFIG_PAX_MEMORY_UDEREF=y
174 CONFIG_PAX_CONSTIFY_PLUGIN=y
177 # Random Number Generation
179 # CONFIG_CRYPTO_DEV_HIFN_795X is not set