CONFIG_SYSVIPC=y 
 | 
CONFIG_POSIX_MQUEUE=y 
 | 
CONFIG_FHANDLE=y 
 | 
CONFIG_NO_HZ_IDLE=y 
 | 
CONFIG_HIGH_RES_TIMERS=y 
 | 
CONFIG_IRQ_TIME_ACCOUNTING=y 
 | 
CONFIG_BSD_PROCESS_ACCT=y 
 | 
CONFIG_CGROUP_DEBUG=y 
 | 
CONFIG_CGROUP_FREEZER=y 
 | 
CONFIG_CGROUP_DEVICE=y 
 | 
CONFIG_CPUSETS=y 
 | 
CONFIG_CGROUP_CPUACCT=y 
 | 
CONFIG_MEMCG=y 
 | 
CONFIG_NAMESPACES=y 
 | 
CONFIG_SCHED_AUTOGROUP=y 
 | 
CONFIG_RELAY=y 
 | 
CONFIG_BLK_DEV_INITRD=y 
 | 
# CONFIG_RD_BZIP2 is not set 
 | 
# CONFIG_RD_LZMA is not set 
 | 
# CONFIG_RD_XZ is not set 
 | 
# CONFIG_RD_LZO is not set 
 | 
# CONFIG_RD_LZ4 is not set 
 | 
CONFIG_EXPERT=y 
 | 
CONFIG_KALLSYMS_ALL=y 
 | 
CONFIG_PERF_EVENTS=y 
 | 
CONFIG_MODULES=y 
 | 
CONFIG_MODULE_UNLOAD=y 
 | 
CONFIG_XTENSA_VARIANT_CUSTOM=y 
 | 
CONFIG_XTENSA_VARIANT_CUSTOM_NAME="de212" 
 | 
# CONFIG_XTENSA_VARIANT_MMU is not set 
 | 
CONFIG_XTENSA_UNALIGNED_USER=y 
 | 
CONFIG_PREEMPT=y 
 | 
CONFIG_MEMMAP_CACHEATTR=0xfff2442f 
 | 
# CONFIG_PCI is not set 
 | 
CONFIG_XTENSA_PLATFORM_XTFPGA=y 
 | 
CONFIG_CMDLINE_BOOL=y 
 | 
CONFIG_CMDLINE="earlycon=uart8250,mmio32native,0x9d050020,115200n8 console=ttyS0,115200n8 ip=dhcp root=/dev/nfs rw debug memmap=256M@0x60000000" 
 | 
CONFIG_USE_OF=y 
 | 
CONFIG_BUILTIN_DTB_SOURCE="kc705_nommu" 
 | 
CONFIG_BINFMT_FLAT=y 
 | 
CONFIG_NET=y 
 | 
CONFIG_PACKET=y 
 | 
CONFIG_UNIX=y 
 | 
CONFIG_INET=y 
 | 
CONFIG_IP_MULTICAST=y 
 | 
CONFIG_IP_PNP=y 
 | 
CONFIG_IP_PNP_DHCP=y 
 | 
CONFIG_IP_PNP_BOOTP=y 
 | 
CONFIG_IP_PNP_RARP=y 
 | 
# CONFIG_IPV6 is not set 
 | 
CONFIG_NETFILTER=y 
 | 
# CONFIG_WIRELESS is not set 
 | 
CONFIG_DEVTMPFS=y 
 | 
CONFIG_DEVTMPFS_MOUNT=y 
 | 
# CONFIG_STANDALONE is not set 
 | 
CONFIG_MTD=y 
 | 
CONFIG_MTD_CFI=y 
 | 
CONFIG_MTD_JEDECPROBE=y 
 | 
CONFIG_MTD_CFI_INTELEXT=y 
 | 
CONFIG_MTD_CFI_AMDSTD=y 
 | 
CONFIG_MTD_CFI_STAA=y 
 | 
CONFIG_BLK_DEV_LOOP=y 
 | 
CONFIG_BLK_DEV_RAM=y 
 | 
CONFIG_SCSI=y 
 | 
CONFIG_BLK_DEV_SD=y 
 | 
CONFIG_NETDEVICES=y 
 | 
# CONFIG_NET_VENDOR_ARC is not set 
 | 
# CONFIG_NET_VENDOR_BROADCOM is not set 
 | 
# CONFIG_NET_VENDOR_INTEL is not set 
 | 
# CONFIG_NET_VENDOR_MARVELL is not set 
 | 
# CONFIG_NET_VENDOR_MICREL is not set 
 | 
# CONFIG_NET_VENDOR_NATSEMI is not set 
 | 
# CONFIG_NET_VENDOR_SEEQ is not set 
 | 
# CONFIG_NET_VENDOR_STMICRO is not set 
 | 
# CONFIG_NET_VENDOR_VIA is not set 
 | 
# CONFIG_NET_VENDOR_WIZNET is not set 
 | 
CONFIG_MARVELL_PHY=y 
 | 
# CONFIG_WLAN is not set 
 | 
# CONFIG_INPUT_MOUSEDEV is not set 
 | 
# CONFIG_INPUT_KEYBOARD is not set 
 | 
# CONFIG_INPUT_MOUSE is not set 
 | 
# CONFIG_SERIO is not set 
 | 
CONFIG_SERIAL_8250=y 
 | 
# CONFIG_SERIAL_8250_DEPRECATED_OPTIONS is not set 
 | 
CONFIG_SERIAL_8250_CONSOLE=y 
 | 
CONFIG_SERIAL_OF_PLATFORM=y 
 | 
CONFIG_HW_RANDOM=y 
 | 
# CONFIG_HWMON is not set 
 | 
CONFIG_WATCHDOG=y 
 | 
CONFIG_WATCHDOG_NOWAYOUT=y 
 | 
CONFIG_SOFT_WATCHDOG=y 
 | 
# CONFIG_VGA_CONSOLE is not set 
 | 
# CONFIG_USB_SUPPORT is not set 
 | 
CONFIG_EXT3_FS=y 
 | 
CONFIG_EXT4_FS=y 
 | 
CONFIG_FANOTIFY=y 
 | 
CONFIG_VFAT_FS=y 
 | 
CONFIG_JFFS2_FS=y 
 | 
CONFIG_NFS_FS=y 
 | 
CONFIG_NFS_V4=y 
 | 
CONFIG_NFS_SWAP=y 
 | 
CONFIG_ROOT_NFS=y 
 | 
CONFIG_SUNRPC_DEBUG=y 
 | 
CONFIG_NLS_CODEPAGE_437=y 
 | 
CONFIG_NLS_ISO8859_1=y 
 | 
CONFIG_PRINTK_TIME=y 
 | 
CONFIG_DYNAMIC_DEBUG=y 
 | 
CONFIG_DEBUG_INFO=y 
 | 
# CONFIG_FRAME_POINTER is not set 
 | 
CONFIG_MAGIC_SYSRQ=y 
 | 
CONFIG_DEBUG_VM=y 
 | 
CONFIG_DEBUG_NOMMU_REGIONS=y 
 | 
CONFIG_DEBUG_SHIRQ=y 
 | 
CONFIG_LOCKUP_DETECTOR=y 
 | 
CONFIG_SCHEDSTATS=y 
 | 
CONFIG_TIMER_STATS=y 
 | 
CONFIG_DEBUG_RT_MUTEXES=y 
 | 
CONFIG_DEBUG_SPINLOCK=y 
 | 
CONFIG_DEBUG_MUTEXES=y 
 | 
CONFIG_DEBUG_ATOMIC_SLEEP=y 
 | 
CONFIG_STACKTRACE=y 
 | 
# CONFIG_RCU_CPU_STALL_INFO is not set 
 | 
CONFIG_RCU_TRACE=y 
 | 
# CONFIG_FTRACE is not set 
 | 
# CONFIG_LD_NO_RELAX is not set 
 | 
# CONFIG_CRYPTO_ECHAINIV is not set 
 | 
CONFIG_CRYPTO_ANSI_CPRNG=y 
 |