Electrocasnice, Sistem de operare TV: Linux