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 … Weiterlesen von "Kernel.org down. Wo gibt es einen Kernel?"