2
# CONFIG_SWAP is not set
4
CONFIG_LOG_BUF_SHIFT=14
5
CONFIG_SYSFS_DEPRECATED_V2=y
6
CONFIG_BLK_DEV_INITRD=y
10
# CONFIG_BLK_DEV_BSG is not set
11
# CONFIG_IOSCHED_DEADLINE is not set
12
# CONFIG_IOSCHED_CFQ is not set
16
# CONFIG_ARM_THUMB is not set
22
CONFIG_ZBOOT_ROM_TEXT=0x0
23
CONFIG_ZBOOT_ROM_BSS=0x0
24
CONFIG_CMDLINE="mem=32M console=ttyS0,115200 initrd=0x20410000,3145728 root=/dev/ram0 rw"
31
# CONFIG_INET_LRO is not set
32
# CONFIG_IPV6 is not set
33
CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug"
35
CONFIG_MTD_PARTITIONS=y
36
CONFIG_MTD_REDBOOT_PARTS=y
37
CONFIG_MTD_CMDLINE_PARTS=y
41
CONFIG_MTD_JEDECPROBE=y
42
CONFIG_MTD_CFI_INTELEXT=y
45
CONFIG_BLK_DEV_RAM_SIZE=8192
49
# CONFIG_NETDEV_1000 is not set
50
# CONFIG_NETDEV_10000 is not set
52
# CONFIG_INPUT_MOUSEDEV_PSAUX is not set
53
# CONFIG_INPUT_KEYBOARD is not set
54
# CONFIG_INPUT_MOUSE is not set
55
# CONFIG_SERIO is not set
56
CONFIG_SERIAL_KS8695=y
57
CONFIG_SERIAL_KS8695_CONSOLE=y
58
# CONFIG_HWMON is not set
59
# CONFIG_VGA_CONSOLE is not set
64
CONFIG_JFFS2_SUMMARY=y
65
CONFIG_JFFS2_COMPRESSION_OPTIONS=y
72
CONFIG_DEBUG_MUTEXES=y
73
# CONFIG_FTRACE is not set