Code for the Xok exokernel from MIT?

Dwight Hughes
Sat, 9 Aug 1997 16:14:12 -0500

| From: Marcus G. Daniels <>
| >>>>> "DH" == Dwight Hughes <> writes:
| DH> exokernel papers:
| DH> The rationale behind the exokernel is put forth in: "Exterminate
| DH> All Operating System Abstractions", by Dawson R. Engler and
| DH> M. Frans Kaashoek.
| Also, Dawson Engler's papers (and sources) for vcode may also be of
| to some folks.  Vcode is a C library for generating native code

Also on David Engler's page at
is his thesis paper covering the exokernel design and implementation
for the Aegis exokernel in a much more thorough fashion than the papers
I cited earlier.

-- Dwight