There is an ARM integer OGG codec, done by the Ogg team themselves. However, they're not releasing it (or havn't so far) as open source (they don't need to, as the original creators of the code - unlike if anyone else had to do it).

This has been around for ~6 months as far as I know, and runs just fine on a 74MHz cirrus cpu, so definitely no problem on a strongarm.

Hugo