# Default configuration for nios2-softmmu CONFIG_SEMIHOSTING=y # Boards: # CONFIG_NIOS2_10M50=y CONFIG_NIOS2_GENERIC_NOMMU=y