Yo voto por la Raspberry Pi 4 de 4gb, que con la fuente de alimentación original dicen q mueve el 4k. Yo soy un fan de ese cacharro. La mayoría está en código abierto, y con el simple cambio de tarjeta SD lo conviertes en ordenador, consola o kodi