asterinas/asterinas
軟體分類 系統與基礎設施 (System & Infrastructure) / 作業系統 (Operating Systems)
開發廠商 asterinas
#### 產品特色
* 現代架構:結合 monolithic-kernel 的性能與 microkernel 的分離設計
* 現代設計:學習 Linux 的工程經驗,但不拘泥於設計
* 現代程式碼:強調安全性、清晰度與可維護性,追求高性能但不犧失安全
* 現代工具套件:專為 Rust 軟體核心開發設計的 OSDK 工具
* 跨平台支持:支援 x86-64、ARM64、RISC-V、LoongArch 等多種 CPU 架構
#### 主要功能、特點
Asterinas 旨在成為一個生產級、記憶安全的 Linux 替代系統,具備高性能與穩定性。其主要功能包括:1. 使用 Rust 語言從頭架構開發 Linux 兼容的內核,避免 legacy C 資料庫的限制;2. 提供跨平台支持,支援多種 CPU 架構;3. 透過 OSDK 工具套件,使 Rust 軟體核心開發更加易於進行建置、運行與測試;4. 透過 CortenMM 等創新技術,實現強大的記憶管理與正確性保證;5. 支援標準與保密虛擬機器在 x86-64 平台上的生產就業。
#### 指令
“`bash
# 無常用指令(自動生成)
“`
