Linux без Linux. Создатель CentOS показал ядро на Rust, собранное с ИИ-агентом за 11 дней

3966
Linux без Linux. Создатель CentOS показал ядро на Rust, собранное с ИИ-агентом за 11 дней

Грегори Курцер запустил Rocky Linux 10 на новом ядре Ginux.

image

Создатель CentOS и основатель Rocky Linux Грегори Курцер представил Ginux, экспериментальное ядро операционной системы для x86-64, написанное преимущественно на Rust. Проект пытается запускать пользовательское окружение Linux без самого ядра Linux и уже загружает Rocky Linux 10 с systemd до многопользовательского режима, а также запускает отдельные программы Alpine Linux с musl и BusyBox.

Курцер разработал прототип за 11 дней в рамках эксперимента с методом Human-Directed Agentic Engineering, или HDAE. Разработчик задавал архитектуру, ограничения, этапы работы, критерии готовности и момент завершения проекта, а ИИ-агент писал код, запускал систему, проводил тесты, искал причины сбоев и вносил исправления. В техническом отчёте Курцер указал, что для проекта использовалось одно длительное задание OpenAI Codex с моделью GPT-5.6 Sol.

За 11 дней агент создал около 139 тысяч строк сохранённого программного кода и тестов. Курцер подчёркивает, что эксперимент проверял не способность ИИ самостоятельно разработать операционную систему, а модель работы, при которой специалист определяет архитектуру и контролирует результат через заранее заданные проверки.

Ginux не копирует ядро Linux и не является его форком. Проект получил собственные механизмы управления памятью, планировщик задач, модель процессов, виртуальную файловую систему, сетевой стек и поддержку устройств. Совместимость с Linux обеспечивает отдельный слой ABI, который предоставляет программам ожидаемые системные интерфейсы.

Из 375 системных вызовов Linux 6.12 для x86-64 полностью реализованы 82, ещё 245 поддерживаются частично, а 48 распознаются, но блокируются политикой безопасности. Разработчик отдельно предупреждает, что такая статистика не означает полную совместимость с Linux. Поддержка загрузчика программ, процессов, файловых систем, терминалов, сокетов, IPC, пространств имён, cgroups и устройств пока ограничена.

Для проверки совместимости Курцер использует реальные программы наряду с синтетическими тестами. Alpine Linux помогает проверять musl и BusyBox, а Rocky Linux 10 задействует glibc, динамическую загрузку библиотек, fork, exec, systemd, procfs и терминалы. Успешный запуск конкретного окружения не гарантирует работу любого приложения или дистрибутива Linux.

Ginux загружается напрямую через UEFI единым образом GINUX.EFI и не требует работающего ядра Linux. Основной средой разработки служит виртуальная машина Q35 с OVMF, Intel IOMMU и virtio-устройствами. На компьютерах x86-64 проект может работать через KVM, а на Mac с Apple Silicon разработчик использует эмуляцию QEMU TCG.

Архитектура Ginux предусматривает изолированные домены со своими процессами, адресными пространствами, файловыми системами, устройствами, ресурсами и жизненным циклом. OCI-образы используются для доставки файловых систем, тогда как запуск и изоляцию обеспечивает само ядро. В дальнейшем Курцер рассчитывает применять такую модель для изолированного запуска компонентов ИИ- и высокопроизводительной вычислительной инфраструктуры.

Проект пока остаётся исследовательским прототипом. Поддержка оборудования, файловых систем, сети и Linux ABI ограничена, независимый аудит безопасности не проводился, а разработчик прямо исключает использование Ginux в рабочих системах. Курцер также отмечает, что эксперимент не воспроизводит многолетнюю работу над Linux, включая поддержку огромного количества оборудования, проверку кода сообществом и развитую экосистему.

Код Ginux распространяется под лицензией Apache 2.0. Название объединяет Linux, GPT и имя Greg, при этом Курцер в документации шутливо уточняет, что буква G официально означает GPT.

Рекламодатель
Реклама. АО «Позитив Текнолоджиз». ИНН 7718668887. 18+
Сайт рекламодателя: ptsecurity.com↗️
АО «Позитив Текнолоджиз»