NextBSD: un kernel propio compatible con FreeBSD e integrado con Mach
NextBSD es un proyecto de sistema operativo de código abierto que combina un kernel propio, compatible con la ABI de FreeBSD, con un núcleo Mach integrado. Entre sus pilares figuran mecanismos Mach como mach_msg, puertos, derechos de puerto y un servidor de arranque, junto con extensiones de kernel
