Raspberry Pi port, piCore-15.0 is available!
you will need Flash Player 7 to display flash animations using any of the gtk1.2 binaries below (to my knowledge, any newer version would crash them).