El proyecto
Hacia dónde vamos y por qué.
Misión
Un sistema operativo que sigue funcionando cuando sus partes fallan: aislado, autorreparable y lo bastante pequeño para entenderlo y auditarlo.
Visión
Que la resiliencia frente a fallos sea la norma en servidores, en las aulas y, con el tiempo, en el escritorio.
Valores
Lo que no negociamos.
Fiabilidad medible
Si no está cubierto por la integración continua, no está garantizado.
Pequeño y legible
Código que una persona puede leer y entender, empezando por el núcleo.
Seguro por diseño
Aislamiento entre componentes, memoria no ejecutable y auditorías continuas.
Transparencia
Decisiones documentadas, estado real de cada función y nada de promesas vacías.
Respeto al legado
Construimos sobre MINIX 3 y el trabajo de Andrew S. Tanenbaum y su equipo, y lo reconocemos.
Hoja de ruta
Paso a paso.
Hecho en 2026
- Port a amd64: SMP hasta 32 CPUs, arranque híbrido UEFI/BIOS, espacio de usuario de 128 TB
- MFS v4 con journaling, atributos extendidos y ACL; ext4, FAT, exFAT y tmpfs
- Recuperación y compresión de memoria; mapeos compartidos de ficheros y anónimos
- POSIX: llamadas *at(), locks, control de trabajos, colas de mensajes, semáforos, E/S asíncrona, kqueue
- Hilos de tiempo real: SCHED_FIFO/RR, herencia y techo de prioridad, afinidad de CPU, cancelación
- Endurecimiento: SMEP/SMAP, protector de pila, FORTIFY, ASLR, contraseñas bcrypt; OpenSSH y certificados TLS
- Toolchain LLVM/clang 22; TCP con escalado de ventana, SACK y timestamps
- CI con QEMU/KVM en cada pull request; la Open POSIX Test Suite
Ahora · primera versión
- Integrar devel en master y llevar el nuevo nombre al sistema
- Una ISO con escritorio usable: Wayland, LXQt y Qt 6
- Imágenes de versión, sumas de control y notas de versión al día
Siguiente
- Ejecutables independientes de posición (PIE) y RELRO; endurecer los servicios del sistema
- Un depurador y paquetes binarios (pkgin)
- Swap a disco: las herramientas para activarlo (la parte del gestor de memoria está hecha)
- Validación en hardware físico de referencia
- Demostración pública de resiliencia y track educativo
Después
- Escritorio Wayland estable
- Ampliar la pila USB: teclados, ratones y más
- Actualización en caliente (live update) en amd64
- [OBJETIVOS A DEFINIR]
Actualizada en noviembre de 2026. Cada punto enlaza al trabajo en el repositorio cuando se integra.
Origen
De MINIX 3 a Ixolo.
MINIX nació en 1987 como sistema docente, escrito por Andrew S. Tanenbaum para acompañar su libro Operating Systems: Design and Implementation. Fue un microkernel desde el principio. MINIX 3 (2005) lo orientó a la fiabilidad: los drivers salieron del núcleo a procesos aislados y un Reincarnation Server los reinicia cuando fallan. Siguieron años de investigación en la Vrije Universiteit Amsterdam, financiados con becas de investigación neerlandesas y europeas.
La financiación terminó hacia 2016. La última versión estable original es la 3.3.0 (2014), la última candidata la 3.4.0rc6 (2017) y el último commit es de 2018. Ixolo parte de ese trabajo y lo lleva a hardware moderno: port a x86-64, multiprocesador, UEFI, nuevos drivers y sistemas de ficheros, una toolchain LLVM moderna, trabajo de conformidad POSIX y un endurecimiento sistemático.
Ixolo es un proyecto independiente mantenido por David Montero. No está afiliado a la Vrije Universiteit Amsterdam, al proyecto MINIX 3 ni a la Stichting MINIX Research Foundation, ni cuenta con su respaldo. MINIX es © Vrije Universiteit Amsterdam, con licencia estilo BSD.
- 1987
MINIX 1, sistema docente
- 1997
MINIX 2, orientado a POSIX
- 2000
Publicado con licencia estilo BSD
- 2005
MINIX 3: drivers en modo usuario y autorreparación
- 2012
MINIX 3.2: espacio de usuario NetBSD y clang
- 2014
MINIX 3.3: primera versión para ARM, última estable original
- 2017
MINIX 3.4.0rc6, última versión candidata original
- 2026
Ixolo: amd64, SMP, UEFI