Specific Examples
- Pipes and RPC. Various native L4 versions in Table 4 are faster.
- Virtual Memory Operations. Improved performance for selected
operations.
- Cache Partitioning. Can devote portions of a cache for more
deterministic real-time performance