A *(OS) project from MIT. From its home page (see below):
<blockquote>
...
<br><strong>An exokernel eliminates the notion that an _(operating system) should provide _(abstraction)s on which applications are built</strong>. Instead, it concentrates solely on _(securely|security) multiplexing the raw hardware: from basic hardware primitives, application-level libraries and servers can directly implement traditional operating system abstractions, specialized for appropriateness and speed.
<br>...
</blockquote>

<ul class="implementations">
<li>_(MIT Exokernel Operating System|http://www.pdos.lcs.mit.edu/exo.html)
</ul>

<ul class="links"><h4>Relevant documentation</h4>
<li>_("Exterminate all operating system abstractions"|http://www.pdos.lcs.mit.edu/papers/hotos-jeremiad.ps) (.ps): this paper introduce the key concept of exokernels
<li>_("documentation"|http://amsterdam.lcs.mit.edu/exo/docs.html)
<li>PDOS Publications, _("Exokernels"|http://amsterdam.lcs.mit.edu/PDOS-papers.html#Exokernels)
</ul>

<hr>
What follow was the old, inadequate definition of exokernel: someway, during the transition to _(Cliki), our awareness regarding exokernels was not adequately reported.

<blockquote>
A *(microkernel) *(OS) project from MIT, which seems to have the most features divorced from its core of all of them.

<span class="comment">An exokernel is not a _(microkernel).  It is a fundamentally different architecture, whereby the _(kernel) is predominently monolithic in nature, but the services normally offered by a monolithic kernel to applications are pushed up into user-space libraries, called library operating systems. This is how an exokernel achieves flexibility and performance gains; applications need only use the parts of the OS that are necessary, rather than being forced to deal with all the abstractions that are normally enforced by monolithic kernels, including microkernels.
<br>-- _(A N Other)</span>

<span class="comment">The debate <strong>monolithic _(kernel)s</strong> <em>vs</em> <strong>_(microkernel)s</strong> is uninteresting for _(Tunes), which is about _(No-Kernel) systems.
<br>-- _(MaD70)</span>
</blockquote>
