“Exokernel” (end-to-end; backlinks)