On Tue, 2017-02-28 at 14:52 +0100, Vincent Lefevre wrote: > On 2017-02-28 13:44:46 +0000, Luca Boccassi wrote: > > The kernel headers packages have the name versioned after the ABI > > version. DKMS understanding is that as long as the package name (and > > thus the ABI version) does not change, then there is no need to rebuild > > as the ABI is (assumed to be) compatible. When the headers packages > > change name, then DKMS automatically rebuilds. > > > > If the ABI change is not compatible but the package name does not > > change, DKMS has no way to figure out that it needs to rebuild. > > Then, isn't this a kernel bug? I mean, the ABI has changed, so that > the number should have changed to 4.9.0-3 instead of remaining at > 4.9.0-2.
It's within the kernel team prerogatives to decide what ABI to keep stable and what not. I assume that no free software kernel module was impacted, so it was decided not to bump the ABI version. We cannot expect the kernel team to do additional work to specifically support proprietary modules. Kind regards, Luca Boccassi
signature.asc
Description: This is a digitally signed message part

