Sobre el proyecto

aiueos es un sistema operativo diseñado para proporcionar un entorno seguro y basado en capacidades para agentes de IA. Está escrito en Kotoba y aspira a un perfil de producción "bare metal libre de C" donde el cargador y el kernel son emitidos por el compilador, eliminando la lógica de decisión tradicional basada en C de la Base de Cómputo Confiable (TCB). Las características técnicas clave incluyen: - Seguridad basada en capacidades: Actúa como un agente de capacidades, aplicando las decisiones tomadas por la autoridad de 'grant' independiente. - Ejecución de Wasm: Utiliza Chicory para ejecutar componentes Wasm de Kotoba compilados con medición de combustible a nivel de instrucción y límites de memoria. - Soporte de hardware: Incluye un proceso de arranque operativo (UEFI/Multiboot2) e implementaciones parciales de asignación de memoria física y manejo de fallos de CPU en x86-64. - Arquitectura de componentes: Soporta un administrador de ventanas alojado, IME y presentadores de GPU, con un enfoque en la contención frente a adversarios de alto nivel. - Perfiles de despliegue: Ofrece múltiples perfiles, incluyendo un kernel x86-64 bare-metal, un paquete de VM alojado en Linux y un perfil de escritorio en la nube alojado en JVM.