3 CONFIG_LOG_BUF_SHIFT=14
4 CONFIG_BLK_DEV_INITRD=y
8 # CONFIG_BLK_DEV_BSG is not set
12 # CONFIG_ARCH_OMAP15XX is not set
14 CONFIG_OMAP_ARM_195MHZ=y
15 # CONFIG_OMAP_ARM_60MHZ is not set
20 CONFIG_ZBOOT_ROM_TEXT=0x0
21 CONFIG_ZBOOT_ROM_BSS=0x0
22 CONFIG_CMDLINE="mem=32M console=ttyS0,115200 ip=dhcp"
33 # CONFIG_IPV6 is not set
34 CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug"
37 CONFIG_BLK_DEV_RAM_SIZE=8192
41 # CONFIG_KEYBOARD_ATKBD is not set
42 CONFIG_KEYBOARD_OMAP=y
43 # CONFIG_INPUT_MOUSE is not set
45 # CONFIG_LEGACY_PTYS is not set
46 CONFIG_VIDEO_OUTPUT_CONTROL=m
48 CONFIG_FB_MODE_HELPERS=y
50 # CONFIG_VGA_CONSOLE is not set
51 CONFIG_FRAMEBUFFER_CONSOLE=y
52 CONFIG_FRAMEBUFFER_CONSOLE_ROTATION=y
54 CONFIG_FONT_MINI_4x6=y
57 # CONFIG_USB_ETH_RNDIS is not set
60 CONFIG_MMC_SDHCI_PLTFM=y
69 # CONFIG_RCU_CPU_STALL_DETECTOR is not set
70 CONFIG_CRYPTO_DEFLATE=y
73 # CONFIG_CRYPTO_ANSI_CPRNG is not set