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
37 # Device Tree and Open Firmware support
39 CONFIG_PROC_DEVICETREE=y
40 # CONFIG_OF_SELFTEST is not set
53 # Input Device Drivers
55 CONFIG_MOUSE_PS2_OLPC=y
60 # CONFIG_SERIAL_8250_DW is not set
63 # Non-8250 serial port support
65 CONFIG_SERIAL_OF_PLATFORM=m
68 # I2C system bus drivers (mostly embedded / system-on-chip)
77 # CONFIG_GPIO_SODAVILLE is not set
85 # Multifunction device drivers
90 # I2C encoder or helper chips
92 CONFIG_FB_SYS_FILLRECT=m
93 CONFIG_FB_SYS_COPYAREA=m
94 CONFIG_FB_SYS_IMAGEBLIT=m
98 # Frame buffer hardware drivers
100 # CONFIG_BACKLIGHT_OT200 is not set
103 # Microsoft Hyper-V guest support
105 # CONFIG_FB_OLPC_DCON is not set
113 # Non-executable pages
115 CONFIG_PAX_KERNEXEC=y
116 CONFIG_PAX_KERNEXEC_MODULE_TEXT=4
119 # Miscellaneous hardening features
121 CONFIG_PAX_MEMORY_UDEREF=y
124 # Random Number Generation
126 # CONFIG_CRYPTO_DEV_HIFN_795X is not set