A microkernel that is designed for a specific platform or device is only ever going to have what it needs to operate.
מיקרו-ליבה אשר מתוכננת עבור פלטפורמה או מכשיר ספציפי, תמיד תכיל אך ורק את הדרוש לה על מנת לפעול.