Android app to control a TV though a Raspberry Pi using libcec