If you want an OS written in a high-level language, pick up JNode <http://www.jnode.org&#62 http://www.jnode.org> or House <http://programatica.cs.pdx.edu/House

If you want an OS written in a high-level language, pick up JNode <http://www.jnode.org&#62 http://www.jnode.org> or House <http://programatica.cs.pdx.edu/House/&#62 http://programatica.cs.pdx.edu/House/> or HalVM <http://halvm.org/> http://halvm.org/>. Oh, look, here's a web page dedicated to operating systems built in Lisp: http://linuxfinances.info/info/lisposes.html http://linuxfinances.info/info/lisposes.html (Scroll down a bit.)