| comp.os.research FAQ: Table of contents, points to questions. | |
| FunOS: Proposal for LISP oriented OS based on Assembly, Caml, FunScheme, a Scheme variant of LISP language. | |
| Hydra: Early capability-based OS kernel for multiprocessing environments, gave fine-grained protection. Goals: universal applicability, absolute reliability. | |
| 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 Operating Systems: Short, annotated, alphabetically sorted list and links, part of larger system. | |
| SPIN: 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. |
|