الصفحة الرئيسية>المتعلقة بالبرمجة>شفرة المصدر الأخرى
تنزيل

SEL4 Microkernel

يحتوي هذا المشروع على رمز المصدر لـ SEL4 Microkernel.

للحصول على تفاصيل حول SEL4 Microkernel ، بما في ذلك التفاصيل حول إثبات الصواب الرسمي ، يرجى الاطلاع على موقع sel4.systems والأسئلة الشائعة المرتبطة بها.

DOIS للإشارة إلى الإصدارات الأخيرة من هذا المستودع:

نرحب بالمساهمات في SEL4. يرجى الاطلاع على موقع الويب للحصول على معلومات حول كيفية المساهمة.

عادة لا يتم استخدام هذا المستودع في عزلة ، ولكن كجزء من نظام الإنشاء في مشروع أكبر.

أساسيات SEL4

  • دروس
  • الوثائق
  • مكتبات SEL4
  • sel4test
  • دليل تصحيح الأخطاء
  • دليل القياس
  • المحاكاة الافتراضية على SEL4
  • استضافة تبعيات البناء
  • النقل SEL4

مجتمع

  • المنتديات:
    • الخطاب
    • يعلن SEL4
    • SEL4 devel
  • المشاريع المقترحة
  • مشاريع المجتمع

راجع روابط الاتصال على موقع SEL4 للحصول على القائمة الكاملة.

الإبلاغ عن نقاط الضعف الأمنية

إذا كنت تعتقد أنك قد وجدت ثغرة أمنية في SEL4 أو البرمجيات ذات الصلة ، فإننا نطلب منك اتباع سياسة الكشف عن الضعف لدينا.

يدوي

يمكن العثور على نسخة مستضافة من الدليل لأحدث إصدار هنا.

يمكن العثور على إصدار ويب من واجهة برمجة التطبيقات هنا

نظرة عامة على المستودع

  • include و src : C و ASM كود SEL4
  • tools : بناء أدوات
  • libsel4 : C Bindings لـ SEL4 ABI
  • manual : مصادر اللاتكس لدليل المرجع SEL4

بناء التعليمات

انظر موقع SEL4 للحصول على تعليمات بناء.

حالة

يمكن العثور على قائمة بالإصدارات وحالة المشروع الحالية بموجب إصدارات SEL4.

  • خريطة الطريق: ميزات جديدة في التطوير
  • دعم الأجهزة: معلومات حول منافذ منصات الأجهزة
  • ميزات kernel: معلومات عن ميزات kernel المتاحة
  • مكونات وبرامج تشغيل Userland: برامج تشغيل الأجهزة المتوفرة ومكونات المستخدم

رخصة

انظر الملف ترخيص.

يوسع
معلومات إضافية
تطبيقات ذات صلة
نوصي لك
أخبار ذات صلة الكل