Exokernel: An Operating System Architecture for Application-Level Resource Management

GPTKB entity