0001 CONFIG_SYSVIPC=y
0002 CONFIG_BSD_PROCESS_ACCT=y
0003 CONFIG_BLK_DEV_INITRD=y
0004 CONFIG_PLAT_SPEAR=y
0005 CONFIG_ARCH_SPEAR13XX=y
0006 CONFIG_MACH_SPEAR1310=y
0007 CONFIG_MACH_SPEAR1340=y
0008 # CONFIG_SWP_EMULATE is not set
0009 CONFIG_SMP=y
0010 # CONFIG_SMP_ON_UP is not set
0011 # CONFIG_ARM_CPU_TOPOLOGY is not set
0012 CONFIG_AEABI=y
0013 CONFIG_ARM_APPENDED_DTB=y
0014 CONFIG_ARM_ATAG_DTB_COMPAT=y
0015 CONFIG_VFP=y
0016 CONFIG_MODULES=y
0017 CONFIG_MODULE_UNLOAD=y
0018 CONFIG_MODVERSIONS=y
0019 CONFIG_PARTITION_ADVANCED=y
0020 CONFIG_BINFMT_MISC=y
0021 CONFIG_NET=y
0022 CONFIG_UNIX=y
0023 CONFIG_INET=y
0024 CONFIG_IP_PNP=y
0025 CONFIG_IP_PNP_DHCP=y
0026 CONFIG_IP_PNP_BOOTP=y
0027 CONFIG_NET_IPIP=y
0028 CONFIG_PCI=y
0029 CONFIG_PCI_MSI=y
0030 CONFIG_PCIE_SPEAR13XX=y
0031 CONFIG_MTD=y
0032 CONFIG_MTD_OF_PARTS=y
0033 CONFIG_MTD_BLOCK=y
0034 CONFIG_MTD_RAW_NAND=y
0035 CONFIG_MTD_NAND_FSMC=y
0036 CONFIG_BLK_DEV_RAM=y
0037 CONFIG_BLK_DEV_RAM_SIZE=16384
0038 CONFIG_BLK_DEV_SD=y
0039 CONFIG_ATA=y
0040 # CONFIG_SATA_PMP is not set
0041 CONFIG_SATA_AHCI_PLATFORM=y
0042 CONFIG_PATA_ARASAN_CF=y
0043 CONFIG_NETDEVICES=y
0044 # CONFIG_NET_VENDOR_BROADCOM is not set
0045 # CONFIG_NET_VENDOR_CIRRUS is not set
0046 # CONFIG_NET_VENDOR_FARADAY is not set
0047 # CONFIG_NET_VENDOR_INTEL is not set
0048 # CONFIG_NET_VENDOR_MICREL is not set
0049 # CONFIG_NET_VENDOR_NATSEMI is not set
0050 # CONFIG_NET_VENDOR_SEEQ is not set
0051 # CONFIG_NET_VENDOR_SMSC is not set
0052 CONFIG_STMMAC_ETH=y
0053 # CONFIG_WLAN is not set
0054 CONFIG_INPUT_FF_MEMLESS=y
0055 # CONFIG_INPUT_MOUSEDEV_PSAUX is not set
0056 # CONFIG_KEYBOARD_ATKBD is not set
0057 CONFIG_KEYBOARD_SPEAR=y
0058 # CONFIG_INPUT_MOUSE is not set
0059 # CONFIG_LEGACY_PTYS is not set
0060 CONFIG_SERIAL_AMBA_PL011=y
0061 CONFIG_SERIAL_AMBA_PL011_CONSOLE=y
0062 # CONFIG_HW_RANDOM is not set
0063 CONFIG_RAW_DRIVER=y
0064 CONFIG_I2C=y
0065 CONFIG_I2C_DESIGNWARE_PLATFORM=y
0066 CONFIG_SPI=y
0067 CONFIG_SPI_PL022=y
0068 CONFIG_GPIO_SYSFS=y
0069 CONFIG_GPIO_PL061=y
0070 # CONFIG_HWMON is not set
0071 CONFIG_WATCHDOG=y
0072 CONFIG_USB=y
0073 CONFIG_USB_EHCI_HCD=y
0074 CONFIG_USB_OHCI_HCD=y
0075 CONFIG_USB_STORAGE=y
0076 CONFIG_MMC=y
0077 CONFIG_MMC_SDHCI=y
0078 CONFIG_MMC_SDHCI_SPEAR=y
0079 CONFIG_RTC_CLASS=y
0080 CONFIG_DMADEVICES=y
0081 CONFIG_DW_DMAC=y
0082 CONFIG_DMATEST=m
0083 CONFIG_EXT2_FS=y
0084 CONFIG_EXT2_FS_XATTR=y
0085 CONFIG_EXT2_FS_SECURITY=y
0086 CONFIG_EXT3_FS=y
0087 CONFIG_EXT3_FS_SECURITY=y
0088 CONFIG_AUTOFS4_FS=m
0089 CONFIG_FUSE_FS=y
0090 CONFIG_MSDOS_FS=m
0091 CONFIG_VFAT_FS=m
0092 CONFIG_FAT_DEFAULT_IOCHARSET="ascii"
0093 CONFIG_TMPFS=y
0094 CONFIG_JFFS2_FS=y
0095 CONFIG_NFS_FS=y
0096 CONFIG_ROOT_NFS=y
0097 CONFIG_NLS_DEFAULT="utf8"
0098 CONFIG_NLS_CODEPAGE_437=y
0099 CONFIG_NLS_ASCII=m
0100 CONFIG_DEBUG_KERNEL=y
0101 CONFIG_MAGIC_SYSRQ=y
0102 CONFIG_DEBUG_FS=y
0103 CONFIG_DEBUG_SPINLOCK=y
0104 CONFIG_DEBUG_INFO_DWARF_TOOLCHAIN_DEFAULT=y
