Kernel.org down. Wo gibt es einen Kernel?

Ausser Betrieb
Ausser Betrieb

kernel.org ist anscheinend schon seit einigen Tagen nicht mehr erreichbar. Auf der Webseite steht bereits den ganzen Tag über «Down for Maintenance». Ich vermute mal dies hängt mit dem Einbruch zusammen welcher Anfang September entdeckt wurde. Dumm nur, wenn man gerade jetzt – am Wochenende hat man ja Zeit um etwas herumzukompilieren – auf einen Kernel angewiesen ist.

Da leider auch alle Mirrors von kernel.org down sind, muss man auf Alternativen ausweichen. Eine dieser Alternativen heisst Gentoo Mirror. Da Gentoo eine Metadistribution ist welche alles aus den Quellen erzeugt, kann man – wenn man weiss wo – einige der letzten Vanilla Kernels herunterladen. Bestimmt bietet sich diese Möglichkeit auch bei anderen Distributionen, bei Gentoo weiss ich aber zumindest wo man die Dateien findet 😀

Aus diesem Grund eine Liste von Links zu den Kernelquellen: