1# CONFIG_LOCALVERSION_AUTO is not set
  2# CONFIG_SWAP is not set
  3CONFIG_SYSVIPC=y
  4CONFIG_POSIX_MQUEUE=y
  5CONFIG_BSD_PROCESS_ACCT=y
  6CONFIG_BSD_PROCESS_ACCT_V3=y
  7CONFIG_NO_HZ=y
  8CONFIG_HIGH_RES_TIMERS=y
  9CONFIG_IKCONFIG=y
 10CONFIG_IKCONFIG_PROC=y
 11CONFIG_LOG_BUF_SHIFT=14
 12# CONFIG_UTS_NS is not set
 13# CONFIG_IPC_NS is not set
 14# CONFIG_PID_NS is not set
 15# CONFIG_NET_NS is not set
 16CONFIG_SCHED_AUTOGROUP=y
 17CONFIG_BLK_DEV_INITRD=y
 18CONFIG_KALLSYMS_ALL=y
 19# CONFIG_COMPAT_BRK is not set
 20CONFIG_PROFILING=y
 21CONFIG_JUMP_LABEL=y
 22CONFIG_MODULES=y
 23CONFIG_MODULE_UNLOAD=y
 24# CONFIG_BLK_DEV_BSG is not set
 25# CONFIG_IOSCHED_DEADLINE is not set
 26CONFIG_ARCH_VEXPRESS=y
 27CONFIG_ARCH_XGENE=y
 28CONFIG_SMP=y
 29CONFIG_PREEMPT=y
 30CONFIG_CMA=y
 31CONFIG_CMDLINE="console=ttyAMA0"
 32# CONFIG_CORE_DUMP_DEFAULT_ELF_HEADERS is not set
 33CONFIG_COMPAT=y
 34CONFIG_NET=y
 35CONFIG_PACKET=y
 36CONFIG_UNIX=y
 37CONFIG_INET=y
 38CONFIG_IP_PNP=y
 39CONFIG_IP_PNP_DHCP=y
 40CONFIG_IP_PNP_BOOTP=y
 41# CONFIG_INET_LRO is not set
 42# CONFIG_IPV6 is not set
 43# CONFIG_WIRELESS is not set
 44CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug"
 45CONFIG_DEVTMPFS=y
 46CONFIG_DMA_CMA=y
 47CONFIG_SCSI=y
 48# CONFIG_SCSI_PROC_FS is not set
 49CONFIG_BLK_DEV_SD=y
 50# CONFIG_SCSI_LOWLEVEL is not set
 51CONFIG_ATA=y
 52CONFIG_PATA_PLATFORM=y
 53CONFIG_PATA_OF_PLATFORM=y
 54CONFIG_NETDEVICES=y
 55CONFIG_SMC91X=y
 56CONFIG_SMSC911X=y
 57# CONFIG_WLAN is not set
 58CONFIG_INPUT_EVDEV=y
 59# CONFIG_SERIO_I8042 is not set
 60# CONFIG_SERIO_SERPORT is not set
 61CONFIG_LEGACY_PTY_COUNT=16
 62CONFIG_SERIAL_8250=y
 63CONFIG_SERIAL_8250_CONSOLE=y
 64CONFIG_SERIAL_OF_PLATFORM=y
 65CONFIG_SERIAL_AMBA_PL011=y
 66CONFIG_SERIAL_AMBA_PL011_CONSOLE=y
 67# CONFIG_HW_RANDOM is not set
 68# CONFIG_HWMON is not set
 69CONFIG_REGULATOR=y
 70CONFIG_REGULATOR_FIXED_VOLTAGE=y
 71CONFIG_FB=y
 72# CONFIG_VGA_CONSOLE is not set
 73CONFIG_FRAMEBUFFER_CONSOLE=y
 74CONFIG_LOGO=y
 75# CONFIG_LOGO_LINUX_MONO is not set
 76# CONFIG_LOGO_LINUX_VGA16 is not set
 77CONFIG_USB=y
 78CONFIG_USB_ISP1760_HCD=y
 79CONFIG_USB_STORAGE=y
 80CONFIG_MMC=y
 81CONFIG_MMC_ARMMMCI=y
 82# CONFIG_IOMMU_SUPPORT is not set
 83CONFIG_EXT2_FS=y
 84CONFIG_EXT3_FS=y
 85CONFIG_EXT4_FS=y
 86# CONFIG_EXT3_DEFAULTS_TO_ORDERED is not set
 87# CONFIG_EXT3_FS_XATTR is not set
 88CONFIG_FUSE_FS=y
 89CONFIG_CUSE=y
 90CONFIG_VFAT_FS=y
 91CONFIG_TMPFS=y
 92# CONFIG_MISC_FILESYSTEMS is not set
 93CONFIG_NFS_FS=y
 94CONFIG_ROOT_NFS=y
 95CONFIG_NLS_CODEPAGE_437=y
 96CONFIG_NLS_ISO8859_1=y
 97CONFIG_MAGIC_SYSRQ=y
 98CONFIG_DEBUG_FS=y
 99CONFIG_DEBUG_KERNEL=y
100# CONFIG_SCHED_DEBUG is not set
101CONFIG_DEBUG_INFO=y
102# CONFIG_FTRACE is not set
103CONFIG_ATOMIC64_SELFTEST=y
104CONFIG_VIRTIO_MMIO=y
105CONFIG_VIRTIO_BLK=y