Kernel.org Down, Looking for source code

[SpeedyTurtle]

Hey guys I'm brand new and was trying to download the source code on my Linux system but ran into an issue. Kernel.org got hacked a few days ago and still working out some problems. I need to download the source code so I can try my hand at developing but does anyone know where I can possibly get it? Thanks in advance

Running Ubuntu 11.04
Working on the Samsung Prevail Froyo