The performance of μ-kernel-based systems | Synapse