It should work, I mean it's still some effort for sure - but of course it would work for the GBA side of NooDS (or any GBA emulator for that matter), and the thumb instruction set for DS is pretty similar. All it's doing is compiling to PPC. And the design itself is pretty portable. The way I...