I fixed some problems and put together an RPM with the free flash
player. It's not going to be able to play 100% of flash content, but
it's better than nothing.
If we really want _everything_ to work I suppose we need to look at
using the SWF libraries which are part of RealPlayer. We already know
how to use the RealPlayer libraries for audio decoding, after all...