Those are running mainly on Google TV. Tizen or webOS are also common but are not based on Android.