asterinas

Un noyau OS sécurisé, rapide et à usage général écrit en rouille et compatible avec Linux

Anglais | 中文版 | 日本語

Présentation des astérinas

Astérinas est un noyau OS sécurisé , rapide et à usage général qui fournit un ABI compatible Linux . Il peut servir de remplacement transparent pour Linux tout en améliorant la sécurité de la mémoire et la convivialité des développeurs .

• Astérinas hiérarchise la sécurité de la mémoire en utilisant la rouille comme seul langage de programmation et limitant l'utilisation de la rouille dangereuse à une base informatique de confiance clairement définie et minimale (TCB). Cette approche innovante, connue sous le nom de FrameKernel Architecture, établit des astérinas comme une option de noyau plus sécurisée et fiable.

• Astérinas dépasse Linux en termes de convivialité pour les développeurs. Il permet aux développeurs de noyau à (1) utiliser le langage de programmation de rouille plus productif, (2) tirer parti d'une boîte à outils spécialement conçue pour rationaliser leurs flux de travail, et (3) choisir entre la libération de leurs modules de noyau comme open source ou les garder propriétaires, grâce à la flexibilité offerte par MPL.

Bien que le voyage vers un noyau OS de qualité de production puisse être difficile, nous progressons fermement vers notre objectif. Actuellement, Asterinas ne prend en charge que les machines virtuelles x86-64. Cependant, notre objectif pour 2024 est de fabriquer la production d'astérinas sur la production sur les VM x86-64.

Commencer

Obtenez une machine Linux X86-64 avec Docker installé. Suivez les trois étapes ci-dessous pour mettre en service Astérinas.

1. Téléchargez le dernier code source.

git clone https://github.com/asterinas/asterinas

2. Exécutez un conteneur Docker comme environnement de développement.

docker run -it --privileged --network=host --device=/dev/kvm -v $( pwd ) /asterinas:/root/asterinas asterinas/asterinas:0.10.3

3. À l'intérieur du conteneur, accédez au dossier du projet pour construire et exécuter des astérinas.

make build
make run

Si tout se passe bien, Astérinas est maintenant opérationnel à l'intérieur d'une machine virtuelle.

Le livre

Voir le livre des Astérinas pour en savoir plus sur le projet.

Licence

Le code source et la documentation d'Asterinas utilisent principalement la licence publique de Mozilla (MPL), version 2.0. Les composants sélectionnés sont sous des licences plus permissives, détaillées ici. Pour les justifications derrière le choix de MPL, voyez ici.