FUNAI televisions (often sold under the Symphonic, Magnavox, Sanyo, or Philips license in some regions) run on various operating systems depending on the model year, including Linux-based Smart TV platforms , Roku TV , or basic non-smart firmware .