NintendoDS: Kit de desarrollo (devkitpro.sh)
No sé si al final saldrá algo bueno de todo ésto, pero para quien lo quiera intentar aquí queda un bash script que lo hace todo sin apenas esfuerzo, devkitpro.sh (no es de cosecha propia, pero tampoco es sencillo de encontrar sin registro previo):






