0001 CONFIG_SYSVIPC=y
0002 CONFIG_LOG_BUF_SHIFT=14
0003 CONFIG_BLK_DEV_INITRD=y
0004 CONFIG_EXPERT=y
0005 # CONFIG_HOTPLUG is not set
0006 # CONFIG_SHMEM is not set
0007 CONFIG_ARCH_SA1100=y
0008 CONFIG_SA1100_PLEB=y
0009 CONFIG_UNUSED_BOARD_FILES=y
0010 CONFIG_CMDLINE="console=ttySA0,9600 mem=16M@0xc0000000 mem=16M@0xc8000000 root=/dev/ram initrd=0xc0400000,4M"
0011 CONFIG_CPU_FREQ_DEFAULT_GOV_PERFORMANCE=y
0012 CONFIG_CPU_FREQ_GOV_ONDEMAND=y
0013 CONFIG_FPE_NWFPE=y
0014 CONFIG_MODULES=y
0015 # CONFIG_SWAP is not set
0016 CONFIG_NET=y
0017 CONFIG_PACKET=y
0018 CONFIG_UNIX=y
0019 CONFIG_INET=y
0020 CONFIG_SYN_COOKIES=y
0021 # CONFIG_IPV6 is not set
0022 CONFIG_MTD=y
0023 CONFIG_MTD_CMDLINE_PARTS=y
0024 CONFIG_MTD_REDBOOT_PARTS=y
0025 CONFIG_MTD_REDBOOT_PARTS_UNALLOCATED=y
0026 CONFIG_MTD_BLOCK=y
0027 CONFIG_MTD_CFI=y
0028 CONFIG_MTD_CFI_INTELEXT=y
0029 CONFIG_MTD_SA1100=y
0030 CONFIG_BLK_DEV_LOOP=y
0031 CONFIG_BLK_DEV_RAM=y
0032 CONFIG_BLK_DEV_RAM_SIZE=8192
0033 CONFIG_NETDEVICES=y
0034 CONFIG_NET_ETHERNET=y
0035 CONFIG_SMC91X=y
0036 # CONFIG_INPUT is not set
0037 # CONFIG_SERIO is not set
0038 # CONFIG_VT is not set
0039 CONFIG_SERIAL_SA1100=y
0040 CONFIG_SERIAL_SA1100_CONSOLE=y
0041 CONFIG_EXT2_FS=y
0042 CONFIG_EXT3_FS=y
0043 # CONFIG_EXT3_FS_XATTR is not set
0044 # CONFIG_DNOTIFY is not set
0045 CONFIG_MSDOS_FS=m
0046 CONFIG_VFAT_FS=m
0047 CONFIG_NFS_FS=m
0048 CONFIG_NFS_V3=y
0049 CONFIG_NLS=y
0050 CONFIG_MAGIC_SYSRQ=y
0051 CONFIG_DEBUG_KERNEL=y
