Debian ist bekannterweise eine solide Distribution, über die man eigentlich kaum meckern kann. Aber manchmal findet man doch was, wie zum Beispiel einen steinalten, gut abgehangenen Kernel, der kein fstrim in der Form kann, wie ich es brauche. Also muss ein neuer Kernel her. Da ich ansonsten Gentoo verwende, lag deren Kernel sehr nahe… Okay, erwischt: Ich war zu faul um die original Sourcen herunterzuladen und habe mir einfach den gepatchten Source einer Gentoo-Kiste per SCP rübergeschoben.

Solltest du mein lieber Leser das Bedürfnis haben, das Gentoo-Patchset zu versuchen, geht das natürlich auch: Du musst dazu nur die Sourcen von kernel.org herunterladen, sie entpacken und das Gentoo Patchset hinzufügen. Für alle, die eine kleine Gedankenstütze zum Thema Patches brauchen, es funktioniert durch den Aufruf von ‚patch -p0 < path/to/patch.txt‘ im Verzeichnis des Kernels.

Sobald nun die gepatchten Sources vorliegen, geht es ans Konfigurieren des Kernels. Die einfache Möglichkeit besteht darin, die Debian Kernel Config aus /boot zu kopieren, da diese die Config nicht in /proc/config oder /proc/config.gz bereitstellen.

cp /boot/config-4.19.0-12-amd64 /usr/src/linux-5.9.2-gentoo/.config

Bitte kopiert dieses Kommando nicht blind, da es sich um die aktuelle Version von heute handelt. Passe den Aufruf daher bitte an dein System und deine Gegebenheiten an!

Nachdem nun unsere .config von einem älteren Kernel stammt, muss sie erst angepasst werden. Glücklicherweise bringt das der Kernel mit ‚make oldconfig‘ mit. Nach Absetzen dieses Kommandos bekommen wir die Fragen über neue Kernel-Optionen gestellt. Ich empfehle jedem Google zu fragen, sobald man nicht weiß, was die Optionen bedeuten – aber meist sind die vorgeschlagenen Werte in Ordnung. Sollte man sich vertippt haben kann man einfach die alte Debian-Config erneut kopieren und von Vorne beginnen.

Solltest du zu den Leuten gehören, die ein bisschen Ahnung vom Linux Kernel haben, steht einem gepflegten ‚make menuconfig‘ nichts im Wege, um den Kernel an die Hardware anzupassen und nicht gebrauchte Treiber rauszuwerfen. Man muss dabei absolut nicht schüchtern sein, da jede Menge nicht verwendete Treiber im Kernel im Standard-Debian Kernel mitgebaut werden. Der schlimmste Fall ist, dass der Kernel nicht booted und man auf den Alten zurück wechseln muss.

Jetzt ist es endlich an der Zeit, den Kernel nach Debian-Art zu bauen: Aber keine Angst, man muss dafür weder ein Jungfrauenopfer bringen oder einen Doktortitel haben: make deb-pkg übernimmt das Bauen der Pakete. Sollte man noch etwas Geschwindigkeit wollen, empfiehlt sich „make deb-pkg -j6“ wobei die 6 hier die Anzahl der CPU Kernel sein sollte. Bitte entsprechend anpassen!

Das Ergebnis des Bauens – sofern Erfolgreich – sind einige Debian-Pakete in /usr/src, die wir mit folgendem Befehl installieren:

dpkg -i ../*.deb

Die Stunde der Wahrheit ist dann gekommen, sobald man den PC rebooted. Sollte man nicht viel geändert haben und bei make oldconfig die Standardantworten gewählt haben, stehen die Chancen sehr gut, dass die Kiste booted und man einen neuen Kernel hat. Wenn nicht, dann ist das auch kein Weltuntergang, da man wie schon erwähnt den alten Kernel im Grub auswählen kann und damit wieder ins System kommt.