TELEVIZOARE, Sistem de operare TV: Linux