Tengo un miniPC con un procesador N95 en una distro de linux con Kodi, que eso te asegura decodificar AV1 por hardware. Creo que me costó unos 235€ en Amazon. También adquirí un N100 en Aliexpress por algo más de 160€. Son precios de 2023, ahora han bajado.
Sobre marcas, no te calientes mucho la cabeza porque suelen tener construcciones y calidades muy similares en precios bajos. Los míos son NiPoGi y TRIGKEY.