No non riproducono DivX con risoluzioni maggiori di 720x576.
Per quello che serve a te guarda in Sorgenti HDTV
In quella sezione troverai players come il Popcorn A-100 che potrebbero fare al caso tuo.
Se dai una letta troverai anche altri prodotti paragonabili al Popcorn A-100, ma da quello che ricordo non dovrebbero ancora esistere DVDRecorder che sono in grado di riprodurre DivX o Xvid o H264 e mkv, però potrei sbagliarmi e quindi ti conviene controllare bene.
IMPIANTO: TV: Samsung UE40C8000 - Music server: CocktailAudio X30 - BRD: Oppo BDP-83 SE - Decoder: Zgemma H2H Combo - Media Player: HiMedia Q5 4K3D - Ampli 2ch: Creek Destiny 2 - Ampli mch: Marantz SR7002 - Diffusori Front: Tannoy Revolution Signature DC6 Center: DC4-LCR Rear: IL Arbour 3.06 Sub: B&W ASW608 - NAS: Synology DS415+ e Synology DS411slim