» FunOS Mostly functional (programming) OS in design, and fun to do system programming in; all policy code in kernel to be in Scheme. To support multiple APIs, and be runtime extensible: replace parts of system on the fly and, within security constraints, by ordi http://www.sarg.ryerson.ca/funos/
» Lisp-based OSes History, considerations for operation, list of projects with links (some updated, some not). http://linuxfinances.info/info/lisposes.html
» Thoughts-on-a-LispOS Brief description, with careful wish list outline; wiki. http://community.schemewiki.org/?Thoughts-on-A-LispOS