Code for the Xok exokernel from MIT?
Sat, 9 Aug 1997 16:14:12 -0500
| From: Marcus G. Daniels <firstname.lastname@example.org>
| >>>>> "DH" == Dwight Hughes <email@example.com> writes:
| DH> exokernel papers: http://www.pdos.lcs.mit.edu/PDOS-papers.html
| 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 http://www.pdos.lcs.mit.edu/~engler/
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.