1CONFIG_SYSVIPC=y
2CONFIG_NO_HZ_IDLE=y
3CONFIG_HIGH_RES_TIMERS=y
4CONFIG_LOG_BUF_SHIFT=14
5CONFIG_BLK_DEV_INITRD=y
6CONFIG_MODULES=y
7# CONFIG_LBDAF is not set
8# CONFIG_BLK_DEV_BSG is not set
9# CONFIG_IOSCHED_DEADLINE is not set
10# CONFIG_IOSCHED_CFQ is not set
11CONFIG_ARCH_SA1100=y
12CONFIG_SA1100_H3600=y
13CONFIG_PCCARD=y
14CONFIG_PCMCIA_SA1100=y
15CONFIG_PREEMPT=y
16CONFIG_ZBOOT_ROM_TEXT=0x0
17CONFIG_ZBOOT_ROM_BSS=0x0
18# CONFIG_CPU_FREQ_STAT is not set
19CONFIG_FPE_NWFPE=y
20CONFIG_NET=y
21CONFIG_UNIX=y
22CONFIG_INET=y
23# CONFIG_IPV6 is not set
24CONFIG_IRDA=m
25CONFIG_IRLAN=m
26CONFIG_IRNET=m
27CONFIG_IRCOMM=m
28# CONFIG_WIRELESS is not set
29CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug"
30CONFIG_MTD=y
31CONFIG_MTD_REDBOOT_PARTS=y
32CONFIG_MTD_BLOCK=y
33CONFIG_MTD_CFI=y
34CONFIG_MTD_CFI_ADV_OPTIONS=y
35CONFIG_MTD_CFI_GEOMETRY=y
36# CONFIG_MTD_CFI_I1 is not set
37CONFIG_MTD_CFI_INTELEXT=y
38CONFIG_MTD_SA1100=y
39CONFIG_BLK_DEV_LOOP=m
40CONFIG_BLK_DEV_RAM=y
41CONFIG_BLK_DEV_RAM_SIZE=8192
42CONFIG_IDE=y
43CONFIG_BLK_DEV_IDECS=y
44CONFIG_NETDEVICES=y
45CONFIG_PCMCIA_PCNET=y
46CONFIG_PPP=m
47CONFIG_PPP_BSDCOMP=m
48CONFIG_PPP_DEFLATE=m
49CONFIG_PPP_ASYNC=m
50# CONFIG_WLAN is not set
51# CONFIG_KEYBOARD_ATKBD is not set
52CONFIG_KEYBOARD_GPIO=y
53# CONFIG_INPUT_MOUSE is not set
54# CONFIG_SERIO is not set
55CONFIG_SERIAL_SA1100=y
56CONFIG_SERIAL_SA1100_CONSOLE=y
57# CONFIG_HW_RANDOM is not set
58# CONFIG_HWMON is not set
59CONFIG_FB=y
60CONFIG_FB_SA1100=y
61# CONFIG_USB_SUPPORT is not set
62CONFIG_EXT2_FS=y
63CONFIG_MSDOS_FS=m
64CONFIG_VFAT_FS=m
65CONFIG_JFFS2_FS=y
66CONFIG_CRAMFS=m
67CONFIG_NFS_FS=y
68CONFIG_NFSD=m
69CONFIG_NLS=y
70