3 CONFIG_BSD_PROCESS_ACCT=y
6 CONFIG_SYSFS_DEPRECATED_V2=y
7 CONFIG_BLK_DEV_INITRD=y
9 # CONFIG_SYSCTL_SYSCALL is not set
10 CONFIG_KALLSYMS_EXTRA_PASS=y
13 CONFIG_MODULE_UNLOAD=y
15 # CONFIG_BLK_DEV_BSG is not set
18 CONFIG_OMAP_RESET_CLOCKS=y
19 CONFIG_OMAP_32K_TIMER=y
20 CONFIG_OMAP_DM_TIMER=y
21 CONFIG_ARCH_OMAP3430=y
24 CONFIG_HIGH_RES_TIMERS=y
26 CONFIG_ZBOOT_ROM_TEXT=0x0
27 CONFIG_ZBOOT_ROM_BSS=0x0
43 # CONFIG_INET_LRO is not set
44 # CONFIG_IPV6 is not set
46 CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug"
50 CONFIG_MTD_PARTITIONS=y
51 CONFIG_MTD_CMDLINE_PARTS=y
55 CONFIG_MTD_CFI_INTELEXT=y
57 CONFIG_MTD_NAND_OMAP2=y
60 CONFIG_BLK_DEV_RAM_SIZE=16384
66 # CONFIG_NETDEV_1000 is not set
67 # CONFIG_NETDEV_10000 is not set
69 CONFIG_KEYBOARD_TWL4030=m
70 # CONFIG_INPUT_MOUSE is not set
71 CONFIG_INPUT_TOUCHSCREEN=y
72 CONFIG_TOUCHSCREEN_ADS7846=m
74 CONFIG_SERIAL_8250_CONSOLE=y
75 CONFIG_SERIAL_8250_NR_UARTS=32
76 CONFIG_SERIAL_8250_EXTENDED=y
77 CONFIG_SERIAL_8250_MANY_PORTS=y
78 CONFIG_SERIAL_8250_SHARE_IRQ=y
79 CONFIG_SERIAL_8250_DETECT_IRQ=y
80 CONFIG_SERIAL_8250_RSA=y
81 # CONFIG_LEGACY_PTYS is not set
90 # CONFIG_HWMON is not set
92 CONFIG_WATCHDOG_NOWAYOUT=y
93 CONFIG_OMAP_WATCHDOG=y
96 CONFIG_REGULATOR_TWL4030=y
97 # CONFIG_VGA_CONSOLE is not set
99 CONFIG_USB_ANNOUNCE_NEW_DEVICES=y
100 CONFIG_USB_DEVICEFS=y
101 # CONFIG_USB_DEVICE_CLASS is not set
103 # CONFIG_USB_OTG_WHITELIST is not set
105 CONFIG_USB_EHCI_HCD=y
106 CONFIG_USB_MUSB_HDRC=y
107 CONFIG_USB_MUSB_OTG=y
108 CONFIG_USB_GADGET_MUSB_HDRC=y
119 CONFIG_LEDS_TRIGGERS=y
120 CONFIG_LEDS_TRIGGER_HEARTBEAT=y
122 CONFIG_RTC_DRV_TWL4030=y
125 # CONFIG_EXT3_FS_XATTR is not set
134 CONFIG_JFFS2_SUMMARY=y
135 CONFIG_JFFS2_COMPRESSION_OPTIONS=y
140 CONFIG_PARTITION_ADVANCED=y
141 CONFIG_NLS_CODEPAGE_437=y
142 CONFIG_NLS_ISO8859_1=y
146 CONFIG_DEBUG_KERNEL=y
147 # CONFIG_SCHED_DEBUG is not set
148 CONFIG_DEBUG_MUTEXES=y
149 # CONFIG_DEBUG_BUGVERBOSE is not set
151 # CONFIG_RCU_CPU_STALL_DETECTOR is not set
155 # CONFIG_CRYPTO_ANSI_CPRNG is not set