Hola, yo ya probe alguna raspberry y tv box con libreelec y tampoco conseguí que me fuera fluido el 4k desde red, en concreto el h96 / 3 gb ram y gigabit ethernet, el otro no me acuerdo de la marca pero tenía 4 gb de ram y gigabit ethernet tambien, lo dicho, desde mi nas conectado todo por cable, libreelec y con estos Android tv aunque son superiores en hardware a la tv me fueron peor, en cuanto la raspberry creo que no reproduce 4k, almenos a mi no y la tarjeta de red es de 100 mb, igual configurando el config.txt... En todos los dispositivos mencionados puedes manejarlo con el mando de la tv. Si pruebas y consigues mejorar la reproducción 4k desde red has de contarnoslo.