 
|
FunOS - http://www.sarg.ryerson.ca/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 ordinary users.
|