1CONFIG_CROSS_COMPILE="or32-linux-"
2CONFIG_NO_HZ=y
3CONFIG_LOG_BUF_SHIFT=14
4CONFIG_BLK_DEV_INITRD=y
5# CONFIG_RD_GZIP is not set
6CONFIG_EXPERT=y
7# CONFIG_KALLSYMS is not set
8# CONFIG_EPOLL is not set
9# CONFIG_TIMERFD is not set
10# CONFIG_EVENTFD is not set
11# CONFIG_AIO is not set
12# CONFIG_VM_EVENT_COUNTERS is not set
13# CONFIG_COMPAT_BRK is not set
14CONFIG_SLOB=y
15CONFIG_MODULES=y
16# CONFIG_BLOCK is not set
17CONFIG_OPENRISC_BUILTIN_DTB="or1ksim"
18CONFIG_HZ_100=y
19CONFIG_NET=y
20CONFIG_PACKET=y
21CONFIG_UNIX=y
22CONFIG_INET=y
23# CONFIG_INET_XFRM_MODE_TRANSPORT is not set
24# CONFIG_INET_XFRM_MODE_TUNNEL is not set
25# CONFIG_INET_XFRM_MODE_BEET is not set
26# CONFIG_INET_LRO is not set
27# CONFIG_INET_DIAG is not set
28CONFIG_TCP_CONG_ADVANCED=y
29# CONFIG_TCP_CONG_BIC is not set
30# CONFIG_TCP_CONG_CUBIC is not set
31# CONFIG_TCP_CONG_WESTWOOD is not set
32# CONFIG_TCP_CONG_HTCP is not set
33# CONFIG_IPV6 is not set
34# CONFIG_WIRELESS is not set
35CONFIG_DEVTMPFS=y
36CONFIG_DEVTMPFS_MOUNT=y
37# CONFIG_PREVENT_FIRMWARE_BUILD is not set
38# CONFIG_FW_LOADER is not set
39CONFIG_PROC_DEVICETREE=y
40CONFIG_NETDEVICES=y
41CONFIG_ETHOC=y
42CONFIG_MICREL_PHY=y
43# CONFIG_WLAN is not set
44# CONFIG_INPUT is not set
45# CONFIG_SERIO is not set
46# CONFIG_VT is not set
47# CONFIG_LEGACY_PTYS is not set
48# CONFIG_DEVKMEM is not set
49CONFIG_SERIAL_8250=y
50CONFIG_SERIAL_8250_CONSOLE=y
51CONFIG_SERIAL_OF_PLATFORM=y
52# CONFIG_HW_RANDOM is not set
53# CONFIG_HWMON is not set
54# CONFIG_USB_SUPPORT is not set
55# CONFIG_DNOTIFY is not set
56CONFIG_TMPFS=y
57CONFIG_NFS_FS=y
58# CONFIG_ENABLE_WARN_DEPRECATED is not set
59# CONFIG_ENABLE_MUST_CHECK is not set
60