- Research Operating Systems - http://www.cs.arizona.edu/people/bridges/os/research.html
Short, annotated, alphabetically sorted list and links, part of larger system.
- comp.os.research FAQ - http://hierophant.serpentine.com/~bos/os-faq/
Table of contents, points to questions.
- FunOS - http://www.sarg.ryerson.ca/~cmwilson/code/funos/funos.html
Proposal for LISP oriented OS based on Assembly, Caml, FunScheme, a Scheme variant of LISP language.
- Hydra - http://www.cs.berkeley.edu/~gribble/osprelims/summaries/hydra.html
Early capability-based OS kernel for multiprocessing environments, gave fine-grained protection. Goals: universal applicability, absolute reliability.
- Novel OS Work - http://cbbrowne.com/info/osnovel.html
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.
- SPIN - http://www.cs.washington.edu/research/projects/spin/www/
Dynamically extensible, Exokernel-based, provides many core services: scheduler, kernel threads, domains, event dispatcher, security mechanisms, primitive VM operations. Blurs distinction between kernels and applications, which traditionally live in user-level address spaces, separated from kernel resources and services by an expensive protection boundary. Lets applications specialize the kernel by dynamically linking new code into running systems.
|
