Медиаплеер под 4К видео?

1. ODROID-C2 (или ASUS TinkerBoard), на борту LibeeElec (или Debian с Kodi) и подключенный по USB 2.5" HDD необходимого обьема.

2. HP microserver (или ODROID-HC1) c установленным Plex media server, а к телевизору опять таки C2 в качестве клиента для plex подгружающего контент уже по сети.

Еще один параметр не указан - размер библиотеки.
Если макс 4Тб, то диск в коробок, а коробок по USB к медиаприставке- не поверишь, хватит даже USB2 - таких приставок пруд пруди от 3кр...
Топовая приставка Nvidia Shield - кушает все форматы в том числе и 300мбитные потоки и HEVC10 и HDR готовый выводит, т.е. 4К-телик любой покатит. Но и ценник 13500.
Или делай самосбор, например на j4105 - у Asrock есть мать mini-ITX - таких материнок по пальцам одной руки посчитать, у которых HDMI 4K 60Hz, HEVC 10-bit, VP9 10 bit в комплекте.
4 SATA3
4 USB 3.1 Gen1
7.1-канальный HD-кодек
Правда траблы - только WIN10 принимает. Линухы не пробовал.