Digital's research group built a pilot of VMS running on Mach but never took it to production.   Having been written in the proprietary BLISS language, it would have been far too difficult to make the port.

-Rich