1# CONFIG_SWAP is not set
2CONFIG_SYSVIPC=y
3CONFIG_LOG_BUF_SHIFT=14
4CONFIG_BLK_DEV_INITRD=y
5CONFIG_EXPERT=y
6# CONFIG_HOTPLUG is not set
7# CONFIG_SHMEM is not set
8CONFIG_MODULES=y
9CONFIG_ARCH_SA1100=y
10CONFIG_SA1100_PLEB=y
11CONFIG_ZBOOT_ROM_TEXT=0x0
12CONFIG_ZBOOT_ROM_BSS=0x0
13CONFIG_CMDLINE="console=ttySA0,9600 mem=16M@0xc0000000 mem=16M@0xc8000000 root=/dev/ram initrd=0xc0400000,4M"
14CONFIG_CPU_FREQ_DEFAULT_GOV_PERFORMANCE=y
15CONFIG_CPU_FREQ_GOV_ONDEMAND=y
16CONFIG_FPE_NWFPE=y
17CONFIG_NET=y
18CONFIG_PACKET=y
19CONFIG_UNIX=y
20CONFIG_INET=y
21CONFIG_SYN_COOKIES=y
22# CONFIG_IPV6 is not set
23CONFIG_MTD=y
24CONFIG_MTD_REDBOOT_PARTS=y
25CONFIG_MTD_REDBOOT_PARTS_UNALLOCATED=y
26CONFIG_MTD_CMDLINE_PARTS=y
27CONFIG_MTD_BLOCK=y
28CONFIG_MTD_CFI=y
29CONFIG_MTD_CFI_INTELEXT=y
30CONFIG_MTD_SA1100=y
31CONFIG_BLK_DEV_LOOP=y
32CONFIG_BLK_DEV_RAM=y
33CONFIG_BLK_DEV_RAM_SIZE=8192
34CONFIG_NETDEVICES=y
35CONFIG_NET_ETHERNET=y
36CONFIG_SMC91X=y
37# CONFIG_INPUT is not set
38# CONFIG_SERIO is not set
39# CONFIG_VT is not set
40CONFIG_SERIAL_SA1100=y
41CONFIG_SERIAL_SA1100_CONSOLE=y
42CONFIG_EXT2_FS=y
43CONFIG_EXT3_FS=y
44# CONFIG_EXT3_FS_XATTR is not set
45# CONFIG_DNOTIFY is not set
46CONFIG_MSDOS_FS=m
47CONFIG_VFAT_FS=m
48CONFIG_NFS_FS=m
49CONFIG_NFS_V3=y
50CONFIG_NLS=y
51CONFIG_MAGIC_SYSRQ=y
52CONFIG_DEBUG_KERNEL=y
53