1CONFIG_SYSVIPC=y
2CONFIG_POSIX_MQUEUE=y
3CONFIG_FHANDLE=y
4CONFIG_IRQ_DOMAIN_DEBUG=y
5CONFIG_NO_HZ_IDLE=y
6CONFIG_HIGH_RES_TIMERS=y
7CONFIG_IRQ_TIME_ACCOUNTING=y
8CONFIG_BSD_PROCESS_ACCT=y
9CONFIG_CGROUP_DEBUG=y
10CONFIG_CGROUP_FREEZER=y
11CONFIG_CGROUP_DEVICE=y
12CONFIG_CPUSETS=y
13CONFIG_CGROUP_CPUACCT=y
14CONFIG_MEMCG=y
15CONFIG_NAMESPACES=y
16CONFIG_SCHED_AUTOGROUP=y
17CONFIG_RELAY=y
18CONFIG_BLK_DEV_INITRD=y
19# CONFIG_RD_BZIP2 is not set
20# CONFIG_RD_LZMA is not set
21# CONFIG_RD_XZ is not set
22# CONFIG_RD_LZO is not set
23# CONFIG_RD_LZ4 is not set
24CONFIG_EXPERT=y
25CONFIG_SYSCTL_SYSCALL=y
26CONFIG_KALLSYMS_ALL=y
27CONFIG_PERF_EVENTS=y
28CONFIG_MODULES=y
29CONFIG_MODULE_UNLOAD=y
30# CONFIG_IOSCHED_DEADLINE is not set
31# CONFIG_IOSCHED_CFQ is not set
32CONFIG_XTENSA_VARIANT_CUSTOM=y
33CONFIG_XTENSA_VARIANT_CUSTOM_NAME="de212"
34# CONFIG_XTENSA_VARIANT_MMU is not set
35CONFIG_XTENSA_UNALIGNED_USER=y
36CONFIG_PREEMPT=y
37# CONFIG_PCI is not set
38CONFIG_XTENSA_PLATFORM_XTFPGA=y
39CONFIG_CMDLINE_BOOL=y
40CONFIG_CMDLINE="earlycon=uart8250,mmio32,0x9d050020,115200n8 console=ttyS0,115200n8 ip=dhcp root=/dev/nfs rw debug"
41CONFIG_USE_OF=y
42CONFIG_BUILTIN_DTB="kc705_nommu"
43CONFIG_DEFAULT_MEM_SIZE=0x10000000
44CONFIG_BINFMT_FLAT=y
45CONFIG_NET=y
46CONFIG_PACKET=y
47CONFIG_UNIX=y
48CONFIG_INET=y
49CONFIG_IP_MULTICAST=y
50CONFIG_IP_PNP=y
51CONFIG_IP_PNP_DHCP=y
52CONFIG_IP_PNP_BOOTP=y
53CONFIG_IP_PNP_RARP=y
54# CONFIG_IPV6 is not set
55CONFIG_NETFILTER=y
56# CONFIG_WIRELESS is not set
57CONFIG_DEVTMPFS=y
58CONFIG_DEVTMPFS_MOUNT=y
59# CONFIG_STANDALONE is not set
60CONFIG_MTD=y
61CONFIG_MTD_CFI=y
62CONFIG_MTD_JEDECPROBE=y
63CONFIG_MTD_CFI_INTELEXT=y
64CONFIG_MTD_CFI_AMDSTD=y
65CONFIG_MTD_CFI_STAA=y
66CONFIG_BLK_DEV_LOOP=y
67CONFIG_BLK_DEV_RAM=y
68CONFIG_SCSI=y
69CONFIG_BLK_DEV_SD=y
70CONFIG_NETDEVICES=y
71# CONFIG_NET_VENDOR_ARC is not set
72# CONFIG_NET_VENDOR_BROADCOM is not set
73# CONFIG_NET_VENDOR_INTEL is not set
74# CONFIG_NET_VENDOR_MARVELL is not set
75# CONFIG_NET_VENDOR_MICREL is not set
76# CONFIG_NET_VENDOR_NATSEMI is not set
77# CONFIG_NET_VENDOR_SEEQ is not set
78# CONFIG_NET_VENDOR_STMICRO is not set
79# CONFIG_NET_VENDOR_VIA is not set
80# CONFIG_NET_VENDOR_WIZNET is not set
81CONFIG_MARVELL_PHY=y
82# CONFIG_WLAN is not set
83# CONFIG_INPUT_MOUSEDEV is not set
84# CONFIG_INPUT_KEYBOARD is not set
85# CONFIG_INPUT_MOUSE is not set
86# CONFIG_SERIO is not set
87CONFIG_SERIAL_8250=y
88# CONFIG_SERIAL_8250_DEPRECATED_OPTIONS is not set
89CONFIG_SERIAL_8250_CONSOLE=y
90CONFIG_SERIAL_OF_PLATFORM=y
91CONFIG_HW_RANDOM=y
92# CONFIG_HWMON is not set
93CONFIG_WATCHDOG=y
94CONFIG_WATCHDOG_NOWAYOUT=y
95CONFIG_SOFT_WATCHDOG=y
96# CONFIG_VGA_CONSOLE is not set
97# CONFIG_USB_SUPPORT is not set
98CONFIG_EXT3_FS=y
99CONFIG_EXT4_FS=y
100CONFIG_FANOTIFY=y
101CONFIG_VFAT_FS=y
102CONFIG_JFFS2_FS=y
103CONFIG_NFS_FS=y
104CONFIG_NFS_V4=y
105CONFIG_NFS_SWAP=y
106CONFIG_ROOT_NFS=y
107CONFIG_SUNRPC_DEBUG=y
108CONFIG_NLS_CODEPAGE_437=y
109CONFIG_NLS_ISO8859_1=y
110CONFIG_PRINTK_TIME=y
111CONFIG_DYNAMIC_DEBUG=y
112CONFIG_DEBUG_INFO=y
113# CONFIG_FRAME_POINTER is not set
114CONFIG_MAGIC_SYSRQ=y
115CONFIG_DEBUG_VM=y
116CONFIG_DEBUG_NOMMU_REGIONS=y
117CONFIG_DEBUG_SHIRQ=y
118CONFIG_LOCKUP_DETECTOR=y
119CONFIG_SCHEDSTATS=y
120CONFIG_TIMER_STATS=y
121CONFIG_DEBUG_RT_MUTEXES=y
122CONFIG_DEBUG_SPINLOCK=y
123CONFIG_DEBUG_MUTEXES=y
124CONFIG_DEBUG_ATOMIC_SLEEP=y
125CONFIG_STACKTRACE=y
126# CONFIG_RCU_CPU_STALL_INFO is not set
127CONFIG_RCU_TRACE=y
128# CONFIG_FTRACE is not set
129# CONFIG_LD_NO_RELAX is not set
130# CONFIG_CRYPTO_ECHAINIV is not set
131CONFIG_CRYPTO_ANSI_CPRNG=y
132