致命：无法查找android.kernel.org（端口9418）（名称或服务未知）

Question

repo sync失败，显示以下消息：

repo init -u git://android.kernel.org/platform/manifest.git
   Getting repo ...
   from git://android.kernel.org/tools/repo.git
   fatal: Unable to look up android.kernel.org (port 9418) (Name or service not known)

我知道kernel.org已被黑客入侵，而来源现在位于http://www.github.com/android的github下，但我已在上面报告了消息

任何人都可以帮助我？

Answer 1

整个kernel.org因维护而停机。我希望它能尽快启动并运行。

Answer 2

我找到了如何从omapzoom.org mirror获取来源的说明。它对我有用。