MINIX es un sistema operativo de código abierto, disponible bajo licencia BSD, diseñado para ser flexible y seguro. Inicialmente concenbido como herramienta de estudio, en su versión actual (MINIX 3) tiene la meta de ser usable como un sistema operativo formal en computadoras de recursos limitados, sistemas embebidos y otros usos que requieran alta confiabilidad.
Es un sistema pequeño (menos de 6,000 líneas de código corriendo en modo kernel). Las partes que corren en modo usuario están divididas en pequeños módulos aislados uno de los otros. Esto permite, por ejemplo, que cada controlador de dispositivo se ejecute como un proceso separado del modo usuario, resultando en que una falla en dicho controlador no compromete el sistema completo. Además cuando el controlador falla puede ser reemplazado automáticamente sin intervención del usuario, sin reiniciar y sin afectar las aplicaciones en ejecución.