Resumen:
Desarrollar el kernel de un sistema operativo desde cero suele requerir varios años de un equipo de ingenieros experimentados. Sin embargo, el cofundador de CentOS e iniciador del proyecto Rocky Linux, Gregory Kurtzer, demostró recientemente un resultado bastante especial: utilizó agentes de inteligencia artificial para crear un nuevo kernel del sistema operativo Ginux en sólo 11 días. Este kernel no utiliza ningún código de kernel de Linux, pero ya puede arrancar Rocky Linux 10. Aunque todavía es un prototipo de investigación, este proyecto muestra una nueva posibilidad para que la IA participe en el desarrollo de software subyacente complejo.
Kurtzer anunció el proyecto Ginux por primera vez la semana pasada a través de la plataforma social X. El código relevante también se cargó en GitHub y adoptó la licencia de código abierto Apache 2.0. El nombre Ginux combina los tres elementos de Linux, GPT y Greg. En la introducción del proyecto incluso se bromeaba diciendo que para evitar que el autor se engrandezca demasiado, la letra G debería interpretarse como GPT.
Ginux no es una bifurcación de Linux, ni copia componentes del kernel del código Linux existente. Su gestión de memoria, programación de procesos, sistema de archivos y funciones de red están escritas desde cero y desarrolladas principalmente utilizando el lenguaje Rust. Lo que realmente comparte con Linux es la Interfaz Binaria de Aplicaciones (ABI). Es decir, Ginux simula la interfaz del sistema proporcionada por Linux al software, de modo que los programas escritos originalmente para Linux puedan ejecutarse sin modificar el código.
El desarrollador del proyecto describe este diseño como: Linux no es sólo una implementación del kernel, sino que también puede considerarse como una "personalidad" o entorno de compatibilidad presentado por el kernel al software de aplicación. Actualmente, Ginux solo implementa el modo de compatibilidad con Linux, y no se descarta la posibilidad de agregar el modo de compatibilidad BSD en el futuro.
Sin embargo, Ginux todavía está lejos de ser totalmente compatible con Linux. Según la documentación del proyecto, tomando como referencia la interfaz x86-64 de Linux 6.12, solo 82 de sus 375 llamadas al sistema se han implementado completamente, otras 245 solo pueden funcionar parcialmente y las 48 restantes están configuradas intencionalmente como no disponibles. Esto significa que, aunque ya puede ejecutar algún software de Linux existente, todavía no puede considerarse como un sustituto maduro de Linux de uso general.
Ginux también introduce un conjunto de mecanismos de aislamiento llamados "Dominios". El software se ejecuta en un entorno aislado y cada dominio tiene procesos, espacio de memoria y sistemas de archivos independientes. El proyecto espera que este mecanismo proporcione límites de aislamiento más fuertes que los contenedores tradicionales. Sin embargo, Ginux aún puede usar imágenes de contenedores OCI estándar para crear sistemas de archivos para cada dominio. Es de esta forma como ha podido cargar Rocky Linux 10 y avanzar el arranque del sistema hasta el destino multiusuario systemd.
El aspecto más interesante de este desarrollo es el papel de la inteligencia artificial. Kurtzer llama a su enfoque "Ingeniería agente dirigida por humanos" en un informe técnico. Es responsable de determinar la arquitectura general, formular las fases de desarrollo y los criterios de aceptación, mientras que el agente de inteligencia artificial es responsable de la mayor parte del trabajo de ejecución posterior, incluida la escritura del código, el inicio del kernel, la ejecución de pruebas y la modificación del código después de descubrir problemas.
Todo el proceso se completa mediante una tarea OpenAI Codex que se ejecuta continuamente y el modelo utilizado es GPT-5.6 Sol. En 11 días, la IA generó un total de aproximadamente 139 000 líneas de código y contenido de prueba, y completó más de 1000 envíos de código. Durante el proceso de desarrollo, la distribución real Rocky Linux también jugó un papel importante: expuso algunos problemas que los casos de prueba construidos artificialmente no pudieron encontrar cuando realmente se inició y ejecutó.
Sin embargo, Kurtzer no empaquetó Ginux en un sistema operativo listo para producción. En la actualidad, el proyecto todavía se ejecuta completamente en la máquina virtual QEMU. Todavía no admite el inicio directo en hardware físico y no es compatible con dispositivos de almacenamiento GPU y NVMe. Es más, Ginux aún no se ha sometido a auditorías de seguridad independientes y su seguridad no se puede verificar por completo.
Kurtzer cree que la inteligencia artificial ahora tiene la capacidad de escribir software de sistemas complejos, pero la parte realmente difícil no ha desaparecido. La compatibilidad del software, la seguridad y las capacidades de mantenimiento a largo plazo siguen siendo barreras clave que determinan si un sistema operativo puede realmente tener éxito. En otras palabras, la IA puede acortar significativamente el proceso de desarrollo de código desde cero, pero no puede garantizar automáticamente que estos códigos sean lo suficientemente confiables ni puede reemplazar la verificación de ingeniería a largo plazo.
Al mismo tiempo, la comunidad de desarrollo del kernel de Linux también está intentando introducir gradualmente herramientas de inteligencia artificial. El mes pasado, el fundador de Linux, Linus Torvalds, utilizó Claude Code para escribir un conjunto de parches de caché de páginas experimentales, pero los revisores descubrieron más tarde que había condiciones de carrera, por lo que el código relevante aún está bajo revisión. Casi al mismo tiempo, los mantenedores del kernel de Linux también acordaron no exigir más a los contribuyentes que revelen si su código estaba asistido por IA.
La importancia de Ginux puede no ser que pueda reemplazar inmediatamente a Linux, sino que demuestra un nuevo modelo de ingeniería de software: los humanos son responsables de los objetivos, la arquitectura y las decisiones clave, y los agentes de IA son responsables de una gran cantidad de trabajo específico de implementación y prueba. Los sistemas complejos que alguna vez tardaron años en tomar forma ahora pueden tener un prototipo funcional en una fracción del tiempo. Sin embargo, aún queda un largo camino de ingeniería para pasar de un prototipo a un sistema operativo verdaderamente confiable que pueda adaptarse a una amplia gama de hardware y mantenerse a largo plazo.
Comentarios