On 04/02/19 12:05, Philippe Mathieu-Daudé wrote: >> Scratch that. I think you have to keep CONFIG_MIPSSIM=y enabled in the >> default-configs, don't you? > I guess I misunderstood --without-default-devices with --no-defaults, > where you'd manually select the machines you want.
Note that machines have to be included in default-configs/ even for --with-default-devices (which is the default). Paolo
