On 10/9/24 1:50 PM, Andrei Borzenkov wrote:
Yes. Convince NVIDIA to allow shipping of the compiled binary drivers
which are properly packaged and tracked. Anything else is not really
manageable.

Let's put asideĀ  "it's not my problem, it is a NVIDIA problem" for a minute.
What about purge-kernels ? It already knows which kernel to purge.
It could be extended to remove unneeded modules.
Accumulating GBs of obsolete modules in the root partition is not great.