well.. you can get them from here http://php.webtutor.pl/en/2011/09/05/kernel-org-hacked-how-to-get-android-repo/
On Tue, Sep 6, 2011 at 11:18 PM, Franky <[email protected]> wrote: > Nope, all repositories on kernel.org are currently down. > > Franky > > On Sep 6, 1:21 pm, Dennis Gabler <[email protected]> wrote: > > I am trying to get the kernel sources but can't even get curl to grab > > repo. > > > > Using: > > > > | curlhttps://android.git.kernel.org/repo> ~/bin/repo > > > > just hangs and times out. Is the server up? > > > > Thanks, > > Dennis > > -- > unsubscribe: [email protected] > website: http://groups.google.com/group/android-kernel > -- unsubscribe: [email protected] website: http://groups.google.com/group/android-kernel
