| CONFIG_NIOS2=y |
| CONFIG_SYS_CONFIG_NAME="10m50_devboard" |
| CONFIG_DEFAULT_DEVICE_TREE="10m50_devboard" |
| CONFIG_FIT=y |
| CONFIG_OF_BOARD_SETUP=y |
| CONFIG_SYS_CONSOLE_INFO_QUIET=y |
| CONFIG_VERSION_VARIABLE=y |
| CONFIG_HUSH_PARSER=y |
| # CONFIG_AUTOBOOT is not set |
| 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_GPIO=y |
| # CONFIG_CMD_ITEST is not set |
| CONFIG_CMD_DHCP=y |
| # CONFIG_CMD_NFS is not set |
| CONFIG_CMD_MII=y |
| CONFIG_CMD_PING=y |
| CONFIG_NET_RANDOM_ETHADDR=y |
| CONFIG_DM_GPIO=y |
| CONFIG_ALTERA_PIO=y |
| CONFIG_MISC=y |
| CONFIG_ALTERA_SYSID=y |
| CONFIG_MTD=y |
| CONFIG_MTD_NOR_FLASH=y |
| CONFIG_ALTERA_QSPI=y |
| CONFIG_DM_ETH=y |
| CONFIG_ALTERA_TSE=y |
| CONFIG_DM_SERIAL=y |
| CONFIG_SYS_NS16550=y |
| CONFIG_TIMER=y |
| CONFIG_ALTERA_TIMER=y |
