Yep, kernel.org has been down for awhile, talked about here[0]. I hadn't realized how many of our Debian boxes used the kernel.org mirror. [0] http://news.ycom

Yep, kernel.org has been down for awhile, talked about here[0]. I hadn't realized how many of our Debian boxes used the kernel.org mirror. [0] http://news.ycombinator.com/item?id=2947578 http://news.ycombinator.com/item?id=2947578