config XTENSA
    bool
    select SEMIHOSTING