kernel.org 復活

日本時間の2011年9月8日からメンテナンス状態になっていた
kernel.orgがようやく復活しましたね。
ただし完全復活というわけではなく、
android.kernel.orgなどまだ復旧していないサーバもあるようです。
ここまで私が考えていたよりもかなり長く、約一ヶ月かかりましたが、
ボランティアで運営されているのかもしれないので、
もしそうならしょうがないですね。

とりあえずもうすぐ出るであろう
Linux Kernel 3.1の正式版リリースには間に合ったということで。