config MIPS
    bool
    select SEMIHOSTING

config MIPS64
    bool
    select MIPS