Ever since Broadcom failed to deliver with the Raspberry Pi, I've been looking for a cheap Android HDMI solution. Anyone have experience with Android HDMI Dongles?

Have a read through r/mk808 for some helpful information on Android dongle's.

I have an mk808. Wouldn't trade it for anything, except for the next-gen model, the quad-core Cortex a9 mk908. They're more expensive than a Pi, but they keep coming down in price. At the beginning of the summer the mk908 was $100 and now it's down to $ 75 on average. Expect it to come down to about $60-65 in time to get one for Christmas.

These devices have their shortcomings, but they get a little better with every new generation. For instance, WiFi on the 808 was sometimes unpredictable but has improved on the 908, at least from what I have read.