لينكس L 4

L4Linux هو نسخة معدلة من نواة لينكس لأنظمة التشغيل ، حيث تم تعديلها لتتمكن من العمل افتراضيًا على نواة مصغرة L4 ، حيث تقوم نواة L4Linux بتشغيل خدمة . لا يُعد L4Linux نسخة مشتقة ^، بل نسخة معدلة، وهو متوافق ثنائيًا مع نواة لينكس x86 ، وبالتالي يمكنه استبدال نواة لينكس في أي توزيعة لينكس .

يتم تطوير نظام التشغيل L ^{4 Linux بواسطة} مشروع نظام التشغيل في الوقت الحقيقي في دريسدن (DROPS) للسماح بتشغيل برامج الوقت الحقيقي وبرامج المشاركة الزمنية على جهاز كمبيوتر بالتوازي في نفس الوقت.

يسمح نظام L ⁴ Linux أيضًا بإعداد بيئة افتراضية تشبه إلى حد ما Xen أو Kernel-based Virtual Machine (KVM)، ولكن هناك بعض الاختلافات المهمة بين الغرض من Xen و L ⁴ Linux.

L4Android ^{[ 2 ]} هو نسخة معدلة من L4 ^Linux تتضمن تعديلات على نواة لينكس الرئيسية لنظام أندرويد . وهو مشروع مشترك بين مجموعة أنظمة التشغيل في جامعة دريسدن التقنية وقسم أمن الاتصالات في جامعة برلين التقنية .

• نظام التشغيل وومبات
• MkLinux ، وهو منفذ مشابه لنواة لينكس، ولكنه مخصص لنواة ماتش المصغرة