3 CONFIG_BSD_PROCESS_ACCT=y
4 CONFIG_LOG_BUF_SHIFT=14
5 CONFIG_BLK_DEV_INITRD=y
7 # CONFIG_SYSCTL_SYSCALL is not set
8 CONFIG_KALLSYMS_EXTRA_PASS=y
11 CONFIG_MODULE_UNLOAD=y
13 CONFIG_MODULE_SRCVERSION_ALL=y
14 # CONFIG_BLK_DEV_BSG is not set
17 # CONFIG_OMAP_MUX is not set
18 # CONFIG_OMAP_MCBSP is not set
19 CONFIG_OMAP_32K_TIMER=y
20 CONFIG_OMAP_DM_TIMER=y
21 CONFIG_ARCH_OMAP3430=y
22 CONFIG_MACH_OMAP3_BEAGLE=y
24 CONFIG_HIGH_RES_TIMERS=y
26 CONFIG_ZBOOT_ROM_TEXT=0x0
27 CONFIG_ZBOOT_ROM_BSS=0x0
28 CONFIG_CMDLINE="root=/dev/nfs nfsroot=192.168.0.1:/home/user/buildroot ip=192.168.0.2:192.168.0.1:192.168.0.1:255.255.255.0:tgt:eth0:off rw console=ttyS2,115200n8"
43 # CONFIG_INET_LRO is not set
44 # CONFIG_IPV6 is not set
45 CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug"
46 # CONFIG_FW_LOADER is not set
48 CONFIG_MTD_PARTITIONS=y
54 CONFIG_BLK_DEV_RAM_SIZE=16384
55 # CONFIG_MISC_DEVICES is not set
59 # CONFIG_NETDEV_1000 is not set
60 # CONFIG_NETDEV_10000 is not set
61 # CONFIG_INPUT_MOUSEDEV is not set
62 # CONFIG_INPUT_KEYBOARD is not set
63 # CONFIG_INPUT_MOUSE is not set
64 # CONFIG_SERIO is not set
66 CONFIG_SERIAL_8250_CONSOLE=y
67 CONFIG_SERIAL_8250_NR_UARTS=32
68 CONFIG_SERIAL_8250_EXTENDED=y
69 CONFIG_SERIAL_8250_MANY_PORTS=y
70 CONFIG_SERIAL_8250_SHARE_IRQ=y
71 CONFIG_SERIAL_8250_DETECT_IRQ=y
72 CONFIG_SERIAL_8250_RSA=y
73 # CONFIG_LEGACY_PTYS is not set
79 # CONFIG_HWMON is not set
82 CONFIG_REGULATOR_TWL4030=y
85 # CONFIG_VGA_CONSOLE is not set
86 CONFIG_FRAMEBUFFER_CONSOLE=y
87 CONFIG_FRAMEBUFFER_CONSOLE_ROTATION=y
91 # CONFIG_HID_SUPPORT is not set
95 # CONFIG_USB_OTG_WHITELIST is not set
98 CONFIG_USB_EHCI_ROOT_HUB_TT=y
99 CONFIG_USB_MUSB_HDRC=y
100 CONFIG_USB_MUSB_OTG=y
101 CONFIG_USB_GADGET_MUSB_HDRC=y
110 # CONFIG_EXT3_FS_XATTR is not set
122 CONFIG_PARTITION_ADVANCED=y
123 CONFIG_NLS_CODEPAGE_437=y
124 CONFIG_NLS_ISO8859_1=y
126 CONFIG_DEBUG_KERNEL=y
127 CONFIG_DEBUG_MUTEXES=y
128 # CONFIG_DEBUG_BUGVERBOSE is not set
130 # CONFIG_FTRACE is not set