Gregory M. Kurtzer, conocido por haber fundado CentOS y Rocky Linux, ha publicado Ginux, un kernel experimental escrito en Rust que implementa la interfaz binaria (ABI) de Linux y es capaz de ejecutar programas de Linux sin modificar, hasta arrancar systemd de Rocky Linux 10. Lo llamativo es cómo se hizo: según el propio repositorio, una única tarea de OpenAI Codex con el modelo GPT-5.6 Sol produjo en once días unas 139.000 líneas de código de implementación y pruebas, bajo la dirección de Kurtzer. El autor insiste en que es un prototipo de investigación, no una alternativa a Linux.
Las claves de Ginux en 20 segundos
- Qué es: un kernel independiente para x86-64, en Rust, que arranca por UEFI y ofrece a los programas la ABI de Linux sin tener Linux debajo.
- Qué ejecuta hoy: programas seleccionados de Alpine (musl y BusyBox) y de Rocky Linux (glibc), y el arranque de systemd de Rocky Linux 10 hasta multi-user.target.
- Cómo se hizo: un agente de IA escribió, probó y corrigió el sistema durante once días; la arquitectura, los límites y los criterios de aceptación los fijó una persona.
- Sus límites: solo está validado en una máquina virtual QEMU, de 375 llamadas al sistema solo 82 están completas y no tiene auditoría de seguridad.
Linux por fuera, otro kernel por dentro
Ginux no es una distribución ni una capa de compatibilidad sobre Linux. Es un sistema operativo propio que arranca directamente desde UEFI como una sola imagen, GINUX.EFI, con su propia gestión de memoria, planificador, modelo de procesos, sistema de archivos virtual, red y soporte de dispositivos. Lo que hace es exponer a los programas la misma interfaz que el kernel Linux, de modo que un binario de Alpine o de Rocky Linux cree estar ejecutándose sobre Linux. Hay pequeñas fronteras en ensamblador para entrar y salir de UEFI, instalar interrupciones y llamadas al sistema y cambiar de privilegios; el resto está escrito en Rust.
Su idea central son los dominios: objetos del kernel que agrupan procesos, espacios de memoria, sistemas de archivos, dispositivos, recursos y permisos, y que hacen de frontera de aislamiento. Según el diseño, son una barrera más fuerte que los contenedores OCI o los namespaces de Linux. Las imágenes OCI se usan solo para transportar y montar el sistema de archivos inicial: Ginux descarga, verifica y ensambla, por ejemplo, una imagen de Alpine o de Rocky, y la ejecuta dentro de un dominio. Un dominio puede parecer un ordenador completo, con systemd como PID 1.
La administración corre a cargo de un controlador integrado en la imagen que se ejecuta en el anillo 3, como un proceso normal, y no dentro del kernel. Desde un intérprete propio se crean dominios, se les asigna imagen y memoria, se arrancan y se adjunta la consola. Puede delegar o retirar los permisos que recibe al arrancar, pero no crear autoridad nueva en el kernel.
Once días, un agente y 1.097 commits
Según el repositorio, Ginux nació para comprobar si un agente de programación, dirigido por alguien con experiencia en sistemas, podía construir un kernel independiente capaz de ejecutar software de Linux existente. Kurtzer llama al método Human-Directed Agentic Engineering: la persona define la arquitectura, las restricciones, los hitos, los criterios de aceptación y cuándo parar, y el agente implementa, arranca, prueba, diagnostica y corrige frente a pruebas ejecutables. El historial suma 1.097 commits, y el trabajo está documentado en un informe técnico publicado en Zenodo que evalúa el estado del código a 23 de octubre de 2026.
Conviene matizar la cifra que más circula. Las 139.000 líneas incluyen código de implementación y de pruebas conservado, no solo el kernel. Y el propio autor reconoce que en el punto evaluado la batería completa de pruebas no pasa entera: una prueba del ciclo de vida del supervisor del sistema tras execve() sigue fallando, y la documenta en lugar de esconderla. También advierte de que su comparación de rendimiento es muy acotada, un único procesador virtual en QEMU con el mismo binario de sysbench, y no un benchmark general del kernel. El nombre, por cierto, es una broma: mezcla Linux, GPT y Greg, y el repositorio aclara que la G significa oficialmente GPT.
Ginux frente al kernel Linux
Ponerlo al lado del kernel Linux actual ayuda a entender la escala. Los datos de Linux corresponden a la versión 7.4, cuya ventana de integración acaba de batir el récord de commits:
| Ginux | Kernel Linux | |
|---|---|---|
| Lenguaje | Rust, con pequeñas partes en ensamblador | C mayoritariamente, con Rust ya como parte permanente |
| Tamaño | Unas 139.000 líneas (implementación y pruebas) | Unos 41,6 millones de líneas en el árbol (31,4 millones de código) antes de 7.4-rc1 |
| Desarrollo | 1.097 commits en 11 días, un agente dirigido por una persona | 19.671 commits solo en la ventana de integración de 7.4; desarrollo continuo desde 1991 con miles de colaboradores |
| Arquitecturas | Solo x86-64 | Una veintena, de x86 y Arm a RISC-V, PowerPC o s390 |
| Llamadas al sistema | De las 375 de Linux 6.12 x86-64: 82 completas, 245 parciales y 48 denegadas por política | Es la referencia: todas implementadas |
| Hardware | Validado en QEMU (Q35, OVMF, virtio, VT-d); sin GPU, NVMe ni equipos físicos | Soporte para una enorme variedad de hardware físico |
| Aislamiento | Dominios nativos con capacidades revocables | Namespaces, cgroups y módulos de seguridad |
| Arranque | Imagen única UEFI con controlador en anillo 3 | Kernel e initramfs cargados por un gestor de arranque |
| Licencia | Apache 2.0 | GPLv2 |
| Uso previsto | Investigación y pruebas | Producción, desde móviles hasta supercomputadores |
Las 139.000 líneas de Ginux equivalen a apenas el 0,3 % del árbol de Linux. La comparación no es del todo justa, porque buena parte de Linux son controladores para hardware que Ginux ni intenta soportar, pero da una idea de lo que falta: compatibilidad amplia, controladores, revisión por pares, ecosistema de fabricantes y mantenimiento a largo plazo. El propio repositorio lo dice: Ginux demuestra que se puede construir software de sistemas profundo muy rápido, no que exista ya una alternativa a Linux.
Por qué importa a los administradores de sistemas
Nadie va a poner Ginux en un servidor de producción, y su autor es el primero en desaconsejarlo. Lo interesante es lo que apunta. Por un lado, confirma que la ABI de Linux se ha convertido en un contrato que otros kernels pueden ofrecer, una idea que ya exploraron proyectos como gVisor o la capa de Linux de FreeBSD, y que encaja con iniciativas como Multikernel que replantean cómo se reparten el hardware y el aislamiento en un servidor. Por otro, llega justo cuando Rust ha dejado de ser un experimento en el kernel Linux y cuando la IA empieza a mover el ritmo de desarrollo del propio kernel.
También deja una pregunta práctica: si un agente puede generar 139.000 líneas de código de sistema en once días, el cuello de botella pasa a ser revisarlas, auditarlas y mantenerlas. En un kernel, donde un fallo puede suponer una escalada a root, eso es lo que separa un experimento de algo en lo que confiar. Habrá que ver si el proyecto atrae a otros desarrolladores, si se prueba en hardware real y si alguien audita su modelo de seguridad.
Preguntas frecuentes
¿Qué es Ginux?
Es un kernel y sistema operativo experimental para x86-64, escrito en Rust, que implementa la ABI de Linux para ejecutar programas de Linux sin modificar. Lo ha publicado Gregory M. Kurtzer con licencia Apache 2.0.
¿De verdad lo escribió una IA?
Según el repositorio, una tarea de OpenAI Codex con GPT-5.6 Sol produjo unas 139.000 líneas de implementación y pruebas en once días. La arquitectura, las restricciones y los criterios de aceptación los definió Kurtzer.
¿Puede sustituir a Linux?
No. Solo está validado en una máquina virtual QEMU, implementa por completo 82 de las 375 llamadas al sistema de Linux, no soporta hardware físico amplio y no tiene auditoría de seguridad. Su autor lo presenta como un proyecto de investigación.
¿Qué distribuciones puede ejecutar?
Programas seleccionados de Alpine y de Rocky Linux, y el arranque de systemd de Rocky Linux 10 hasta multi-user.target. El autor aclara que eso no garantiza que cualquier binario o distribución funcione.
Fuente: repositorio de Ginux en GitHub e informe técnico de Gregory M. Kurtzer en Zenodo
