Additional
Information: This category is for operating systems (OSs) which main purpose is research into OSs and into larger, more general system issues. Mostly the links in this category point to other OS categories and OSs therein. The only OSs listed exclusively herein are th
Hydra Hydra: Early capability-based OS kernel for multiprocessing environments, gave fine-grained protection. Goals: universal applicability, absolute reliability. (Research) http://www.cs.berkeley.edu/~gribble/osprelims/summaries/hydra.html
HOPE: Hopefully Optimistic Programming Environment HOPE: Hopefully Optimistic Programming Environment: A Programming Model for Optimism. Latency is being held back by the speed of light, more so in distributed systems. Optimistic algorithms 'guess' results of operations and proceed in parallel with confirmation of the guess; an effective way to hide latenc (Research) http://www.cse.ogi.edu/~crispin/hope.html
Research Operating Systems Research Operating Systems: Short, annotated, alphabetically sorted list and links, part of larger system. (Research) http://www.cs.arizona.edu/people/bridges/os/research.html
Novel OS Work Novel OS Work: By Christopher Browne. Very brief, clear descriptions and some critiquing of many OSs, mostly research types, with many links. Puts much current activity in larger context. (Research) http://cbbrowne.com/info/osnovel.html
comp.os.research FAQ comp.os.research FAQ: Table of contents, points to questions. (Research) http://hierophant.serpentine.com/~bos/os-faq/
FunOS FunOS: Proposal for LISP oriented OS based on Assembly, Caml, FunScheme, a Scheme variant of LISP language. (Research) http://www.sarg.ryerson.ca/~cmwilson/code/funos/funos.html