Code for the Xok exokernel from MIT?

[Dwight Hughes]

| From: Marcus G. Daniels <marcusd@cathcart.sysc.pdx.edu>
| 
| >>>>> "DH" == Dwight Hughes <dwighth@intellinet.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
interest
| to some folks.  Vcode is a C library for generating native code
on-the-fly.

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.

-- Dwight