Kodi perfecto como reproductor para archivos MKVs 4k de unos 40 GB (y seguro que mayores) pinchados en un disco USB tipo3 (OJO! Pinchado siempre en el puerto USB1 de la Tele.
Si te refieres a otras funcionalidades de Kodi como las de reproducción de contenidos cargando fuentes y toda la pesca ya no te podría decir pero en el foro leí allá por la página 384763 que muy bien