ここ数日、http://www.kernel.org/サイトがメンテナンス状態となっている。
サーバ故障になって、新たな装置調達が出来ないのだろうか。