Table of contents, points to questions.

Proposal for LISP oriented OS based on Assembly, Caml, FunScheme, a Scheme variant of LISP language.

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 latency of slow operations with predictable outcomes.

Early capability-based OS kernel for multiprocessing environments, gave fine-grained protection. Goals: universal applicability, absolute reliability.

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.

Short, annotated, alphabetically sorted list and links, part of larger system.

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.