I am looking for recommendations of a quick easy lightweight linux flavor to live stream a local HD video/audio feed through HDMI to a big screen TV. Hoping for easy configuration, must not require human attention after power on. I setup a Raspberry Pi which worked as desired up until it didn't have...