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