Hi Salvatore,
There is our documentation at https://kernel-team.pages.debian.net/kernel-handbook/ch-common-tasks.html#s4.2.2 . But would you be willing to test (but be aware, unsigned!) test packages fetched by https://people.debian.org ?
I am not sure I am able to do that :)
The first thing to do would be to perform the check you suggested yesterday. Am I wrong or do I have to rebuild a whole kernel from the source code? In this case would it be possible to install the source code elsewhere than on my (relatively small) SSD ?
Excuse me for my maybe basic questions, I've never done this before, and thanks in advance for your help !
Best regards.
-- Guy