On 12/7/20 12:27 PM, Claudio Fontana wrote: > On 12/7/20 12:26 PM, Paolo Bonzini wrote: >> On 07/12/20 12:19, Claudio Fontana wrote: >>> As in Subject, >>> >>> am I understanding correctly that the one or the other is redundant? >>> >>> Should we keep only one of them?
CONFIG_SOFTMMU is poisoned while CONFIG_USER_ONLY isn't. I doubt this is a design decision, probably an unfinished transition? Anyhow we ended using CONFIG_USER_ONLY where CONFIG_SOFTMMU triggers a poisoned error. >> >> In the code it's not strictly necessary. However in both Makefiles and >> meson.build it made/makes things a bit clearer. >> >> Paolo >> > > K.. thanks a lot, maybe we should document all of this stuff in docs/devel/... > > Ciao, > > Claudio >
