3 CONFIG_BSD_PROCESS_ACCT=y
6 CONFIG_LOG_BUF_SHIFT=14
7 CONFIG_BLK_DEV_INITRD=y
11 # CONFIG_SYSCTL_SYSCALL is not set
12 CONFIG_KALLSYMS_EXTRA_PASS=y
15 CONFIG_MODULE_FORCE_LOAD=y
16 CONFIG_MODULE_UNLOAD=y
18 # CONFIG_BLK_DEV_BSG is not set
21 CONFIG_OMAP_32K_TIMER=y
22 CONFIG_OMAP_DM_TIMER=y
23 CONFIG_ARCH_OMAP3430=y
24 CONFIG_MACH_DEVKIT8000=y
26 CONFIG_HIGH_RES_TIMERS=y
28 CONFIG_ZBOOT_ROM_TEXT=0x0
29 CONFIG_ZBOOT_ROM_BSS=0x0
30 CONFIG_CMDLINE="console=ttyS2,115200n8 root=/dev/nfs nfsroot=192.168.1.1:home/nfsroot/current,home/nfsroot/current ip=dhcp rw noinitrd root delay=3"
45 # CONFIG_INET_LRO is not set
46 # CONFIG_IPV6 is not set
49 CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug"
50 # CONFIG_PREVENT_FIRMWARE_BUILD is not set
51 # CONFIG_FW_LOADER is not set
53 CONFIG_MTD_PARTITIONS=y
59 CONFIG_MTD_NAND_OMAP2=y
63 CONFIG_BLK_DEV_RAM_SIZE=40960
64 # CONFIG_MISC_DEVICES is not set
70 CONFIG_DM9000_FORCE_SIMPLE_PHY_POLL=y
71 # CONFIG_NETDEV_1000 is not set
72 # CONFIG_NETDEV_10000 is not set
73 # CONFIG_WLAN is not set
74 # CONFIG_INPUT_MOUSEDEV is not set
76 CONFIG_KEYBOARD_MATRIX=y
77 CONFIG_KEYBOARD_TWL4030=y
78 # CONFIG_INPUT_MOUSE is not set
79 CONFIG_INPUT_TOUCHSCREEN=y
80 CONFIG_TOUCHSCREEN_ADS7846=y
83 CONFIG_SERIAL_8250_CONSOLE=y
84 CONFIG_SERIAL_8250_NR_UARTS=32
85 CONFIG_SERIAL_8250_EXTENDED=y
86 CONFIG_SERIAL_8250_MANY_PORTS=y
87 CONFIG_SERIAL_8250_SHARE_IRQ=y
88 CONFIG_SERIAL_8250_DETECT_IRQ=y
89 CONFIG_SERIAL_8250_RSA=y
90 # CONFIG_LEGACY_PTYS is not set
99 # CONFIG_HWMON is not set
100 CONFIG_TWL4030_CORE=y
101 CONFIG_TWL4030_POWER=y
103 CONFIG_REGULATOR_TWL4030=y
105 CONFIG_FB_FOREIGN_ENDIAN=y
106 CONFIG_FB_OMAP_BOOTLOADER_INIT=y
109 CONFIG_PANEL_GENERIC=y
110 CONFIG_DISPLAY_SUPPORT=y
111 # CONFIG_VGA_CONSOLE is not set
112 CONFIG_FRAMEBUFFER_CONSOLE=y
113 CONFIG_FRAMEBUFFER_CONSOLE_DETECT_PRIMARY=y
115 # CONFIG_LOGO_LINUX_MONO is not set
116 # CONFIG_LOGO_LINUX_VGA16 is not set
120 CONFIG_SND_OMAP_SOC=y
121 CONFIG_SND_OMAP_SOC_OMAP3_BEAGLE=y
124 CONFIG_USB_ANNOUNCE_NEW_DEVICES=y
125 # CONFIG_USB_DEVICE_CLASS is not set
126 # CONFIG_USB_OTG_WHITELIST is not set
128 CONFIG_USB_EHCI_HCD=y
129 CONFIG_USB_EHCI_ROOT_HUB_TT=y
130 CONFIG_USB_MUSB_HDRC=y
131 CONFIG_USB_MUSB_OTG=y
132 CONFIG_USB_GADGET_MUSB_HDRC=y
133 CONFIG_USB_MUSB_DEBUG=y
136 CONFIG_USB_GADGET_DEBUG=y
138 # CONFIG_USB_ETH_RNDIS is not set
142 CONFIG_MMC_SDHCI_PLTFM=m
148 CONFIG_LEDS_TRIGGERS=y
149 CONFIG_LEDS_TRIGGER_HEARTBEAT=y
151 CONFIG_RTC_DRV_TWL4030=y
154 # CONFIG_EXT3_FS_XATTR is not set
168 CONFIG_PARTITION_ADVANCED=y
169 CONFIG_NLS_CODEPAGE_437=y
170 CONFIG_NLS_ISO8859_1=y
173 CONFIG_DEBUG_KERNEL=y
174 CONFIG_BOOTPARAM_HUNG_TASK_PANIC=y
175 CONFIG_DEBUG_MUTEXES=y
176 # CONFIG_DEBUG_BUGVERBOSE is not set
177 # CONFIG_RCU_CPU_STALL_DETECTOR is not set
179 CONFIG_DEBUG_ERRORS=y
182 # CONFIG_CRYPTO_ANSI_CPRNG is not set