CONFIG_NIOS2=y
  CONFIG_SYS_CONFIG_NAME="10m50_devboard"

  CONFIG_ENV_SIZE=0x10000

  CONFIG_ENV_SECT_SIZE=0x10000

  CONFIG_DM_GPIO=y
  CONFIG_NR_DRAM_BANKS=1

  CONFIG_FIT=y

  CONFIG_SYS_CONSOLE_INFO_QUIET=y

  CONFIG_VERSION_VARIABLE=y

  CONFIG_DISPLAY_BOARDINFO_LATE=y

  CONFIG_HUSH_PARSER=y

  # CONFIG_AUTOBOOT is not set

  CONFIG_CMD_CPU=y
  # CONFIG_CMD_BOOTD is not set

  # CONFIG_CMD_XIMG 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_DEFAULT_DEVICE_TREE="10m50_devboard"

  CONFIG_ENV_IS_IN_FLASH=y

  CONFIG_ENV_ADDR=0xF4080000

  CONFIG_NET_RANDOM_ETHADDR=y
  CONFIG_ALTERA_PIO=y
  CONFIG_MISC=y
  CONFIG_ALTERA_SYSID=y

  CONFIG_MTD=y

  CONFIG_DM_MTD=y

  CONFIG_MTD_NOR_FLASH=y

  CONFIG_ALTERA_QSPI=y

  CONFIG_PHY_MARVELL=y

  CONFIG_DM_ETH=y

  CONFIG_PHY_GIGE=y

  CONFIG_ALTERA_TSE=y

  CONFIG_DM_SERIAL=y

  CONFIG_SYS_NS16550=y

  CONFIG_TIMER=y
  CONFIG_ALTERA_TIMER=y