On Wed, Jan 03, 2024 at 11:49:12AM +0100, Andreas Beckmann wrote:
> How will it work in the future for the user that wants an out-of-tree module
> to get the right headers for his kernel?
Unclear. I don't see this as solvable with existing tools. You will
always need to get the current kernel and search if you can find headers
for it. We will make searching easier, but this needs more consultation
with apt.
You can now install headers + kernel, but this might not the one you
have after a reboot.
Bastian
--
Only a fool fights in a burning house.
-- Kank the Klingon, "Day of the Dove", stardate unknown
