📦 bump-alloc
نظرة عامة
مكتبة bump-alloc هي ثاني مكتبة في تاريخ بناء Hisn-seL4 وتمثل أبسط وأسرع نموذج لإدارة الذاكرة (Memory Allocator) في بيئة Bare-Metal. تعمل بمبدأ «الدفع للأمام» فقط — إذ يُحرَّك مؤشر واحد للأمام مع كل حجز جديد بكفاءة O(1) مطلقة. مصممة خصيصاً للمرحلة الأولى من إقلاع حاوية init قبل أن يتوفر نظام ذاكرة أكثر تعقيداً.
