xMach Operating System [1]xMach Operating System [1]xMach es un sistema operativo microkernel basado en 4.4BSD. Principalmente está enfocado a la seguridad (no como OpenBSD), portabilidad y flexibilidad.
El proyecto empezó con Joseph Mallett en Noviembre de 1999.