# Default configuration for nios2-softmmu
CONFIG_NIOS2=y
CONFIG_SERIAL=y
CONFIG_ALTERA_TIMER=y
CONFIG_NIOS2_10M50=y