2 # CONFIG_LOCALVERSION_AUTO is not set
3 # CONFIG_SWAP is not set
7 CONFIG_LOG_BUF_SHIFT=14
9 CONFIG_SYSFS_DEPRECATED_V2=y
11 CONFIG_BLK_DEV_INITRD=y
12 # CONFIG_PERF_EVENTS is not set
17 CONFIG_MODULE_UNLOAD=y
18 CONFIG_MODULE_FORCE_UNLOAD=y
20 # CONFIG_BLK_DEV_BSG is not set
22 CONFIG_ARCH_MULTI_V6=y
23 #CONFIG_ARCH_MULTI_V7 is not set
25 CONFIG_MACH_CNS3420VB=y
26 CONFIG_DEBUG_CNS3XXX=y
28 CONFIG_ZBOOT_ROM_TEXT=0x0
29 CONFIG_ZBOOT_ROM_BSS=0x0
30 CONFIG_CMDLINE="console=ttyS0,38400 mem=128M root=/dev/mmcblk0p1 ro rootwait"
31 CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug"
32 # CONFIG_FIRMWARE_IN_KERNEL is not set
34 CONFIG_MTD_PARTITIONS=y
35 CONFIG_MTD_CMDLINE_PARTS=y
39 CONFIG_MTD_CFI_AMDSTD=y
43 CONFIG_BLK_DEV_RAM_SIZE=20000
44 # CONFIG_MISC_DEVICES is not set
47 # CONFIG_SATA_PMP is not set
48 # CONFIG_ATA_SFF is not set
49 # CONFIG_INPUT_MOUSEDEV_PSAUX is not set
50 # CONFIG_INPUT_KEYBOARD is not set
51 # CONFIG_INPUT_MOUSE is not set
52 # CONFIG_SERIO is not set
54 CONFIG_SERIAL_8250_CONSOLE=y
55 CONFIG_LEGACY_PTY_COUNT=16
56 # CONFIG_HW_RANDOM is not set
57 # CONFIG_HWMON is not set
58 # CONFIG_VGA_CONSOLE is not set
59 # CONFIG_HID_SUPPORT is not set
60 # CONFIG_USB_SUPPORT is not set
63 CONFIG_MMC_SDHCI_PLTFM=y
65 CONFIG_EXT2_FS_XATTR=y
70 # CONFIG_ENABLE_WARN_DEPRECATED is not set
71 # CONFIG_ENABLE_MUST_CHECK is not set
73 # CONFIG_RCU_CPU_STALL_DETECTOR is not set
74 # CONFIG_ARM_UNWIND is not set