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/

Thoughts-on-a-LispOS
- Brief description, with careful wish list outline; wiki.
- http://community.schemewiki.org/?Thoughts-on-A-LispOS

Lisp-based OSes
- History, considerations for operation, list of projects with links (some updated, some not).
- http://linuxfinances.info/info/lisposes.html

LispOS Info Page
- Brief history, and link to mail list archive, begun April 1997, closed February 1999, by Richard Coleman (of ZSH), to coordinate efforts to make a free OS to return to users the power of Lisp Machines.
- http://lists.tunes.org/mailman/listinfo/lispos/