asterinas

錆で書かれ、Linuxと互換性のある安全で高速で汎用のOSカーネル

英語| 中文版| 日本語

アステリナスの紹介

Asterinasは、Linux互換のABIを提供する安全で高速で汎用のOSカーネルです。メモリの安全性と開発者の親しみやすさを高めながら、Linuxのシームレスな代替品として機能します。

• Asterinasは、Rustを唯一のプログラミング言語として使用し、安全でない錆の使用を明確に定義された最小限の信頼できるコンピューティングベース（TCB）に制限することにより、メモリの安全性を優先します。 Framekernel Architectureとして知られるこの革新的なアプローチは、より安全で信頼できるカーネルオプションとしてAsterinasを確立します。

• Asterinasは、開発者の親しみやすさの点でLinuxを上回ります。カーネル開発者は、（1）より生産的な錆プログラミング言語を利用することができます。

生産グレードのOSカーネルへの旅は挑戦的ですが、私たちは目標に向かって不動の進歩を遂げています。現在、AsterinasはX86-64 VMのみをサポートしています。ただし、2024年の私たちの目的は、X86-64 VMでAsterinasの生産を準備することです。

はじめる

DockerがインストールされたX86-64 Linuxマシンを入手してください。以下の3つの簡単な手順に従って、アステリナスを稼働させてください。

1. 最新のソースコードをダウンロードします。

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

2. 開発環境としてDockerコンテナを実行します。

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

3. コンテナの内部では、プロジェクトフォルダーに移動してアステリナスを構築して実行します。

make build
make run

すべてがうまくいけば、アステリナスはVM内で稼働しています。

本

プロジェクトの詳細については、Asterinas Bookをご覧ください。

ライセンス

Asterinasのソースコードとドキュメントは、主にMozilla Public License（MPL）、バージョン2.0を使用しています。選択したコンポーネントは、より寛容なライセンスの下にあります。ここで詳しく説明しています。 MPLの選択の背後にある理論的根拠については、こちらを参照してください。