Ein sicherer, schneller und allgemeiner OS-Kernel, der in Rost geschrieben und mit Linux kompatibel ist
Englisch | 中文版 | 日本語
Asterinas ist ein sicherer , schneller und allgemeiner OS-Kernel, der Linux-kompatible ABI bietet. Es kann als nahtloser Ersatz für Linux dienen und gleichzeitig die Speichersicherheit und Entwicklerfreundlichkeit verbessern.
Asterinas priorisiert die Speichersicherheit, indem sie Rost als alleinige Programmiersprache verwendet und die Verwendung von unsicherem Rost auf eine klar definierte und minimale vertrauenswürdige Computerbasis (TCB) einschränkt. Dieser innovative Ansatz, der als Framekernel -Architektur bezeichnet wird, legt Asterinas als sicherere und zuverlässigere Kerneloption fest.
Asterinas übertrifft Linux in Bezug auf die Freundlichkeit der Entwickler. Es ermöglicht Kernelentwickler, (1) die produktivere Rost-Programmiersprache zu verwenden, (2) ein spezielles Toolkit namens OSDK zu nutzen, um ihre Workflows zu optimieren, und (3) entscheiden Sie zwischen der Freigabe ihrer Kernelmodule als Open Source oder dem Eigentum, dank der von MPL angebotenen Flexibilität.
Während die Reise in Richtung eines OS-Kernels in Produktionsstörungen eine Herausforderung sein kann, gehen wir standhaft auf unser Ziel zu. Derzeit unterstützt Asterinas nur x86-64 VMs. Unser Ziel für 2024 ist es jedoch, die Produktion von Asterinas auf X86-64-VMs zu machen.
Holen Sie sich einen x86-64 Linux-Computer mit installiertem Docker. Befolgen Sie die drei einfachen Schritte unten, um Asterinas zum Laufen zu bringen.
git clone https://github.com/asterinas/asterinasdocker run -it --privileged --network=host --device=/dev/kvm -v $( pwd ) /asterinas:/root/asterinas asterinas/asterinas:0.10.3make build
make runWenn alles gut läuft, ist Asterinas jetzt in einem VM in Betrieb.
Sehen Sie sich das Asterinas -Buch an, um mehr über das Projekt zu erfahren.
Der Quellcode und die Dokumentation von Asterinas verwenden hauptsächlich die Mozilla Public Lizenz (MPL), Version 2.0. Ausgewählte Komponenten stehen hier aus detaillierterer liquisiver Lizenzen. Für die Rationalen hinter der Auswahl von MPL siehe hier.