On 16/03/20 13:00, Philippe Mathieu-Daudé wrote: > diff --git a/default-configs/mips-linux-user-common.mak > b/default-configs/mips-linux-user-common.mak > new file mode 100644 > index 0000000000..04947706e8 > --- /dev/null > +++ b/default-configs/mips-linux-user-common.mak > @@ -0,0 +1,4 @@ > +# Common mips*-linux-user CONFIG defines > + > +# CONFIG_SEMIHOSTING is always required on this architecture > +CONFIG_SEMIHOSTING=y
If it is always required, it should be select-ed. Same for patch 10. Paolo
