asterinas
1.0.0
Rust로 작성되고 Linux와 호환되는 안전하고 빠르며 일반적인 목적 OS 커널
영어 | 中文版 | 日本語
Asterinas는 Linux 호환 ABI를 제공하는 안전 하고 빠르며 일반적인 목적 OS 커널입니다. 메모리 안전 과 개발자 친근감을 향상시키는 동시에 Linux를 원활하게 대체 할 수 있습니다.
Asterinas는 Rust를 유일한 프로그래밍 언어로 사용하고 안전하지 않은 녹의 사용을 명확하게 정의되고 최소한의 신뢰할 수있는 컴퓨팅베이스 (TCB)로 제한함으로써 메모리 안전을 우선시합니다. 프레임 커널 아키텍처로 알려진이 혁신적인 접근 방식은 Asterinas를보다 안전하고 신뢰할 수있는 커널 옵션으로 설정합니다.
Asterinas는 개발자의 친근감 측면에서 Linux를 능가합니다. 커널 개발자는 (1)보다 생산적인 Rust 프로그래밍 언어를 활용하고 (2) OSDK라는 목적으로 건축 된 툴킷을 활용하여 워크 플로를 간소화하고 (3) MPL이 제공하는 유연성 덕분에 커널 모듈을 오픈 소스로 출시하거나 독점적으로 유지하는 중에서 선택하십시오.
생산 등급 OS 커널을 향한 여정은 어려울 수 있지만, 우리는 목표를 향해 꾸준히 발전하고 있습니다. 현재 Asterinas는 X86-64 VM 만 지원합니다. 그러나 2024 년에 대한 우리의 목표는 X86-64 VM에서 Asterinas를 생산할 수 있도록하는 것입니다.
Docker가 설치된 X86-64 Linux 시스템을 확보하십시오. 아래 세 가지 간단한 단계를 따라 Asterinas를 시작하고 실행하십시오.
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 run모든 것이 잘 진행되면 Asterinas는 이제 VM 내에서 일어나고 있습니다.
프로젝트에 대한 자세한 내용은 Asterinas 책을 참조하십시오.
Asterinas의 소스 코드 및 문서는 주로 MPL (Mozilla Public License), 버전 2.0을 사용합니다. 선택 구성 요소는 여기에 자세히 설명 된보다 허용되는 라이센스 아래에 있습니다. MPL의 선택의 근거는 여기를 참조하십시오.
