Пользователь предлагает использовать новейшую языковую модель с огромным бюджетом токенов для создания полноценной открытой операционной системы, основанной на микроядре seL4. План включает анализ исходного кода seL4, Genode и Linux для адаптации драйверов и подсистем в среде на базе seL4.

  • Модель будет анализировать код из репозиториев seL4, seL4_libs, sel4-tutorials, sel4test и Genode.
  • Она постепенно адаптирует выбранные драйверы Linux для распространенного оборудования и добавит полезные файловые системы.
  • Процесс будет итеративным, включая предложения по архитектуре, компиляцию, тестирование и исправление ошибок.
  • Полученная система будет выпущена как открытое программное обеспечение в соответствии с существующими лицензиями.

В посте ставится вопрос, смогут ли текущие модели завершить значительную часть такого проекта, если бы стоимость не была ограничена, и выявляются потенциальные препятствия, такие как поддержание долгосрочных планов или отладка на реальном оборудовании.