3 CONFIG_LOG_BUF_SHIFT=14
4 CONFIG_BLK_DEV_INITRD=y
5 # CONFIG_BLK_DEV_BSG is not set
8 # CONFIG_OMAP_MUX is not set
9 # CONFIG_ARCH_OMAP15XX is not set
10 CONFIG_ARCH_OMAP16XX=y
11 CONFIG_MACH_OMAP_GENERIC=y
12 CONFIG_OMAP_ARM_192MHZ=y
13 # CONFIG_OMAP_ARM_60MHZ is not set
14 # CONFIG_ARM_THUMB is not set
15 CONFIG_ZBOOT_ROM_TEXT=0x0
16 CONFIG_ZBOOT_ROM_BSS=0x0
17 CONFIG_CMDLINE="mem=64M console=tty0 console=ttyS2,115200 root=0801"
29 # CONFIG_IPV6 is not set
32 CONFIG_BLK_DEV_RAM_SIZE=8192
38 CONFIG_USB_ALI_M5632=y
39 # CONFIG_USB_BELKIN is not set
40 # CONFIG_USB_ARMLINUX is not set
43 CONFIG_KEYBOARD_OMAP=y
44 # CONFIG_INPUT_MOUSE is not set
46 CONFIG_SERIAL_8250_CONSOLE=y
47 CONFIG_VIDEO_OUTPUT_CONTROL=y
48 # CONFIG_VGA_CONSOLE is not set
64 CONFIG_PARTITION_ADVANCED=y
65 CONFIG_NLS_CODEPAGE_437=y
66 CONFIG_NLS_CODEPAGE_852=y
67 CONFIG_NLS_ISO8859_1=y
68 CONFIG_NLS_ISO8859_15=y
71 CONFIG_DEBUG_SPINLOCK=y