3 CONFIG_BSD_PROCESS_ACCT=y
4 CONFIG_LOG_BUF_SHIFT=14
5 CONFIG_SYSCTL_SYSCALL=y
6 # CONFIG_ELF_CORE is not set
7 # CONFIG_EPOLL is not set
8 # CONFIG_SIGNALFD is not set
9 # CONFIG_TIMERFD is not set
10 # CONFIG_EVENTFD is not set
11 # CONFIG_SHMEM is not set
12 # CONFIG_AIO is not set
16 CONFIG_MODULE_UNLOAD=y
17 CONFIG_NIOS2_MEM_BASE=0x10000000
18 CONFIG_NIOS2_HW_MUL_SUPPORT=y
19 CONFIG_NIOS2_HW_DIV_SUPPORT=y
20 CONFIG_CUSTOM_CACHE_SETTINGS=y
21 CONFIG_NIOS2_DCACHE_SIZE=0x8000
22 CONFIG_NIOS2_ICACHE_SIZE=0x8000
23 # CONFIG_NIOS2_CMDLINE_IGNORE_DTB is not set
24 CONFIG_NIOS2_PASS_CMDLINE=y
34 # CONFIG_INET_XFRM_MODE_TRANSPORT is not set
35 # CONFIG_INET_XFRM_MODE_TUNNEL is not set
36 # CONFIG_INET_XFRM_MODE_BEET is not set
37 # CONFIG_INET_LRO is not set
38 # CONFIG_IPV6 is not set
39 # CONFIG_WIRELESS is not set
40 CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug"
42 CONFIG_DEVTMPFS_MOUNT=y
43 # CONFIG_FW_LOADER is not set
45 CONFIG_MTD_CMDLINE_PARTS=y
48 CONFIG_MTD_CFI_INTELEXT=y
49 CONFIG_MTD_CFI_AMDSTD=y
50 CONFIG_MTD_PHYSMAP_OF=y
55 # CONFIG_WLAN is not set
56 # CONFIG_INPUT_MOUSE is not set
57 # CONFIG_SERIO_SERPORT is not set
58 # CONFIG_VT is not set
59 CONFIG_SERIAL_ALTERA_JTAGUART=y
60 CONFIG_SERIAL_ALTERA_JTAGUART_CONSOLE=y
61 CONFIG_SERIAL_ALTERA_UART=y
62 # CONFIG_HW_RANDOM is not set
63 # CONFIG_HWMON is not set
64 # CONFIG_USB_SUPPORT is not set
67 CONFIG_LEDS_TRIGGERS=y
68 CONFIG_LEDS_TRIGGER_HEARTBEAT=y
69 # CONFIG_DNOTIFY is not set
70 # CONFIG_INOTIFY_USER is not set
77 # CONFIG_ENABLE_WARN_DEPRECATED is not set