asterinas

安全，快速和通用的OS內核，用Rust編寫，與Linux兼容

英語| 中文版| 日本語

介紹asterinas

Asterinas是一種安全，快速和通用的OS內核，可提供與Linux兼容的ABI。它可以作為Linux的無縫替代品，同時增強記憶安全性和開發人員的友好性。

• Asterinas通過使用Rust作為其唯一的編程語言來確定記憶安全性，並將不安全生鏽的使用限制為明確定義且最小的可信度計算基礎（TCB）。這種創新的方法被稱為FrameKernel架構，將Asterinas建立為更安全和可靠的內核選項。

• Asterinas在開發人員的友好方面超越了Linux。它使內核開發人員能夠（1）利用更有生產力的生鏽編程語言，（2）利用專門構建的工具包來簡化其工作流程，以及（3）在將其內核模塊作為開源或保留它們的專有性的情況下選擇，這要歸功於Mpl提供的靈活性。

雖然邁向生產級OS內核的旅程可能具有挑戰性，但我們堅定地朝著我們的目標發展。目前，Asterinas僅支持X86-64 VM。但是，我們對2024年的目標是在X86-64 VM上準備秋冬。

入門

安裝了帶有Docker的X86-64 Linux機器。請按照下面的三個簡單步驟進行操作，以使Asterinas啟動並運行。

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. 在容器內，轉到項目文件夾以構建和運行Asterinas。

make build
make run

如果一切順利，Asterinas現在正在啟動並在VM內運行。

這本書

請參閱Asterinas書，以了解有關該項目的更多信息。

執照

Asterinas的源代碼和文檔主要使用Mozilla公共許可證（MPL），版本2.0。精選組件在更寬鬆的許可下，此處詳細介紹。有關MPL選擇背後的理由，請參見此處。