Davon gibt es sehr viele, such mal nach Mini-ITX oder Pico-ITX.
Da bekommst du für 150Euro schon brauchbares, aber ich muss dazu sagen das ich von den Dinger nicht all zuviel Ahnung habe. Die haben teilweise schwache CPUs bei denen ich mir vorstellen könnte das die probleme haben MPEG4 in Echtzeit zu konvertieren