On 14/05/2015 14:00, Christoffer Dall wrote:
> So, getting back to my original question.  Is the point then that UEFI
> must assume (from ACPI/DT) the cache-coherency properties of the PCI
> controller which exists in hardware on the system you're running on,
> even for the virtual PCI bus because that will be the semantics for
> assigned devices?
> 
> And in that case, we have no way to distinguish between passthrough
> devices and virtual devices plugged into the virtual PCI bus?

Well, we could use the subsystem id.  But it's a hack, and may cause
incompatibilities with some drivers.  Michael, any ideas?

> What about the idea of having two virtual PCI buses on your system where
> one is always cache-coherent and uses for virtual devices, and the other
> is whatever the hardware is and used for passthrough devices?

I think that was rejected before.

Paolo
_______________________________________________
kvmarm mailing list
kvmarm@lists.cs.columbia.edu
https://lists.cs.columbia.edu/mailman/listinfo/kvmarm

Reply via email to