Exokernel

GPTKB entity

Statements (20)
Predicate Object
gptkbp:instanceOf operating system architecture
gptkbp:allows application-level resource management
gptkbp:citation Engler, D. R., Kaashoek, M. F., & O'Toole, J. (1995). Exokernel: An operating system architecture for application-level resource management.
gptkbp:contrastsWith gptkb:operating_system
monolithic kernel
gptkbp:developedBy gptkb:Massachusetts_Institute_of_Technology
gptkbp:firstPublished 1995
gptkbp:focusesOn minimal abstraction
gptkbp:goal gptkb:security
efficiency
flexibility
https://www.w3.org/2000/01/rdf-schema#label Exokernel
gptkbp:influenced operating system research
gptkbp:influencedBy microkernel architecture
gptkbp:notableFor gptkb:Aegis
Xok
gptkbp:provides secure multiplexing of hardware resources
gptkbp:usedIn research environments
gptkbp:bfsParent gptkb:Nickolai_Zeldovich
gptkbp:bfsLayer 4