On 26/02/25 14:22, Bastian Blank wrote:
case one can just add the Rust bits there. But I still think the Rust bits should be installed in /usr/lib [1] instead of /usr/src.There is no need to get picky, sorry.
No need to be sorry, this is the kind of feedback I am looking for. If you confirm you are fine with linux-headers-@abiname@@localversion@ installing binary files (including shared libraries) under /usr/src then that's what I'll do, and there will be no need for new packages. I had assumed this shouldn't be done (and I personally frown upon this, but this is of course matter of opinion). My assumption however can be wrong, and in the end my main interest is shipping these files in *some* kernel package. Which one is not that important to me.