Microkernel · autorreparable · x86-64
El sistema que sigue en pie cuando una pieza cae.
Ixolo es un sistema operativo tipo Unix construido sobre un microkernel. Drivers y servicios viven aislados y, si uno falla, se reinicia solo sin tumbar el resto. Como el ajolote, se regenera.
amd64 · UEFI y BIOS · SMP · Licencia estilo BSD
Demostración ilustrativa: un driver de red cae y vuelve
# kill -9 $(pidof igc) rs: e1000_0 terminó de forma inesperada rs: reiniciando e1000_0… listo # ping -c 1 10.0.2.2 1 packets transmitted, 1 received
Por qué Ixolo
Fiabilidad por diseño, no por suerte.
Se repara solo
Drivers y servidores corren como procesos aislados en espacio de usuario. El Reincarnation Server detecta el fallo y devuelve el componente a la vida en caliente.
Un núcleo que se puede leer
Unas 15 000 líneas de C y ensamblador, amd64 incluido. Se puede auditar, enseñar y razonar sobre él de principio a fin.
Hardware de hoy
x86-64 con SMP hasta 32 CPUs, arranque UEFI, espacio de direcciones de 128 TB, NVMe con MSI-X, almacenamiento USB 2.0 y 3.0 y Ethernet 2.5 GbE.
Datos a salvo
Journaling de metadatos en MFS v4: tras un apagado brusco, el sistema de ficheros se recupera al montar, sin un fsck completo.
POSIX de verdad
Hilos con planificación en tiempo real y herencia de prioridad, señales de tiempo real, colas de mensajes, semáforos, E/S asíncrona, kqueue y control de trabajos. Pasa 1645 de 1757 pruebas de la Open POSIX Test Suite.
Endurecido y probado
NX, SMEP y SMAP, protector de pila, FORTIFY y ASLR en espacio de usuario. Cada cambio arranca en QEMU con una y dos CPUs y tiene que pasar las suites de pruebas y pjdfstest.
Arquitectura
Diseñado como un organismo.
Cada componente vive en su propia célula. Si un driver o un servidor falla, el microkernel sigue funcionando y el Reincarnation Server lo vuelve a levantar. El fallo se queda en una pieza, no en todo el sistema.
Cómo funciona por dentro →- 4Programas de usuarioShells, editores, servicios de red, escritorio
- 3Servidores del sistemaVFS · gestor de procesos · gestor de memoria · Reincarnation Server
- 2DriversDisco, red, USB… cada uno en su propio proceso
- 1MicrokernelInterrupciones, planificación y paso de mensajes
Para quién
Un sistema, cuatro formas de usarlo.
Servidores
Servicios que toleran fallos de drivers sin reiniciar la máquina. Pensado para entornos donde cada caída cuenta.
Educación
Un sistema real, pequeño y documentado para enseñar sistemas operativos con código que se puede leer entero.
Desarrolladores de SO
Un laboratorio de microkernel moderno: SMP, UEFI, CI con QEMU y documentos de diseño de cada subsistema.
Escritorio
Compositor Wayland propio con LXQt y Qt 6. Funciona, pero aún es experimental.
Pruébalo en una máquina virtual
Descarga la ISO y arráncala en QEMU. En unos minutos estás en el login.
qemu-system-x86_64 -enable-kvm -cpu host -m 2G -smp 2 \ -cdrom ixolo-[VERSION]-amd64.iso
[DATE] · versión estable
Ixolo [VERSION]
- SMP en amd64, con planificación en tiempo real
- Journaling de metadatos en MFS v4
- Arranque UEFI, NVMe y almacenamiento USB
- Espacio de usuario endurecido y OpenSSH {openssh}
- Escritorio Wayland con LXQt (experimental)
Conoce a Xolo
Un ajolote que nunca se rinde.
El ajolote regenera patas, branquias y hasta partes del corazón. Por eso Ixolo lleva su nombre y Xolo es su mascota. Su historia viene de la mitología mexica.
Por qué nos llamamos así →