تاريخ الإنجاز: 2026-07-04 — 00:48 GMT+3

التصنيف: Storage / Drivers / Virtio

تم إضافة قرص افتراضي (disk.img) بحجم 64MB مهيأ بنظام FAT32 ليكون مساحة التخزين الدائمة للنظام. لتمكين seL4-Vault من الكتابة عليه، تمت برمجة تعريف مبدئي لـ Virtio-Block عبر منافذ PCI (I/O Ports). يقوم التعريف (virtio_blk.rs) بمسح شريط الـ PCI بحثاً عن جهاز التخزين، ثم يتهيأ للقراءة والكتابة بالقطاعات (512 بايت/قطاع) باستخدام تقنية Polling. كما تمت برمجة نظام لتفريغ الـ RamFS الحالي إلى القرص (disk_writer.rs). وتم تعديل أمر تشغيل QEMU في boot.sh لإضافة القرص، مع تصحيح ترتيب الإقلاع (Boot Order) لضمان أولوية الإقلاع من الـ ISO.