我正在寻找 Android 4.1（果冻豆）源代码。在互联网上有很多博客提到源代码已经发布。但我不知道在哪里。
我在这里查看http://source.android.com/，但它显示的是 Android 4.0 的源代码。我下载了整个 repo，但无法罚款 4.1 分支。我在这里错过了什么吗？
谁能帮我找到源代码？
编辑
到目前为止，source.android.com 没有使用最新的下载说明进行更新。如果我使用“Landervdb”建议的命令，那么它可以工作。我还为 Android 源代码找到了更多资源。这些在下面给出。
Androidxref.com
github.com
有关更多信息，您还可以查看Android jelly bean source code上的帖子。
我目前无法访问可以对其进行测试的 linux 机器，但我可以在 AOSP 网站上看到 Jelly Bean 的清单。您应该能够通过发出以下命令来下载源代码：
repo init -u https://android.googlesource.com/platform/manifest -b android-4.1.1_r3
repo sync
更详细的描述请参考http://source.android.com/source/downloading.html。该文档尚未针对 Jelly Bean 进行更新，但应该可以使用，只需在适当的地方替换版本号即可。
Android 4.1 已经可以通过
repo init -u https://android.googlesource.com/platform/manifest -b android-4.1.1_r1