1# Default configuration for nios2-softmmu 2 3CONFIG_NIOS2=y 4CONFIG_SERIAL=y 5CONFIG_PTIMER=y 6CONFIG_ALTERA_TIMER=y 7