| CONFIG_NIOS2=y |
| CONFIG_SYS_CONFIG_NAME="nios2-generic" |
| CONFIG_DM_SERIAL=y |
| CONFIG_DM_GPIO=y |
| CONFIG_DEFAULT_DEVICE_TREE="3c120_devboard" |
| CONFIG_HUSH_PARSER=y |
| CONFIG_CMD_CPU=y |
| # CONFIG_CMD_BOOTD is not set |
| # CONFIG_CMD_IMLS is not set |
| # CONFIG_CMD_XIMG is not set |
| # CONFIG_CMD_FPGA is not set |
| # CONFIG_CMD_ITEST is not set |
| # CONFIG_CMD_SETEXPR is not set |
| CONFIG_CMD_DHCP=y |
| # CONFIG_CMD_NFS is not set |
| CONFIG_CMD_PING=y |
| CONFIG_NET_RANDOM_ETHADDR=y |
| CONFIG_ALTERA_PIO=y |
| CONFIG_MISC=y |
| CONFIG_ALTERA_SYSID=y |
| CONFIG_ALTERA_JTAG_UART=y |
| CONFIG_ALTERA_JTAG_UART_BYPASS=y |
| CONFIG_TIMER=y |
| CONFIG_ALTERA_TIMER=y |