1CONFIG_SYSVIPC=y
2CONFIG_POSIX_MQUEUE=y
3CONFIG_NO_HZ_IDLE=y
4CONFIG_HIGH_RES_TIMERS=y
5CONFIG_PREEMPT=y
6CONFIG_IRQ_TIME_ACCOUNTING=y
7CONFIG_BSD_PROCESS_ACCT=y
8CONFIG_MEMCG=y
9CONFIG_CGROUP_FREEZER=y
10CONFIG_CGROUP_DEVICE=y
11CONFIG_CGROUP_CPUACCT=y
12CONFIG_CGROUP_DEBUG=y
13CONFIG_NAMESPACES=y
14CONFIG_SCHED_AUTOGROUP=y
15CONFIG_RELAY=y
16CONFIG_BLK_DEV_INITRD=y
17CONFIG_EXPERT=y
18CONFIG_KALLSYMS_ALL=y
19CONFIG_PROFILING=y
20CONFIG_XTENSA_VARIANT_DC233C=y
21CONFIG_XTENSA_UNALIGNED_USER=y
22CONFIG_XIP_KERNEL=y
23CONFIG_XIP_DATA_ADDR=0xd0000000
24CONFIG_KERNEL_VIRTUAL_ADDRESS=0xe6000000
25CONFIG_KERNEL_LOAD_ADDRESS=0xf6000000
26CONFIG_XTENSA_KSEG_512M=y
27CONFIG_HIGHMEM=y
28CONFIG_XTENSA_PLATFORM_XTFPGA=y
29CONFIG_CMDLINE_BOOL=y
30CONFIG_CMDLINE="earlycon=uart8250,mmio32native,0xfd050020,115200n8 console=ttyS0,115200n8 ip=dhcp root=/dev/nfs rw debug memmap=0x38000000@0"
31CONFIG_USE_OF=y
32CONFIG_BUILTIN_DTB_SOURCE="kc705"
33# CONFIG_PARSE_BOOTPARAM is not set
34# CONFIG_CORE_DUMP_DEFAULT_ELF_HEADERS is not set
35# CONFIG_COMPACTION is not set
36CONFIG_NET=y
37CONFIG_PACKET=y
38CONFIG_UNIX=y
39CONFIG_INET=y
40CONFIG_IP_MULTICAST=y
41CONFIG_IP_PNP=y
42CONFIG_IP_PNP_DHCP=y
43CONFIG_IP_PNP_BOOTP=y
44CONFIG_IP_PNP_RARP=y
45# CONFIG_IPV6 is not set
46CONFIG_NETFILTER=y
47# CONFIG_WIRELESS is not set
48CONFIG_UEVENT_HELPER=y
49CONFIG_DEVTMPFS=y
50CONFIG_DEVTMPFS_MOUNT=y
51# CONFIG_STANDALONE is not set
52CONFIG_BLK_DEV_LOOP=y
53CONFIG_BLK_DEV_RAM=y
54CONFIG_SCSI=y
55CONFIG_BLK_DEV_SD=y
56CONFIG_NETDEVICES=y
57# CONFIG_NET_VENDOR_ARC is not set
58# CONFIG_NET_VENDOR_BROADCOM is not set
59# CONFIG_NET_VENDOR_INTEL is not set
60# CONFIG_NET_VENDOR_MARVELL is not set
61# CONFIG_NET_VENDOR_MICREL is not set
62# CONFIG_NET_VENDOR_NATSEMI is not set
63# CONFIG_NET_VENDOR_SAMSUNG is not set
64# CONFIG_NET_VENDOR_SEEQ is not set
65# CONFIG_NET_VENDOR_SMSC is not set
66# CONFIG_NET_VENDOR_STMICRO is not set
67# CONFIG_NET_VENDOR_VIA is not set
68# CONFIG_NET_VENDOR_WIZNET is not set
69CONFIG_MARVELL_PHY=y
70# CONFIG_WLAN is not set
71# CONFIG_INPUT_KEYBOARD is not set
72# CONFIG_INPUT_MOUSE is not set
73# CONFIG_SERIO is not set
74CONFIG_SERIAL_8250=y
75# CONFIG_SERIAL_8250_DEPRECATED_OPTIONS is not set
76CONFIG_SERIAL_8250_CONSOLE=y
77CONFIG_SERIAL_OF_PLATFORM=y
78# CONFIG_HWMON is not set
79CONFIG_WATCHDOG=y
80CONFIG_WATCHDOG_NOWAYOUT=y
81CONFIG_SOFT_WATCHDOG=y
82# CONFIG_VGA_CONSOLE is not set
83# CONFIG_USB_SUPPORT is not set
84# CONFIG_IOMMU_SUPPORT is not set
85CONFIG_EXT3_FS=y
86CONFIG_FANOTIFY=y
87CONFIG_VFAT_FS=y
88CONFIG_PROC_KCORE=y
89CONFIG_TMPFS=y
90CONFIG_TMPFS_POSIX_ACL=y
91CONFIG_NFS_FS=y
92CONFIG_NFS_V4=y
93CONFIG_NFS_SWAP=y
94CONFIG_ROOT_NFS=y
95CONFIG_SUNRPC_DEBUG=y
96CONFIG_NLS_CODEPAGE_437=y
97CONFIG_NLS_ISO8859_1=y
98CONFIG_CRYPTO_ECHAINIV=y
99CONFIG_CRYPTO_DEFLATE=y
100CONFIG_CRYPTO_LZO=y
101CONFIG_CRYPTO_ANSI_CPRNG=y
102CONFIG_PRINTK_TIME=y
103CONFIG_DYNAMIC_DEBUG=y
104CONFIG_DEBUG_INFO_DWARF_TOOLCHAIN_DEFAULT=y
105CONFIG_MAGIC_SYSRQ=y
106CONFIG_DETECT_HUNG_TASK=y
107# CONFIG_SCHED_DEBUG is not set
108CONFIG_SCHEDSTATS=y
109CONFIG_DEBUG_RT_MUTEXES=y
110CONFIG_DEBUG_SPINLOCK=y
111CONFIG_DEBUG_MUTEXES=y
112CONFIG_DEBUG_ATOMIC_SLEEP=y
113CONFIG_STACKTRACE=y
114CONFIG_RCU_TRACE=y
115# CONFIG_FTRACE is not set
116# CONFIG_S32C1I_SELFTEST is not set
117