> Mach IPC emulation has been done before by NeXT
This is a different work: NeXT had the sources of their userland libraries. Rebuilding them with calls to a userland daemon instead of system calls was an option.
Here, the work is about binary compatibility. Rebuilding a system library is not possible, so the Mach IPC API must be implemented in the NetBSD kernel, there is no alternative.