Is exokernel flexibility costly?

No. Protection is off critical path: we conservatively duplicate checks, overhead lost in noise.

Previous slide

Next slide

Back to first slide

View graphic version