unfortunately it's not that simple. basically the DS has two CPUs, a main one (arm9) and a secondary one (arm7) in DS mode. the arm7 has access to all the sound hardware and the arm9 does not, so usually only menial tasks are relegated to it, such as playing sound and such. the thing is, in portal I use it to run my physics engine ! so not only can it not really spare the cpu power to decode any kind compressed of sound format, it's actually got very, very little RAM left available (I think in this latest version it has like 4KB of ram left out of 96KB). so I can't add any kind of code to decode stuff there, and I can't very well decode it on the arm9 either because, well, it has to run the game so it's pretty taxed itself already. so essentially the only solution would be to use RAW format sounds (which is what I did for the couple SFX I threw in there), but since they're uncompressed, they take insane amounts of RAM that I just don't have right now.
so that's why there's no music of yet; I still have to think about how I might get that to work. but mp3 is pretty much out completely of the picture at this point.
also I just realized that I'd forgotten to switch to higher res textures before releasing.... I still have like 100KB of vram left, so I could get the doors and such to look much nicer, but I guess it's too late now.