3 # Processor type and features
5 # CONFIG_XEN_PRIVILEGED_GUEST is not set
6 # CONFIG_IOMMU_HELPER is not set
8 # CONFIG_HIGHMEM64G is not set
9 # CONFIG_ARCH_PHYS_ADDR_T_64BIT is not set
10 # CONFIG_ARCH_DMA_ADDR_T_64BIT is not set
11 # CONFIG_PHYS_ADDR_T_64BIT is not set
14 # Bus options (PCI etc.)
16 # CONFIG_PCI_GOOLPC is not set
22 CONFIG_OLPC_XO15_SCI=y
25 # Generic Driver Options
27 # CONFIG_SYS_HYPERVISOR is not set
31 # Device Tree and Open Firmware support
33 CONFIG_PROC_DEVICETREE=y
46 # Input Device Drivers
48 CONFIG_MOUSE_PS2_OLPC=y
53 # CONFIG_SERIAL_8250_DW is not set
56 # Non-8250 serial port support
58 CONFIG_SERIAL_OF_PLATFORM=m
61 # I2C system bus drivers (mostly embedded / system-on-chip)
77 # Multifunction device drivers
84 CONFIG_FB_SYS_FILLRECT=m
85 CONFIG_FB_SYS_COPYAREA=m
86 CONFIG_FB_SYS_IMAGEBLIT=m
92 # CONFIG_LEDS_NET5501 is not set
97 # CONFIG_FB_OLPC_DCON is not set
100 # Speakup console speech
105 # Non-executable pages
107 CONFIG_PAX_KERNEXEC=y
108 CONFIG_PAX_KERNEXEC_MODULE_TEXT=4
111 # Miscellaneous hardening features
113 CONFIG_PAX_MEMORY_UDEREF=y
116 # Random Number Generation
118 # CONFIG_CRYPTO_DEV_HIFN_795X is not set