Released the latest edition (r50) of devkitPro for Raspberry Pi.

Please download and install from this page.

devkitPro for Raspberry Pi