I just want an actual port of RealPlayer for ARMEL/Debian devices, instead of some half-baked plugins that barely work.