Does anyone in the community use SDL on DS?

At the moment the engine is hooking into SDL for window management and 2D rendering. Actually Dean gave me a JEDI-SDL patch for DS. I hope it also works with SDL_mixer as that is what I am using for sound.