On Tue, Jul 30, 2019 at 06:04:56PM +0000, Jason Gunthorpe wrote: > Oh, can we make this into a non-user selectable option now? > > ie have the drivers that use the API select it? Sure, I'll throw in another patch for that.
On Tue, Jul 30, 2019 at 06:04:56PM +0000, Jason Gunthorpe wrote: > Oh, can we make this into a non-user selectable option now? > > ie have the drivers that use the API select it? Sure, I'll throw in another patch for that.
|