1 # 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
17 # CONFIG_ARM_THUMB is not set
23 CONFIG_ZBOOT_ROM_TEXT=0x0
24 CONFIG_ZBOOT_ROM_BSS=0x0
25 CONFIG_CMDLINE="mem=32M console=ttyS0,115200 initrd=0x20410000,3145728 root=/dev/ram0 rw"
32 # CONFIG_IPV6 is not set
36 CONFIG_MTD_JEDECPROBE=y
37 CONFIG_MTD_CFI_ADV_OPTIONS=y
38 CONFIG_MTD_CFI_INTELEXT=y
39 CONFIG_MTD_CFI_AMDSTD=y
42 CONFIG_BLK_DEV_RAM_SIZE=8192
45 CONFIG_ARM_KS8695_ETHER=y
47 # CONFIG_INPUT_MOUSEDEV_PSAUX is not set
48 # CONFIG_INPUT_KEYBOARD is not set
49 # CONFIG_INPUT_MOUSE is not set
50 # CONFIG_SERIO is not set
51 CONFIG_SERIAL_KS8695=y
52 CONFIG_SERIAL_KS8695_CONSOLE=y
59 CONFIG_KS8695_WATCHDOG=y
60 # CONFIG_VGA_CONSOLE is not set
62 CONFIG_RTC_DRV_PCF8563=y
66 CONFIG_JFFS2_SUMMARY=y
67 CONFIG_JFFS2_COMPRESSION_OPTIONS=y
74 CONFIG_DEBUG_MUTEXES=y
75 # CONFIG_FTRACE is not set