0
0
This will no doubt be an easy question for anyone who knows anything about Debian and Linux, but that apparently doesn't include me...
I need the header files for my kernel, namely 4.15.0-2-686-pae. But I can't find them anywhere in Debian's package repository. The only package resembling this is a "common" package in sid and that does not include all the headers.
Where can I find the headers for this kernel, and why does it seem like they aren't in the repository?
I should add that the kernel was installed from the testing repository originally.