aiueos

aiueos est un système d'exploitation conçu pour fournir un environnement sécurisé, basé sur les capacités, pour les agents IA. Il est écrit en Kotoba et vise un profil de production « bare metal sans C » où le chargeur et le noyau sont émis par le compilateur, supprimant ainsi la logique de décision traditionnelle basée sur le C de la base de confiance (TCB). Les principales caractéristiques techniques incluent : - Sécurité basée sur les capacités : il agit comme un courtier de capacités, appliquant les décisions prises par l'autorité de « grant » distincte. - Exécution Wasm : utilise Chicory pour exécuter des composants Wasm Kotoba compilés avec un comptage du carburant (fuel metering) au niveau des instructions et des limites de mémoire. - Support matériel : comprend un processus de démarrage fonctionnel (UEFI/Multiboot2) et des implémentations partielles de l'allocation de mémoire physique et de la gestion des fautes CPU sur x86-64. - Architecture de composants : prend en charge un gestionnaire de fenêtres hébergé, un IME et des présentateurs GPU, avec un accent mis sur le confinement contre des adversaires de haut niveau. - Profils de déploiement : propose plusieurs profils, notamment un noyau x86-64 bare-metal, un bundle VM hébergé sur Linux et un profil de bureau cloud hébergé sur JVM.