aiueos

aiueos 是一款旨在为 AI Agent 提供安全、基于能力的环境的操作系统。它使用 Kotoba 编写，目标是实现“无 C 语言裸机”的生产配置，其中加载器和内核由编译器生成，从而将传统的基于 C 语言的决策逻辑从可信计算基 (TCB) 中移除。 关键技术特性包括： - 基于能力的安全性：它充当能力代理，执行由独立的“grant”权限机构所做出的决策。 - Wasm 执行：使用 Chicory 来执行编译后的 Kotoba Wasm 组件，并具备指令级燃料计量和内存限制。 - 硬件支持：包含一个可运行的启动流程 (UEFI/Multiboot2)，以及在 x86-64 上物理内存分配和 CPU 故障处理的部分实现。 - 组件架构：支持托管的窗口管理器、IME 和 GPU 呈现器，重点在于防御高级对手的隔离能力。 - 部署配置：提供多种配置，包括裸机 x86-64 内核、Linux 托管的 VM 捆绑包以及 JVM 托管的云桌面配置。