1 # CONFIG_SWAP is not set
3 CONFIG_LOG_BUF_SHIFT=14
4 CONFIG_SYSFS_DEPRECATED_V2=y
5 CONFIG_BLK_DEV_INITRD=y
9 # CONFIG_BLK_DEV_BSG is not set
10 # CONFIG_IOSCHED_DEADLINE is not set
11 # CONFIG_IOSCHED_CFQ is not set
15 # CONFIG_ARM_THUMB is not set
21 CONFIG_ZBOOT_ROM_TEXT=0x0
22 CONFIG_ZBOOT_ROM_BSS=0x0
23 CONFIG_CMDLINE="mem=32M console=ttyS0,115200 initrd=0x20410000,3145728 root=/dev/ram0 rw"
30 # CONFIG_IPV6 is not set
32 CONFIG_MTD_REDBOOT_PARTS=y
33 CONFIG_MTD_CMDLINE_PARTS=y
36 CONFIG_MTD_JEDECPROBE=y
37 CONFIG_MTD_CFI_INTELEXT=y
40 CONFIG_BLK_DEV_RAM_SIZE=8192
45 # CONFIG_INPUT_MOUSEDEV_PSAUX is not set
46 # CONFIG_INPUT_KEYBOARD is not set
47 # CONFIG_INPUT_MOUSE is not set
48 # CONFIG_SERIO is not set
49 CONFIG_SERIAL_KS8695=y
50 CONFIG_SERIAL_KS8695_CONSOLE=y
51 # CONFIG_HWMON is not set
52 # CONFIG_VGA_CONSOLE is not set
56 CONFIG_JFFS2_SUMMARY=y
57 CONFIG_JFFS2_COMPRESSION_OPTIONS=y
64 CONFIG_DEBUG_MUTEXES=y
65 # CONFIG_FTRACE is not set