You could spend a bunch of money on a dedicated media streamer, or you could put one together with a Raspberry Pi, an SD card, and an HDMI cable.
