On 26/10/19 16:55, Philippe Mathieu-Daudé wrote: > In the patch 'hw/i386: Introduce the microvm machine type' > Sergio uses gsi_handler(), so you need to drop 'hw/i386/pc: > Reduce gsi_handler scope' to keep microvm building.
Indeed, and I also have patches on top to move those out of pc.c (otherwise you cannot build CONFIG_MICROVM without either i440fx or q35). Paolo