I read somewhere that the 3DS uses Motion JPEG for video (capped at 30FPS) and ADPCM for audio. Not sure if it is helpful.
Regarding mods, I probably missed it but do you know where is the source with the additional commits so I can compile myself?
Thanks for the port. Looks great so far, just...