Definitions for "Exokernel"
A kernel in which only what needs to be protected for security is placed inside the kernel itself. As much kernel functionality as possible is implemented in libraries linked to applications in user space.
a type of kernel that does not abstract hardware into theoretical models
Exokernel is an operating system kernel developed by the MIT Parallel and Distributed Operating Systems group, and also a class of similar operating systems.