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.
Comments
0 Rating appears after 10 ratings
Sign in to join the discussion.