config NIOS2
    bool
    select SEMIHOSTING
