3 CONFIG_BSD_PROCESS_ACCT=y
4 CONFIG_LOG_BUF_SHIFT=14
5 # CONFIG_ELF_CORE is not set
6 # CONFIG_EPOLL is not set
7 # CONFIG_SIGNALFD is not set
8 # CONFIG_TIMERFD is not set
9 # CONFIG_EVENTFD is not set
10 # CONFIG_SHMEM is not set
11 # CONFIG_AIO is not set
15 CONFIG_MODULE_UNLOAD=y
16 CONFIG_NIOS2_MEM_BASE=0x10000000
17 CONFIG_NIOS2_HW_MUL_SUPPORT=y
18 CONFIG_NIOS2_HW_DIV_SUPPORT=y
19 CONFIG_CUSTOM_CACHE_SETTINGS=y
20 CONFIG_NIOS2_DCACHE_SIZE=0x8000
21 CONFIG_NIOS2_ICACHE_SIZE=0x8000
22 # CONFIG_NIOS2_CMDLINE_IGNORE_DTB is not set
23 CONFIG_NIOS2_PASS_CMDLINE=y
24 CONFIG_NIOS2_BOOT_LINK_OFFSET=0x00800000
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_IPV6 is not set
38 # CONFIG_WIRELESS is not set
40 CONFIG_DEVTMPFS_MOUNT=y
41 # CONFIG_FW_LOADER is not set
43 CONFIG_MTD_CMDLINE_PARTS=y
46 CONFIG_MTD_CFI_INTELEXT=y
47 CONFIG_MTD_CFI_AMDSTD=y
48 CONFIG_MTD_PHYSMAP_OF=y
53 # CONFIG_WLAN is not set
54 # CONFIG_INPUT_MOUSE is not set
55 # CONFIG_SERIO_SERPORT is not set
56 # CONFIG_VT is not set
57 CONFIG_SERIAL_ALTERA_JTAGUART=y
58 CONFIG_SERIAL_ALTERA_JTAGUART_CONSOLE=y
59 CONFIG_SERIAL_ALTERA_UART=y
60 # CONFIG_HW_RANDOM is not set
61 # CONFIG_HWMON is not set
62 # CONFIG_USB_SUPPORT is not set
65 CONFIG_LEDS_TRIGGERS=y
66 CONFIG_LEDS_TRIGGER_HEARTBEAT=y
67 # CONFIG_DNOTIFY is not set
68 # CONFIG_INOTIFY_USER is not set