Upstream debian ships the kernel source code in a separate package, see: https://salsa.debian.org/kernel-team/linux/-/blob/debian/latest/debian/templates/sourcebin.control.in?ref_type=heads We should do the same (low-priority).
Upstream debian ships the kernel source code in a separate package, see: https://salsa.debian.org/kernel-team/linux/-/blob/debian/latest/debian/templates/sourcebin.control.in?ref_type=heads
We should do the same (low-priority).