Сооснователь CentOS создал за 11 дней ядро для запуска Rocky Linux 10

«ИИ может создавать сложное системное ПО», считает Грегори Куртцер, сооснователь CentOS и создатель Rocky Linux.

Сооснователь CentOS создал за 11 дней ядро для запуска Rocky Linux 10

Он представил Ginux — независимое ядро, способное запускать программы Linux без изменений. Куртцер руководил разработкой, а большую часть кода написал ИИ-агент.

В техническом отчёте Куртцер описывает Ginux как исследовательский проект и проверку метода разработки с участием ИИ. Ядро написано преимущественно на Rust для архитектуры x86-64 и загружается через UEFI. Это самостоятельная разработка с собственными механизмами управления памятью, процессами и файловыми системами, а не ответвление ядра Linux. Совместимость с программами обеспечивает реализованный в Ginux бинарный интерфейс Linux.

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

Ginux уже запускает отдельные программы Alpine Linux без изменений. Ему также удалось загрузить пользовательскую среду Rocky Linux 10 с systemd до состояния multi-user.target. Для этого система использует изолированные домены со своими процессами, памятью и файловыми системами. Корневую файловую систему домена она может собрать из образа контейнера OCI. Проверка на существующих дистрибутивах помогла обнаружить ошибки, которые не выявили синтетические тесты проекта.

Ограничения ядра Ginux и другие ИИ-проекты

Запуск Rocky Linux 10 не означает полной совместимости с Linux. По данным дополнительных сообщений, из 375 системных вызовов интерфейса Linux 6.12 для x86-64 Ginux полностью реализует 82. Ещё 245 работают частично, а 48 заблокированы намеренно. Проект работает только в виртуальной машине QEMU: поддержки физического оборудования, графических процессоров и накопителей NVMe у него нет.

Независимую проверку безопасности Ginux не проходил, и Куртцер не предлагает использовать его в рабочих системах или считать заменой Linux. По данным одного из дополнительных сообщений, вызовы API для эксперимента обошлись примерно в $8000 (около 648 000 ₽). Код проекта опубликован под лицензией Apache 2.0. В техническом отчёте Куртцер отмечает, что быстрая сборка работающего прототипа не решает вопросы совместимости, поддержки оборудования и долгосрочного сопровождения.

ИИ-агентов использовали и для создания другого системного ПО. В дополнительном сообщении упоминается эксперимент Николаса Карлини из Anthropic: 16 агентов Claude параллельно разрабатывали компилятор C на Rust. На эту работу ушло почти 2000 сеансов и около $20 000 (около 1 619 000 ₽). В случае с Ginux агенту нужно было не только собрать код, но и добиться запуска программ и загрузки systemd.

ИИ применяли и при работе над ядром Linux. В прошлом месяце Линус Торвальдс поручил Claude Code подготовить экспериментальные изменения для кеша страниц. Проверяющие нашли в них ошибку синхронизации; изменения остаются на рассмотрении. В Ginux агент собрал отдельное ядро за 11 дней, но проект не проходил независимую проверку безопасности.

Елизавета Добровольская
Автор itzine.ru с 2021 года. Пишет о смартфонах, гаджетах, железе, искусственном интеллекте и космосе — в общем, обо всём, что есть в мире технологий. От новостей о складных флагманах и процессорах до репортажей о культуре и рынке электромобилей. Следит за индустрией внимательно, но без фанатизма.

Оставить комментарий