6 # CONFIG_IRQ_DOMAIN_DEBUG is not set
9 # Processor type and features
11 # CONFIG_XEN_PRIVILEGED_GUEST is not set
12 # CONFIG_IOMMU_HELPER is not set
14 # CONFIG_HIGHMEM64G is not set
15 # CONFIG_ARCH_PHYS_ADDR_T_64BIT is not set
16 # CONFIG_ARCH_DMA_ADDR_T_64BIT is not set
17 # CONFIG_PHYS_ADDR_T_64BIT is not set
20 # Bus options (PCI etc.)
22 # CONFIG_PCI_GOOLPC is not set
28 CONFIG_OLPC_XO15_SCI=y
31 # Generic Driver Options
33 # CONFIG_SYS_HYPERVISOR is not set
34 # CONFIG_CMA is not set
38 # Device Tree and Open Firmware support
40 CONFIG_PROC_DEVICETREE=y
41 # CONFIG_OF_SELFTEST is not set
53 # MII PHY device drivers
56 CONFIG_MDIO_BUS_MUX_GPIO=m
59 # Input Device Drivers
61 CONFIG_MOUSE_PS2_OLPC=y
66 # CONFIG_SERIAL_8250_DW is not set
69 # Non-8250 serial port support
71 CONFIG_SERIAL_OF_PLATFORM=m
74 # I2C system bus drivers (mostly embedded / system-on-chip)
80 # Enable PHYLIB and NETWORK_PHY_TIMESTAMPING to see the additional clocks.
88 # CONFIG_GPIO_SODAVILLE is not set
96 # Multifunction device drivers
101 # I2C encoder or helper chips
103 CONFIG_FB_SYS_FILLRECT=m
104 CONFIG_FB_SYS_COPYAREA=m
105 CONFIG_FB_SYS_IMAGEBLIT=m
109 # Frame buffer hardware drivers
111 # CONFIG_BACKLIGHT_OT200 is not set
114 # Microsoft Hyper-V guest support
116 # CONFIG_FB_OLPC_DCON is not set
124 # Non-executable pages
126 CONFIG_PAX_KERNEXEC=y
127 CONFIG_PAX_KERNEXEC_MODULE_TEXT=4
130 # Miscellaneous hardening features
132 CONFIG_PAX_MEMORY_UDEREF=y
135 # Random Number Generation
137 # CONFIG_CRYPTO_DEV_HIFN_795X is not set