On Thu, Mar 19, 2020 at 09:49:55AM +0100, Paolo Bonzini wrote: > On 19/03/20 09:01, Gerd Hoffmann wrote: > > I know that not supporting ACPI in microvm is intentional. If you still > > don't want ACPI this is perfectly fine, you can use the usual -no-acpi > > switch to toggle ACPI support. > > Could we change -no-acpi into a "-machine acpi=..." property? Then it > can have type OnOffAuto and we can decide whether to enable it by > default or not for microvm.
For all machine types not just microvm I guess? > 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. Didn't try that yet, will do. cheers, Gerd
