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