Notas de la versión

Sin publicar — Ixolo [VERSION]

Resumen

Ixolo es un fork de MINIX 3 que funciona en x86 de 64 bits. El último código de MINIX original es de 2018 y funcionaba en x86 de 32 bits y en ARM. El fork portó el núcleo a amd64 y después añadió soporte multiprocesador, un sistema de memoria virtual renovado, sistemas de ficheros nuevos y ampliados, almacenamiento NVMe y USB, una pila de red más reciente, buena parte de las interfaces POSIX de tiempo real y de hilos, endurecimiento de seguridad y una toolchain actual (LLVM/clang 22). El diseño de microkernel no cambia: drivers y servidores siguen siendo procesos de usuario aislados, y un driver que falla se sigue reiniciando.

Lo marcado como experimental funciona, pero es opcional, está incompleto o no lo cubren las pruebas automáticas.

Plataforma y arranque

El núcleo amd64 arranca hasta el login (mayo de 2026, en master).
Una sola ISO híbrida arranca con firmware BIOS y UEFI. En UEFI usa GRUB, Multiboot2 y el framebuffer GOP como consola de texto. Mira el diseño del arranque UEFI. Se arregló la generación de la imagen para GRUB 2.16, que había dejado la ISO, sin avisar, como solo BIOS (#483).
AHCI o IDE se detectan al arrancar. El cargador BIOS lee MFS versión 4 (#280). Las imágenes de disco duro arrancan con el APIC por defecto (#286).
Interrupciones MSI-X (#186), entropía de RDRAND al arrancar (#240), calibración robusta del temporizador (#362, #363), reloj de tiempo real con UEFI (#354) y arranque con más de 4 GB de RAM (#484).
La CPU debe tener FSGSBASE. NX, SMEP, SMAP y PCID se usan si están.

Multiprocesador (SMP)

Las CPU secundarias arrancan con sus propias tablas de descriptores, bajo un gran cerrojo del núcleo (#157). Hasta 32 CPU en tiempo de compilación; probado con 1, 2, 4 y 8.
Un camino rápido para mensajes de petición y respuesta, y colocación en la misma CPU de los servidores que más hablan entre sí (#157).
Muchas correcciones de SMP: temporizadores y gestión de fallos de página por CPU, cerrojo de la cola de ejecución (#283, #287–#289), expropiación de hilos que consumen CPU (#379), invalidación de TLB en procesos multihilo (#409).
Afinidad de CPU (#473) y planificación de tiempo real, SCHED_FIFO y SCHED_RR (#464).
Notas de diseño: SMP.

Memoria

Espacio de usuario de 47 bits: los programas pueden usar hasta 128 TB de memoria virtual (#449, #450, #452).
Recuperación de páginas limpias (#290–#293) y memoria anónima comprimida con LZ4 (#294–#298). Mira el diseño de la recuperación.
Matador de procesos por falta de memoria (OOM) y RLIMIT_AS/RLIMIT_DATA (#311, #320).
mprotect, NX para proyecciones no ejecutables (#365–#367), proyecciones compartidas de escritura de ficheros y msync (#410), memoria anónima compartida tras fork (#487).
Experimental: swap en disco en el núcleo y VM (#299, #300, #310). Todavía no hay herramienta swapon para activarlo.

Sistemas de ficheros

MFS versión 4 es el formato por defecto: inodos anchos, ficheros de más de 2 GB, fechas más allá de 2038 (#246, #280; diseño).
Journaling de metadatos en MFS (#251–#255; diseño), atributos extendidos (#256; diseño), ACL POSIX.1e (#258–#262), atributos de inmutable y solo-añadir (#249, #257).
ext2, ext3 y ext4 con reproducción del journal, extents, 64 bits y sumas de comprobación (#213, #266–#278).
FAT12/16/32 en lectura y escritura (#214, #218, #265) y exFAT (#263, #264).
tmpfs, que también aloja la memoria compartida POSIX (#483).
Experimental: MFS multihilo con E/S concurrente (#281). El sistema de ficheros raíz funciona con un solo hilo por defecto (#282).

Drivers

NVMe, incluido el arranque desde NVMe (#183, #284).
Controladoras USB EHCI, OHCI y xHCI, con hubs, solo para almacenamiento masivo (#188, #192–#194).
AHCI, e IDE con una corrección para discos de más de 2 TB (#274).
Un dispositivo framebuffer, /dev/fb0, con UEFI.
El driver de red probado es e1000. Los demás drivers de red, los de audio y virtio_blk compilan para amd64, pero no se han probado en esa arquitectura.

Red

lwIP 2.2.1 con correcciones de seguridad posteriores (#313, #314) y de estabilidad (#417, #425).
Escalado de ventana TCP, SACK y marcas de tiempo (#414), opciones de multicast como en NetBSD (#429), accept4 (#388).
dhcpcd sustituye a dhclient (#206).

POSIX

Hilos en amd64 (#179), con muchas correcciones posteriores.
Las llamadas con ruta *at (#382). Cambiaron la ABI de llamadas al sistema: los programas compilados antes hay que recompilarlos.
Control de trabajos (#399–#404), kqueue (#413), colas de mensajes POSIX (#405).
Interfaces de tiempo real: señales (#461), semáforos (#462), E/S asíncrona (#463), herencia y protección de prioridad (#472, #474), sincronización entre procesos (#479), cancelación de hilos (#481, #488).
Open POSIX Test Suite: pasan 1645 de 1757 pruebas; pjdfstest: 229 de 238. Detalles en la página de POSIX.

Seguridad

NX y pilas no ejecutables (#317, #366); SMEP y SMAP (#439); el núcleo rechaza búferes de usuario que apuntan a memoria del núcleo (#440–#442); sigreturn endurecido (#393).
Protección de pila y _FORTIFY_SOURCE=2 para programas y bibliotecas de usuario (#436, #444).
Aleatorización de la pila y de la base de mmap (#445). Parcial: los ejecutables no son PIE, así que su código, sus datos y su heap no se mueven.
Contraseñas con bcrypt; setup pide una contraseña de root (#443).
OpenSSH 10.6 (#446), certificados raíz de Mozilla y certctl (#447, #448), OpenSSL 3.5 LTS, Kerberos Heimdal 7.8 (#215).

Toolchain y espacio de usuario

LLVM/clang/lld 22 en el árbol (#200, #201), desde clang 3.6. lld sustituye a GNU ld; GNU binutils y GCC desaparecen (#316, #318, #323–#326).
Muchos componentes de terceros actualizados: SQLite (con WAL y seguro con hilos, #418, #421), libuv sobre kqueue (#427), BIND, tmux, less, zlib, xz, libarchive, Lua y otros. Mira el inventario de terceros.
Las páginas de manual van en la ISO (#165); nueva orden free(1) (#225).

Escritorio (experimental)

Un compositor Wayland (wlcompd), Qt 6 y LXQt, sobre el framebuffer UEFI con renderizado por software (#329–#360).
Opcional: se compila fuera del árbol, necesita UEFI, no está en la ISO por defecto y la CI no lo prueba. Mira la guía del escritorio.

Pruebas

Un arnés de pruebas en QEMU, qemutest.py (#361), que la CI ejecuta en cada pull request con 1 y 2 CPU.
El Open POSIX Test Suite en el árbol (#456), que se lanza a mano. Herramientas de depuración en QEMU (#407).

Limitaciones conocidas

Solo amd64. i386 no compila en devel; ARM no se mantiene desde el fork.
Probado sobre todo en QEMU/KVM. Máquinas físicas verificadas: [HARDWARE].
El instalador, setup, sigue buscando los conjuntos de instalación en /i386/binary/sets y no copia nada de la ISO de amd64. Solo instala para arranque BIOS. En Instalar en disco están la solución provisional y la alternativa de la imagen de disco.
No hay repositorio de paquetes binarios para amd64. pkg_add está en el sistema base; pkgin no.
No hay depurador (gdb ni lldb).
Los ejecutables no son PIE; no hay RELRO.
La actualización en caliente (live update), una función de MINIX original, no funciona en amd64: su prueba es un fallo conocido.
No hay herramienta para activar el swap; no se admiten teclados ni ratones USB; no hay UEFI Secure Boot.
El árbol sigue llamándose MINIX 3, versión 3.4.0 (menú de arranque, uname).

Linaje

Fecha	Hito
oct. 2005	MINIX 3.1.0, la primera versión de MINIX 3
feb. 2012	MINIX 3.2.0: libc y espacio de usuario de NetBSD, clang, SMP experimental
feb. 2013	MINIX 3.2.1
sep. 2014	MINIX 3.3.0: soporte de ARM; la última versión estable de MINIX original
may. 2017	MINIX 3.4.0rc6, la última versión candidata de MINIX original
nov. 2018	Último commit de MINIX original, `4db99f4`: la base del fork
mar. 2026	Empieza el fork
may. 2026	amd64 arranca hasta el login (en `master`, #153)
jun.–nov. 2026	Desarrollo en `devel`, PR #154 a #488
[DATE]	Ixolo [VERSION]

El árbol tiene también su propio RELEASE_NOTES.md. Solo cubre de marzo a principios de junio de 2026 y no se ha actualizado desde entonces. Estas notas lo sustituyen para todo lo posterior.

Para la historia completa, mira historia.