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
34 # CONFIG_OF_SELFTEST is not set
47 # Input Device Drivers
49 CONFIG_MOUSE_PS2_OLPC=y
54 # CONFIG_SERIAL_8250_DW is not set
57 # Non-8250 serial port support
59 CONFIG_SERIAL_OF_PLATFORM=m
62 # I2C system bus drivers (mostly embedded / system-on-chip)
78 # Multifunction device drivers
85 CONFIG_FB_SYS_FILLRECT=m
86 CONFIG_FB_SYS_COPYAREA=m
87 CONFIG_FB_SYS_IMAGEBLIT=m
93 # CONFIG_LEDS_NET5501 is not set
96 # Microsoft Hyper-V guest support
98 # CONFIG_FB_OLPC_DCON is not set
106 # Non-executable pages
108 CONFIG_PAX_KERNEXEC=y
109 CONFIG_PAX_KERNEXEC_MODULE_TEXT=4
112 # Miscellaneous hardening features
114 CONFIG_PAX_MEMORY_UDEREF=y
117 # Random Number Generation
119 # CONFIG_CRYPTO_DEV_HIFN_795X is not set