On Thu, 2018-05-03 at 10:41 +0100, Marc Zyngier wrote:
> I'm talking about making the whole workaround dependent on the USB
> controller being behind an iommu. No iommu, no workaround (because it
> is
> likely that there is no problem in that case).
>
My server doesn't have an IOMMU at all and i
On Thu, 2018-04-12 at 07:20 +0200, Ard Biesheuvel wrote:
> On 12 April 2018 at 07:05, Bockholdt Arne
> wrote:
> >
> > On Wed, 2018-04-11 at 15:02 +0100, Marc Zyngier wrote:
> >
> > On Wed, 11 Apr 2018 14:11:52 +0100,
> > Bockholdt Arne wrote:
> >
&
On Thu, 2018-04-12 at 07:20 +0200, Ard Biesheuvel wrote:
> On 12 April 2018 at 07:05, Bockholdt Arne
> wrote:
> >
> > On Wed, 2018-04-11 at 15:02 +0100, Marc Zyngier wrote:
> >
> > On Wed, 11 Apr 2018 14:11:52 +0100,
> > Bockholdt Arne wrote:
> >
&
On Thu, 2018-03-01 at 17:37 +, Marc Zyngier wrote:
> On 01/03/18 08:01, Bockholdt Arne wrote:
> >
> > On Thu, 2018-02-15 at 19:29 +, Marc Zyngier wrote:
> > > [+ Ard, who helped me chasing the initial issue]
> > >
> > > On 15/02/18 0
On Thu, 2018-02-15 at 19:29 +, Marc Zyngier wrote:
> [+ Ard, who helped me chasing the initial issue]
>
> On 15/02/18 06:43, Bockholdt Arne wrote:
> > Hi all,
> >
> > on our Intel Atom C2578 server with a SuperMicro A1SAi board and a
> > Renesas uPD7
