On Thu, Sep 8, 2011 at 6:12 PM, Jerome BENOIT <g6299304p@rezozer.net> wrote: > > does anyone know why `www.kernel.org' can't be found ? The servers are probably still being rebuilt after the recent hack. You can get the latest kernel(s) from github.