asterinas

Kernel OS yang aman, cepat, dan serba guna ditulis dengan karat dan kompatibel dengan Linux

Bahasa Inggris | 中文版 | 日本語

Memperkenalkan asterinas

Asterinas adalah kernel OS tujuan yang aman , cepat , dan umum yang menyediakan ABI yang kompatibel dengan Linux . Ini dapat berfungsi sebagai pengganti yang mulus untuk Linux sambil meningkatkan keamanan memori dan keramahan pengembang .

• Asterinas memprioritaskan keselamatan memori dengan menggunakan karat sebagai satu -satunya bahasa pemrogramannya dan membatasi penggunaan karat yang tidak aman untuk basis komputasi tepercaya (TCB) yang jelas dan minimal. Pendekatan inovatif ini, yang dikenal sebagai Arsitektur Framekernel, menetapkan Asterinas sebagai opsi kernel yang lebih aman dan dapat diandalkan.

• Asterinas melampaui Linux dalam hal keramahan pengembang. Ini memberdayakan pengembang kernel untuk (1) menggunakan bahasa pemrograman karat yang lebih produktif, (2) memanfaatkan toolkit yang dibangun khusus yang disebut OSDK untuk merampingkan alur kerja mereka, dan (3) memilih antara melepaskan modul kernel mereka sebagai sumber terbuka atau menjaga mereka kepemilikan, berkat fleksibilitas yang ditawarkan oleh MPL.

Sementara perjalanan menuju kernel OS kelas produksi bisa menjadi tantangan, kami dengan mantap maju menuju tujuan kami. Saat ini, Asterinas hanya mendukung x86-64 VM. Namun, tujuan kami untuk 2024 adalah untuk membuat asterinas siap produksi pada x86-64 VM.

Memulai

Dapatkan diri Anda mesin Linux x86-64 dengan Docker terpasang. Ikuti tiga langkah sederhana di bawah ini untuk mendapatkan asterinas dan berjalan.

1. Unduh kode sumber terbaru.

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

2. Jalankan wadah Docker sebagai lingkungan pengembangan.

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

3. Di dalam wadah, buka folder proyek untuk membangun dan menjalankan asterinas.

make build
make run

Jika semuanya berjalan dengan baik, Asterinas sekarang naik dan berjalan di dalam VM.

Buku

Lihat buku Asterinas untuk mempelajari lebih lanjut tentang proyek ini.

Lisensi

Kode sumber dan dokumentasi Asterinas terutama menggunakan Lisensi Publik Mozilla (MPL), versi 2.0. Komponen terpilih berada di bawah lisensi yang lebih permisif, dirinci di sini. Untuk alasan di balik pilihan MPL, lihat di sini.