At the beginning of the 2000s, there was a Mach on Top of POSIX port started by John Edwin Tobey. Status unknown. Ask tschwinge for the source code.

See also implementing hurd on top of another system.