Об этом проекте
aiueos — это операционная система, разработанная для обеспечения безопасной среды на основе возможностей (capability-based) для ИИ-агентов. Она написана на языке Kotoba и стремится к производственному профилю «bare metal без C», в котором загрузчик и ядро генерируются компилятором, что исключает традиционную логику принятия решений на базе C из доверенной вычислительной базы (TCB).
Ключевые технические особенности включают:
- Безопасность на основе возможностей: система выступает в роли брокера возможностей, исполняя решения, принятые отдельным органом предоставления прав («grant» authority).
- Исполнение Wasm: использует Chicory для выполнения скомпилированных Wasm-компонентов Kotoba с лимитированием памяти и учетом «топлива» (fuel metering) на уровне инструкций.
- Поддержка оборудования: включает рабочий процесс загрузки (UEFI/Multiboot2) и частичную реализацию распределения физической памяти и обработки сбоев CPU на x86-64.
- Компонентная архитектура: поддерживает хостинг оконного менеджера, IME и GPU-презентеров с упором на изоляцию от высокоуровневых злоумышленников.
- Профили развертывания: предлагает несколько профилей, включая bare-metal ядро x86-64, пакет VM на базе Linux и профиль облачного рабочего стола на базе JVM.
Comments
0 Rating appears after 10 ratings
Sign in to join the discussion.