The dongle is powered by an ODROID-W, a USB hub, and Raspbian.

Its not pretty, but since its hidden behind the TV, it shouldnt really matter.

How to Create a Cheap Linux Dongle for Your TV| Node