asterinas

kernel آمنة وسريعة وعامة للأغراض العامة مكتوبة في الصدأ ومتوافق مع Linux

الإنجليزية | 中文版 | 日本語

تقديم أسيتينا

Asterinas هي kernel آمنة وسريعة وعامة للأغراض العامة التي توفر ABI متوافقة مع Linux . يمكن أن يكون بمثابة بديل سلس لـ Linux مع تعزيز سلامة الذاكرة وود المطورين .

• تعطي Asterinas الأولوية لسلامة الذاكرة من خلال استخدام Rust كلغة برمجة وحدها والحد من استخدام الصدأ غير الآمن لقاعدة الحوسبة المحددة بوضوح والثقة (TCB). هذا النهج المبتكر ، والمعروف باسم هندسة FrameKernel ، ينشئ Asterinas كخيار kernel أكثر أمانًا يمكن الاعتماد عليه.

• Asterinas يتجاوز Linux من حيث الود المطور. إنه يمكّن مطوري kernel من (1) الاستفادة من لغة برمجة الصدأ الأكثر إنتاجية ، (2) الاستفادة من مجموعة أدوات مصممة لهذا الغرض تسمى OSDK لتبسيط سير عملهم ، و (3) الاختيار بين إطلاق وحدات kernel الخاصة بهم كمصدر مفتوح أو الحفاظ عليها ملكية ، وذلك بفضل المرونة التي تقدمها MPL.

في حين أن الرحلة نحو kernel من فئة الإنتاج يمكن أن تكون صعبة ، فإننا نتقدم بثبات نحو هدفنا. حاليًا ، يدعم Asterinas فقط X86-64 VMs. ومع ذلك ، فإن هدفنا لعام 2024 هو جعل إنتاج Asterinas جاهزًا على X86-64 VMs.

ابدء

احصل على جهاز Linux X86-64 مع تثبيت Docker. اتبع الخطوات الثلاث البسيطة أدناه للحصول على 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 Public (MPL) ، الإصدار 2.0. تختار المكونات تحت المزيد من التراخيص متساهلة ، مفصلة هنا. للاطلاع على المنطقية وراء اختيار MPL ، انظر هنا.