1CONFIG_SYSVIPC=y
2CONFIG_POSIX_MQUEUE=y
3CONFIG_FHANDLE=y
4CONFIG_NO_HZ_IDLE=y
5CONFIG_HIGH_RES_TIMERS=y
6CONFIG_IRQ_TIME_ACCOUNTING=y
7CONFIG_BSD_PROCESS_ACCT=y
8CONFIG_CGROUP_DEBUG=y
9CONFIG_CGROUP_FREEZER=y
10CONFIG_CGROUP_DEVICE=y
11CONFIG_CPUSETS=y
12CONFIG_CGROUP_CPUACCT=y
13CONFIG_MEMCG=y
14CONFIG_NAMESPACES=y
15CONFIG_SCHED_AUTOGROUP=y
16CONFIG_RELAY=y
17CONFIG_BLK_DEV_INITRD=y
18CONFIG_EXPERT=y
19CONFIG_KALLSYMS_ALL=y
20CONFIG_PROFILING=y
21CONFIG_OPROFILE=y
22CONFIG_MODULES=y
23CONFIG_MODULE_UNLOAD=y
24# CONFIG_IOSCHED_DEADLINE is not set
25# CONFIG_IOSCHED_CFQ is not set
26CONFIG_XTENSA_VARIANT_CUSTOM=y
27CONFIG_XTENSA_VARIANT_CUSTOM_NAME="test_kc705_hifi"
28CONFIG_XTENSA_UNALIGNED_USER=y
29CONFIG_PREEMPT=y
30CONFIG_HIGHMEM=y
31# CONFIG_PCI is not set
32CONFIG_XTENSA_PLATFORM_XTFPGA=y
33CONFIG_CMDLINE_BOOL=y
34CONFIG_CMDLINE="earlycon=uart8250,mmio32native,0xfd050020,115200n8 console=ttyS0,115200n8 ip=dhcp root=/dev/nfs rw debug memmap=0x38000000@0"
35CONFIG_USE_OF=y
36CONFIG_BUILTIN_DTB_SOURCE="kc705"
37# CONFIG_COMPACTION is not set
38# CONFIG_CORE_DUMP_DEFAULT_ELF_HEADERS is not set
39CONFIG_PM=y
40CONFIG_NET=y
41CONFIG_PACKET=y
42CONFIG_UNIX=y
43CONFIG_INET=y
44CONFIG_IP_MULTICAST=y
45CONFIG_IP_PNP=y
46CONFIG_IP_PNP_DHCP=y
47CONFIG_IP_PNP_BOOTP=y
48CONFIG_IP_PNP_RARP=y
49# CONFIG_IPV6 is not set
50CONFIG_NETFILTER=y
51# CONFIG_WIRELESS is not set
52CONFIG_DEVTMPFS=y
53CONFIG_DEVTMPFS_MOUNT=y
54# CONFIG_STANDALONE is not set
55CONFIG_MTD=y
56CONFIG_MTD_CFI=y
57CONFIG_MTD_JEDECPROBE=y
58CONFIG_MTD_CFI_INTELEXT=y
59CONFIG_MTD_CFI_AMDSTD=y
60CONFIG_MTD_CFI_STAA=y
61CONFIG_MTD_PHYSMAP_OF=y
62CONFIG_MTD_UBI=y
63CONFIG_BLK_DEV_LOOP=y
64CONFIG_BLK_DEV_RAM=y
65CONFIG_SCSI=y
66CONFIG_BLK_DEV_SD=y
67CONFIG_NETDEVICES=y
68# CONFIG_NET_VENDOR_ARC is not set
69# CONFIG_NET_VENDOR_BROADCOM is not set
70# CONFIG_NET_VENDOR_INTEL is not set
71# CONFIG_NET_VENDOR_MARVELL is not set
72# CONFIG_NET_VENDOR_MICREL is not set
73# CONFIG_NET_VENDOR_NATSEMI is not set
74# CONFIG_NET_VENDOR_SAMSUNG is not set
75# CONFIG_NET_VENDOR_SEEQ is not set
76# CONFIG_NET_VENDOR_SMSC is not set
77# CONFIG_NET_VENDOR_STMICRO is not set
78# CONFIG_NET_VENDOR_VIA is not set
79# CONFIG_NET_VENDOR_WIZNET is not set
80CONFIG_MARVELL_PHY=y
81# CONFIG_WLAN is not set
82# CONFIG_INPUT_MOUSEDEV is not set
83# CONFIG_INPUT_KEYBOARD is not set
84# CONFIG_INPUT_MOUSE is not set
85# CONFIG_SERIO is not set
86CONFIG_SERIAL_8250=y
87# CONFIG_SERIAL_8250_DEPRECATED_OPTIONS is not set
88CONFIG_SERIAL_8250_CONSOLE=y
89CONFIG_SERIAL_OF_PLATFORM=y
90CONFIG_HW_RANDOM=y
91CONFIG_I2C=y
92CONFIG_I2C_OCORES=y
93CONFIG_SPI=y
94CONFIG_SPI_XTENSA_XTFPGA=y
95# CONFIG_HWMON is not set
96CONFIG_WATCHDOG=y
97CONFIG_WATCHDOG_NOWAYOUT=y
98CONFIG_SOFT_WATCHDOG=y
99# CONFIG_VGA_CONSOLE is not set
100CONFIG_SOUND=y
101CONFIG_SND=y
102CONFIG_SND_SOC=y
103CONFIG_SND_SOC_XTFPGA_I2S=y
104CONFIG_SND_SOC_TLV320AIC23_SPI=y
105CONFIG_SND_SIMPLE_CARD=y
106# CONFIG_USB_SUPPORT is not set
107CONFIG_COMMON_CLK_CDCE706=y
108# CONFIG_IOMMU_SUPPORT is not set
109CONFIG_EXT3_FS=y
110CONFIG_EXT4_FS=y
111CONFIG_FANOTIFY=y
112CONFIG_VFAT_FS=y
113CONFIG_PROC_KCORE=y
114CONFIG_TMPFS=y
115CONFIG_TMPFS_POSIX_ACL=y
116CONFIG_UBIFS_FS=y
117CONFIG_NFS_FS=y
118CONFIG_NFS_V4=y
119CONFIG_NFS_SWAP=y
120CONFIG_ROOT_NFS=y
121CONFIG_SUNRPC_DEBUG=y
122CONFIG_NLS_CODEPAGE_437=y
123CONFIG_NLS_ISO8859_1=y
124CONFIG_PRINTK_TIME=y
125CONFIG_DYNAMIC_DEBUG=y
126CONFIG_DEBUG_INFO=y
127CONFIG_MAGIC_SYSRQ=y
128CONFIG_LOCKUP_DETECTOR=y
129# CONFIG_SCHED_DEBUG is not set
130CONFIG_SCHEDSTATS=y
131CONFIG_TIMER_STATS=y
132CONFIG_DEBUG_RT_MUTEXES=y
133CONFIG_DEBUG_SPINLOCK=y
134CONFIG_DEBUG_MUTEXES=y
135CONFIG_DEBUG_ATOMIC_SLEEP=y
136CONFIG_STACKTRACE=y
137CONFIG_RCU_TRACE=y
138# CONFIG_FTRACE is not set
139# CONFIG_S32C1I_SELFTEST is not set
140CONFIG_CRYPTO_ANSI_CPRNG=y
141