Hola gracias por contestar, mi sistema operativo del pc conectado por hdmi es windows 10 , luego en otra sala tengo otro pc con dos sistemas operativos windows 7 y tambien tengo centos server 7.1 sin gui , que mi idea es hacer un servidor para compartir archivos.
en windows 10 el reproductor que suelo usar es Media Player Classic , me venia con los codes k-lite.
Y el movil seria un lg g2 con Android.

Entonces cual me recomiendas?
PD: voy a buscar que es kodi , que estoy perdido.