More Exokernel Ideas

• software regions for sharing---sub-page protection and fault isolation.

• hierarchically-named capabilities

• wakeup predicates--kernel-downloaded functions for waking up processes. Uses predicate filters in the kernel to decide when to trigger.

• robust critical sections

Levels of trust:

• mutual trust (common case)

• unidirectional trust (also common)

• mutual distrust