4 ms·
AFAIK sel4 is similar now as most of the weight comes from spectre/meltdown mitigations from flushing the TLB on privilege changes.
by monocasa 3y ago
AFAIK sel4 is similar now as most of the weight comes from spectre/meltdown mitigations from flushing the TLB on privilege changes.