On Wed, 2015-12-09 at 13:51 +0100, Andrea Bolognani wrote:
> On Wed, 2015-12-02 at 18:17 +0100, Andrea Bolognani wrote:
> > This series is my attempt at fixing
> >
> > https://bugzilla.redhat.com/show_bug.cgi?id=1272300
> >
> [...]
> >
> > The problem being solved is that, when using VFIO,
On Wed, 2015-12-02 at 18:17 +0100, Andrea Bolognani wrote:
> This series is my attempt at fixing
>
> https://bugzilla.redhat.com/show_bug.cgi?id=1272300
>
[...]
>
> The problem being solved is that, when using VFIO, IOMMU group
> ownership can't be shared, eg. two devices that are in the
>
On Thu, 2015-12-10 at 09:06 +0100, Andrea Bolognani wrote:
> On Wed, 2015-12-09 at 08:09 -0700, Alex Williamson wrote:
> > > I was under the impression that what the current series
> > > does, eg. sharing devices in the same IOMMU group between
> > > the host driver and vfio-pci is safe as long as
On Wed, 2015-12-09 at 08:09 -0700, Alex Williamson wrote:
> > I was under the impression that what the current series
> > does, eg. sharing devices in the same IOMMU group between
> > the host driver and vfio-pci is safe as long as no guest is
> > using them at the same time, and that devices
This series is my attempt at fixing
https://bugzilla.redhat.com/show_bug.cgi?id=1272300
In its current state, it's missing test cases covering the new
functionality[1] and it's known not to handle properly one
situation[2], but I'd like to get some feedback on my current
work and now that I