2 # CONFIG_SWAP is not set
5 CONFIG_LOG_BUF_SHIFT=14
6 CONFIG_SYSFS_DEPRECATED_V2=y
10 # CONFIG_BLK_DEV_BSG is not set
11 # CONFIG_IOSCHED_DEADLINE is not set
12 # CONFIG_IOSCHED_CFQ is not set
15 # CONFIG_ARM_THUMB is not set
17 CONFIG_ZBOOT_ROM_TEXT=0x0
18 CONFIG_ZBOOT_ROM_BSS=0x0
19 CONFIG_CMDLINE="console=ttyAM0,115200 init=/bin/sh"
25 # CONFIG_INET_XFRM_MODE_TRANSPORT is not set
26 # CONFIG_INET_XFRM_MODE_TUNNEL is not set
27 # CONFIG_INET_XFRM_MODE_BEET is not set
28 # CONFIG_INET_LRO is not set
29 # CONFIG_IPV6 is not set
30 CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug"
33 CONFIG_MTD_PARTITIONS=y
37 CONFIG_MTD_JEDECPROBE=y
38 CONFIG_MTD_CFI_ADV_OPTIONS=y
39 CONFIG_MTD_CFI_INTELEXT=y
40 CONFIG_MTD_CFI_AMDSTD=y
42 # CONFIG_BLK_DEV is not set
43 # CONFIG_MISC_DEVICES is not set
46 CONFIG_ARM_KS8695_ETHER=y
47 # CONFIG_NETDEV_1000 is not set
48 # CONFIG_NETDEV_10000 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
53 CONFIG_SERIAL_KS8695=y
54 CONFIG_SERIAL_KS8695_CONSOLE=y
55 # CONFIG_HW_RANDOM is not set
61 # CONFIG_HWMON is not set
63 CONFIG_KS8695_WATCHDOG=y
64 # CONFIG_VGA_CONSOLE is not set
65 # CONFIG_HID_SUPPORT is not set
66 # CONFIG_USB_SUPPORT is not set
68 CONFIG_RTC_DRV_PCF8563=y
72 CONFIG_JFFS2_SUMMARY=y
73 CONFIG_JFFS2_COMPRESSION_OPTIONS=y
76 # CONFIG_NETWORK_FILESYSTEMS is not set
78 CONFIG_DEBUG_MUTEXES=y
79 # CONFIG_FTRACE is not set