config MIPS
    bool
    imply SEMIHOSTING if TCG

config MIPS64
    bool
    select MIPS