Related Work

• Exokernel work on virtualizing the hardware. Use a lower level "Protected Control Transfer" (PCT)---similar to a hardware interrupt.

  Argue that overhead for PCT plus what is needed for IPC is comparable (if not more in the long run) than L4 IPC.

• Grafting involves insertion of code into the kernel. Various projects.