Windows で Android ソース をダウンロードするには
Linux 環境で repo を使ってダウンロードするのが公式のやり方。VM上でやってみたが、Windows とファイル共有しようとしたらうまくいかなかったので、OESF で妥協した。
Linux環境で公式な感じでやるならこれ
Downloading the Source | Android Developers
GitHub 上から git clone するだけでできるのはこっち
OESF/OHA-Android-4.2_r1 · GitHub
僕の環境だと20分くらいかかった。サイズは8GB程度。
さいごに
ttp://www.adakoda.com/android/000118.html はなんか古い手順なのでアレ。
ttp://greety.sakura.ne.jp/redo/2012/02/windowsandroid.html を参考にしました。