تاريخ الإنجاز: 2026-06-23 — 18:35 GMT+3

التصنيف: Security / Bugfix

اكتشفنا أن نواة seL4 تمنع تعليمات in/out المباشرة لمنافذ PCI وتُطلق استثناء حماية عام General Protection Fault (0xd). تم حذف الكود الخطأ، وسنستبدله لاحقاً بنظام الصلاحيات (Capabilities) للوصول الآمن للعتاد.