Re: [PATCH char-misc-next 1/1] misc: mic: remove the MIC drivers

2020-10-28 Thread Greg Kroah-Hartman
On Tue, Oct 27, 2020 at 08:14:15PM -0700, Sudeep Dutt wrote: > This patch removes the MIC drivers from the kernel tree > since the corresponding devices have been discontinued. Does "discontinued" mean "never shipped a device so no one has access to this hardware anymore", or does it mean "we stop

Re: [PATCH char-misc-next 1/1] misc: mic: remove the MIC drivers

2020-10-28 Thread Dutt, Sudeep
On Wed, 2020-10-28 at 06:54 +0100, Greg Kroah-Hartman wrote: > On Tue, Oct 27, 2020 at 08:14:15PM -0700, Sudeep Dutt wrote: > > This patch removes the MIC drivers from the kernel tree > > since the corresponding devices have been discontinued. > > Does "discontinued" mean "never shipped a device s

Re: [PATCH char-misc-next 1/1] misc: mic: remove the MIC drivers

2020-10-28 Thread Vinod Koul
On 28-10-20, 06:54, Greg Kroah-Hartman wrote: > On Tue, Oct 27, 2020 at 08:14:15PM -0700, Sudeep Dutt wrote: > > This patch removes the MIC drivers from the kernel tree > > since the corresponding devices have been discontinued. > > Does "discontinued" mean "never shipped a device so no one has ac

Re: [PATCH char-misc-next 1/1] misc: mic: remove the MIC drivers

2020-10-28 Thread gre...@linuxfoundation.org
On Wed, Oct 28, 2020 at 05:22:01PM +, Dutt, Sudeep wrote: > On Wed, 2020-10-28 at 06:54 +0100, Greg Kroah-Hartman wrote: > > On Tue, Oct 27, 2020 at 08:14:15PM -0700, Sudeep Dutt wrote: > > > This patch removes the MIC drivers from the kernel tree > > > since the corresponding devices have been