3 CONFIG_BSD_PROCESS_ACCT=y
6 CONFIG_LOG_BUF_SHIFT=14
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_MODULE_SRCVERSION_ALL=y
16 # CONFIG_BLK_DEV_BSG is not set
19 # CONFIG_OMAP_MUX is not set
20 CONFIG_OMAP_32K_TIMER=y
21 CONFIG_OMAP_DM_TIMER=y
22 CONFIG_ARCH_OMAP3430=y
23 CONFIG_MACH_OMAP3_PANDORA=y
26 CONFIG_HIGH_RES_TIMERS=y
27 CONFIG_PREEMPT_VOLUNTARY=y
29 CONFIG_ZBOOT_ROM_TEXT=0x0
30 CONFIG_ZBOOT_ROM_BSS=0x0
31 CONFIG_CMDLINE=" debug "
45 # CONFIG_INET_LRO is not set
46 # CONFIG_IPV6 is not set
47 CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug"
49 CONFIG_DEVTMPFS_MOUNT=y
50 # CONFIG_FW_LOADER is not set
52 CONFIG_MTD_PARTITIONS=y
56 CONFIG_MTD_NAND_OMAP2=y
59 CONFIG_BLK_DEV_RAM_SIZE=16384
63 # CONFIG_NETDEV_1000 is not set
64 # CONFIG_NETDEV_10000 is not set
65 CONFIG_INPUT_MOUSEDEV_SCREEN_X=800
66 CONFIG_INPUT_MOUSEDEV_SCREEN_Y=480
69 # CONFIG_KEYBOARD_ATKBD is not set
70 CONFIG_KEYBOARD_GPIO=y
71 CONFIG_KEYBOARD_TWL4030=y
72 # CONFIG_MOUSE_PS2 is not set
73 CONFIG_INPUT_TOUCHSCREEN=y
74 CONFIG_TOUCHSCREEN_ADS7846=y
76 CONFIG_INPUT_TWL4030_PWRBUTTON=y
77 # CONFIG_SERIO is not set
79 CONFIG_SERIAL_8250_CONSOLE=y
80 CONFIG_SERIAL_8250_NR_UARTS=32
81 CONFIG_SERIAL_8250_EXTENDED=y
82 CONFIG_SERIAL_8250_MANY_PORTS=y
83 CONFIG_SERIAL_8250_SHARE_IRQ=y
84 CONFIG_SERIAL_8250_DETECT_IRQ=y
85 CONFIG_SERIAL_8250_RSA=y
86 # CONFIG_LEGACY_PTYS is not set
94 # CONFIG_HWMON is not set
96 CONFIG_TWL4030_POWER=y
98 CONFIG_REGULATOR_DEBUG=y
99 CONFIG_REGULATOR_TWL4030=y
100 CONFIG_VIDEO_OUTPUT_CONTROL=y
104 CONFIG_PANEL_TPO_TD043MTEA1=y
105 CONFIG_BACKLIGHT_LCD_SUPPORT=y
106 # CONFIG_LCD_CLASS_DEVICE is not set
107 CONFIG_BACKLIGHT_CLASS_DEVICE=y
108 # CONFIG_VGA_CONSOLE is not set
109 CONFIG_FRAMEBUFFER_CONSOLE=y
113 CONFIG_SND_MIXER_OSS=y
115 CONFIG_SND_VERBOSE_PRINTK=y
117 CONFIG_SND_OMAP_SOC=y
118 CONFIG_SND_OMAP_SOC_OMAP3_PANDORA=y
120 CONFIG_USB_DEVICEFS=y
121 CONFIG_USB_EHCI_HCD=y
122 CONFIG_USB_MUSB_HDRC=y
123 CONFIG_USB_MUSB_PERIPHERAL=y
124 CONFIG_USB_GADGET_MUSB_HDRC=y
133 CONFIG_LEDS_TRIGGERS=y
134 CONFIG_LEDS_TRIGGER_DEFAULT_ON=y
136 CONFIG_RTC_DRV_TWL4030=y
139 # CONFIG_EXT3_FS_XATTR is not set
146 CONFIG_PARTITION_ADVANCED=y
147 CONFIG_NLS_CODEPAGE_437=y
148 CONFIG_NLS_ISO8859_1=y
150 CONFIG_DEBUG_KERNEL=y
151 CONFIG_DEBUG_MUTEXES=y
152 # CONFIG_DEBUG_BUGVERBOSE is not set
154 # CONFIG_RCU_CPU_STALL_DETECTOR is not set
155 CONFIG_CRYPTO_CRC32C=y
156 # CONFIG_CRYPTO_ANSI_CPRNG is not set
157 # CONFIG_CRYPTO_HW is not set