Re: [PATCH 00/13] microvm: add acpi support

[Gerd Hoffmann]

  Hi,

> Also, can you confirm that it builds without CONFIG_I440FX and
> CONFIG_Q35?  You probably need to add "imply ACPI" and possibly some
> '#include "config-devices.h"' and '#ifdef CONFIG_ACPI' here and there.

Hmm, is there some way to do this without modifying
default-configs/i386-softmmu.mak in the source tree?  So I can have two
build trees with different confugurations?  Also to reduce the risk that
I commit default-config changes by mistake?

thanks,
  Gerd