Экспериментальная операционная система, исследующая идею системы, в которой исходное дерево является установленной системой.Главная идея TOS заключается в том, что установленный компонент системы должен оставаться доступным в виде исходного текста, который владелец компьютера может прочитать, изменить, проверить и снова загрузить. Скомпилированный код, IR, индексы, boot-образы и другие бинарные артефакты рассматриваются как производные результаты, а не как самостоятельная версия установленной системы.
Идентичность работающей системы привязана к коммиту репозитория. Это позволяет рассматривать ОС как версионируемое дерево исходного кода: создавать собственные ветки, сравнивать состояния, откатывать изменения и воспроизводить известную версию системы.
Одновременно проект исследует, как совместить такую модель владения системой с безопасностью: проверяемым происхождением производных артефактов, fail-closed проверками, capability-моделью и строгими контрактами между компонентами.
Что уже реализовано
- загрузочная основа для x86_64 и UEFI;
- запуск и автоматическая проверка системы в QEMU/OVMF;
- воспроизводимые загрузочные и системные артефакты с проверкой происхождения;
- TOS Core V1 и рабочий тракт frontend → IR → verifier → runtime;
- системные интерфейсы и capability-ограниченные операции;
- межпроцессное взаимодействие;
- монотонное системное время;
- аппаратная вытесняющая многозадачность и round-robin scheduler;
- одновременное существование нескольких пользовательских процессов;
- первые системные компоненты, написанные непосредственно на TOS Core;
- capability-контролируемая работа текстового TOS Core-кода с PCI-функциями и configuration space;
- обнаружение VirtIO PCI capabilities и работа с BAR/MMIO-регионами;
- routed interrupt authority и ожидание аппаратных прерываний текстовым драйвером;
- автоматизированные архитектурные, conformance и release-gates.
TOS всё ещё остаётся исследовательской операционной системой. У неё пока нет полноценного пользовательского окружения и цели немедленно заменить Linux, Windows или другие зрелые системы. Подробный текущий прогресс ведётся непосредственно в репозитории.
Состояние проекта
Статус: активная исследовательская разработка.
Платформы: x86_64, UEFI, QEMU/OVMF.
Технологии: Rust, TOS Core, UEFI, QEMU, OVMF, Git.
Лицензия: GPL-3.0-or-later для системной реализации; Apache-2.0 для публичных интерфейсов и SDK; CC-BY-SA-4.0 для документации; Unicode-3.0 для включённых данных Unicode.
Ссылки и ход разработки
Исходный код · Документация · Ход разработки · Сообщить об ошибке