after messing around with several ideas about streaming mkv to my ps3 from my RPi, I compiled an appropriate version myself.
I installed all dependencies for ARM CPU and compiled PMS 1.90.2 Snapshot on my Raspberry Pi 2.
Since I found several threads where people were looking for this, I thought I'd share it:
If someone is interested in the process behind the curtains, just tell me and I'll shed some light...
FYI: Running PMS on a RPi2 with 4 cores and enabled multi-threading for ffmpeg, the server stutters with HD content. SD content is running smooth.