Metropol

So I'm considering a blu-ray/dvd player with a usb port but naturally, like everything, it reufses to suppose MKV files which naturally all my HD material is in.

So what's the best way forwards with this? Is it possible to cleanly convert MKV into DivX / XVID / something else?