A while back I heard that someone had ported NetBSD to the mach
microkernel. Did I hear correctly? If so, who did it, & is it "current"?

I'm asking as mkLinux, Linux on the Mach microkernel running on a PowerPC,
has come out in a Developper's release. Us mac68k people would like to get
NetBSD running on the microkernel too.

Take care,

Bill