Code for the Xok exokernel from MIT?

[Marcus G. Daniels]

>>>>> "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.