On 09/12/19 11:56, Philippe Mathieu-Daudé wrote: > > I think so, but with PC_I440FX -> PCI_I440FX ;) > > It would be cleaner to pass the CONFIG_XEN_PCI_PASSTHROUGH variable to > Kconfig and use it (use 'depends on XEN_PCI_PASSTHROUGH'). > > This can be another step, so if this series looks OK to you so far, do > you mind fixing this and the comment in the previous patch noticed by > Thomas: > > - Extract it into a new file, 'hw/pci-host/igd_pt.c'. > + Extract it into a new file, 'hw/pci-host/xen_igd_pt.c'.
Sure. Paolo
