3 CONFIG_BSD_PROCESS_ACCT=y
4 CONFIG_LOG_BUF_SHIFT=14
5 CONFIG_BLK_DEV_INITRD=y
7 CONFIG_KALLSYMS_EXTRA_PASS=y
10 CONFIG_MODULE_UNLOAD=y
12 CONFIG_MODULE_SRCVERSION_ALL=y
13 # CONFIG_BLK_DEV_BSG is not set
16 CONFIG_OMAP_MUX_DEBUG=y
17 CONFIG_ARCH_OMAP2420=y
20 CONFIG_ZBOOT_ROM_TEXT=0x0
21 CONFIG_ZBOOT_ROM_BSS=0x0
22 CONFIG_CMDLINE="root=/dev/ram0 rw console=ttyS0,115200n8 initrd=0x80600000,8M ramdisk_size=8192"
32 # CONFIG_IPV6 is not set
36 # CONFIG_FW_LOADER is not set
39 CONFIG_MTD_PARTITIONS=y
40 CONFIG_MTD_CMDLINE_PARTS=y
44 CONFIG_MTD_CFI_INTELEXT=y
47 CONFIG_BLK_DEV_RAM_SIZE=16384
51 # CONFIG_INPUT_MOUSEDEV is not set
53 # CONFIG_KEYBOARD_ATKBD is not set
54 CONFIG_KEYBOARD_OMAP=y
55 # CONFIG_INPUT_MOUSE is not set
56 # CONFIG_SERIO is not set
58 CONFIG_SERIAL_8250_CONSOLE=y
59 CONFIG_SERIAL_8250_NR_UARTS=32
60 CONFIG_SERIAL_8250_EXTENDED=y
61 CONFIG_SERIAL_8250_MANY_PORTS=y
62 CONFIG_SERIAL_8250_SHARE_IRQ=y
63 CONFIG_SERIAL_8250_DETECT_IRQ=y
64 CONFIG_SERIAL_8250_RSA=y
65 # CONFIG_LEGACY_PTYS is not set
68 # CONFIG_HWMON is not set
70 CONFIG_WATCHDOG_NOWAYOUT=y
71 CONFIG_OMAP_WATCHDOG=y
73 CONFIG_VIDEO_OUTPUT_CONTROL=m
75 CONFIG_FIRMWARE_EDID=y
77 # CONFIG_VGA_CONSOLE is not set
78 CONFIG_FRAMEBUFFER_CONSOLE=y
80 # CONFIG_LOGO_LINUX_MONO is not set
81 # CONFIG_LOGO_LINUX_VGA16 is not set
86 # CONFIG_EXT3_FS_XATTR is not set
98 CONFIG_PARTITION_ADVANCED=y
99 CONFIG_NLS_CODEPAGE_437=y
101 CONFIG_DEBUG_KERNEL=y
102 CONFIG_DEBUG_MUTEXES=y
103 # CONFIG_DEBUG_BUGVERBOSE is not set