3
CONFIG_LOG_BUF_SHIFT=14
4
CONFIG_BLK_DEV_INITRD=y
6
# CONFIG_LBDAF is not set
7
# CONFIG_BLK_DEV_BSG is not set
8
# CONFIG_IOSCHED_DEADLINE is not set
9
# CONFIG_IOSCHED_CFQ is not set
13
CONFIG_PCMCIA_SA1100=y
14
CONFIG_ZBOOT_ROM_TEXT=0x0
15
CONFIG_ZBOOT_ROM_BSS=0x0
16
# CONFIG_CPU_FREQ_STAT is not set
22
# CONFIG_IPV6 is not set
28
# CONFIG_WIRELESS is not set
29
CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug"
31
CONFIG_MTD_PARTITIONS=y
32
CONFIG_MTD_REDBOOT_PARTS=y
36
CONFIG_MTD_CFI_ADV_OPTIONS=y
37
CONFIG_MTD_CFI_GEOMETRY=y
38
# CONFIG_MTD_CFI_I1 is not set
39
CONFIG_MTD_CFI_INTELEXT=y
43
CONFIG_BLK_DEV_RAM_SIZE=8192
44
# CONFIG_MISC_DEVICES is not set
46
CONFIG_BLK_DEV_IDECS=y
48
# CONFIG_NETDEV_1000 is not set
49
# CONFIG_NETDEV_10000 is not set
50
# CONFIG_WLAN is not set
57
# CONFIG_KEYBOARD_ATKBD is not set
58
CONFIG_KEYBOARD_GPIO=y
59
# CONFIG_INPUT_MOUSE is not set
60
# CONFIG_SERIO is not set
61
CONFIG_SERIAL_SA1100=y
62
CONFIG_SERIAL_SA1100_CONSOLE=y
63
# CONFIG_HW_RANDOM is not set
64
# CONFIG_HWMON is not set
67
# CONFIG_VGA_CONSOLE is not set
68
# CONFIG_HID_SUPPORT is not set
69
# CONFIG_USB_SUPPORT is not set
79
# CONFIG_RCU_CPU_STALL_DETECTOR is not set