NextBSD was a fork of FreeBSD that used a microkernel and components from Darwin. It was not intended to replace FreeBSD. That said, it looks like the project died well before it was ready for production use.