General tools for the devkitARM toolchain.
devkitARM is a homebrew toolchain for 3DS, DS, GBA, GP32 and NDS.