I'm a total beginner and I just got a new Lenovo 7i Pro with Debian Trixie Stable. I'm running into some audio problems and found some steps to fix them. However, I've gotten stuck on step 3, which asks for the root directory of the Linux kernel source. Could someone explain where I can find that?
1 Answer
The kernel source code usually goes in `/usr/src`. If you installed a pre-compiled kernel from Debian's repository, then you likely don't have the source code there. You'll need to download the source code from kernel.org as mentioned in step 2, extract it to `/usr/src`, add any necessary patches, and then manually configure, compile, and install the kernel. It’s a bit advanced, but Debian has a wiki page on rebuilding the kernel with patches, which can guide you through it. Just keep in mind it's not exactly a noob-friendly task!
Oh, I see! I totally misunderstood it at first. I was thinking I just needed to get the 6.17.8 kernel, so I backported it instead. This helps a lot in understanding what I'm getting into. I'm going to try it (after making a backup, of course). My laptop's speakers won't fix themselves, so I guess I have to get my hands dirty! The kernel configuration options in step 4 look daunting, though... I’ll definitely check out the Debian kernel rebuild page you mentioned.