On 2/4/19 12:21 PM, Paolo Bonzini wrote: > 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).
OK, I'll respin. Thanks, Phil.
