Sobre o projeto

aiueos é um sistema operacional projetado para fornecer um ambiente seguro e baseado em capacidades para agentes de IA. É escrito em Kotoba e visa um perfil de produção "bare metal livre de C", onde o loader e o kernel são emitidos pelo compilador, removendo a lógica de decisão tradicional baseada em C da Base de Computação Confiável (TCB). As principais características técnicas incluem: - Segurança Baseada em Capacidades: Atua como um broker de capacidades, aplicando decisões tomadas pela autoridade de 'grant' separada. - Execução Wasm: Utiliza Chicory para executar componentes Wasm de Kotoba compilados, com medição de combustível (fuel metering) ao nível de instrução e limites de memória. - Suporte de Hardware: Inclui um processo de boot funcional (UEFI/Multiboot2) e implementações parciais de alocação de memória física e tratamento de falhas de CPU em x86-64. - Arquitetura de Componentes: Suporta um gerenciador de janelas hospedado, IME e apresentadores de GPU, com foco na contenção contra adversários de alto nível. - Perfis de Implantação: Oferece múltiplos perfis, incluindo um kernel x86-64 bare-metal, um pacote de VM hospedado em Linux e um perfil de desktop em nuvem hospedado em JVM.