Found a great paper on Lisp-based OS.

Sun, 15 Jun 1997 21:22:11 -0400

Jonathan Rees wrote a dissertation on implementing a Security Kernel
in Lisp.  This paper is an overview of his full thesis.  I have taken the
postscript version and made an HTML file.  You can access it through