Abstract: To address the trade-off between resource constraints and real-time performance, micro kernel architectures, featuring low runtime overhead and flexibility, have been widely adopted in ...